Jon Riecke

Citata da

	Tutte	Dal 2018
Citazioni	2532	310
Indice H	21	7
i10-index	25	6

160

120

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 18 9 14 33 52 31 47 65 106 115 97 150 124 143 152 137 143 98 84 71 68 83 76 65 69 51 61 41 51 51 55 65 47

Coautori

Anindya BanerjeeProfessor, IMDEA Software InstituteEmail verificata su imdea.org
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
Peter O'HearnLacework and University College LondonEmail verificata su ucl.ac.uk
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail verificata su cs.ucsc.edu
John ReppyProfessor of Computer Science, University of ChicagoEmail verificata su cs.uchicago.edu
Didier RémyINRIAEmail verificata su inria.fr
Eugenio MoggiProfessor of Computer Science, Genova UniversityEmail verificata su unige.it
Achim JungProfessor of Computer Science, University of Birmingham, UKEmail verificata su cs.bham.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaEmail verificata su unige.it
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su ed.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceEmail verificata su cl.cam.ac.uk
Hayo ThieleckeUniversity of BirminghamEmail verificata su cs.bham.ac.uk
Kathleen FisherAdjunct Professor of Computer Science, Tufts UniversityEmail verificata su eecs.tufts.edu
Anders Thorhauge SandholmGoogleEmail verificata su sandholm.dk
Stavros CosmadakisUniversity of PatrasEmail verificata su cti.gr
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeEmail verificata su pomona.edu

Segui

Jon Riecke

Google Inc.

Email verificata su google.com

Programming languages type systems semantics security networking


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
The SLam calculus: programming with secrecy and integrity N Heintze, JG Riecke Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	599	1998
A core calculus of dependency M Abadi, A Banerjee, N Heintze, JG Riecke Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	549	1999
Stability issues in OSPF routing A Basu, J Riecke ACM SIGCOMM Computer Communication Review 31 (4), 225-236, 2001	335	2001
A generalization of exceptions and control in ML-like languages CA Gunter, D Rémy, JG Riecke Proceedings of the seventh international conference on functional …, 1995	137	1995
Kripke logical relations and PCF PW Ohearn, JG Riecke Information and Computation 120 (1), 107-116, 1995	100	1995
Privacy via subsumption JG Riecke, CA Stone Information and Computation 172 (1), 2-28, 2002	89	2002
Fully abstract translations between functional languages JG Riecke Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991	81	1991
Domains and denotational semantics: History, accomplishments and open problems A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996	76	1996
Reference counting as a computational interpretation of linear logic J Chirimar, CA Gunter, JG Riecke Journal of Functional Programming 6 (2), 195-244, 1996	67	1996
Simple objects for Standard ML J Reppy, J Riecke ACM SIGPLAN Notices 31 (5), 171-180, 1996	53	1996
Design and correctness of program transformations based on control-flow analysis A Banerjee, N Heintze, JG Riecke International Symposium on Theoretical Aspects of Computer Software, 420-447, 2001	44	2001
Region analysis and the polymorphic lambda calculus A Banerjee, N Heintze, JG Riecke Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	41	1999
Proving memory management invariants for a language based on linear logic J Chirimar, CA Gunter, JG Riecke Proceedings of the 1992 ACM Conference on LISP and Functional Programming …, 1992	40	1992
Isolating side effects in sequential languages JG Riecke, R Viswanathan Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	33	1995
Delimiting the scope of effects JG Riecke Proceedings of the conference on Functional programming languages and …, 1993	32	1993
Typed exceptions and continuations cannot macro-express each other JG Riecke, H Thielecke Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999	29	1999
Continuations may be unreasonable A Meyer, JG Riecke Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, 63-71, 1988	29	1988
A relational account of call-by-value sequentiality JG Riecke, A Sandholm Information and Computation 179 (2), 296-331, 2002	27	2002
A calculus for compiling and linking classes K Fisher, J Reppy, JG Riecke Programming Languages and Systems: 9th European Symposium on Programming …, 2000	27	2000
Classes in Object ML via modules JH Reppy, JG Riecke Third International Workshop on Foundations of Object-Oriented Languages, 1996	23	1996

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori