| The SLam calculus: programming with secrecy and integrity N Heintze, JG Riecke Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 604 | 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 | 556 | 1999 |
| Stability issues in OSPF routing A Basu, J Riecke ACM SIGCOMM Computer Communication Review 31 (4), 225-236, 2001 | 336 | 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 | 139 | 1995 |
| Kripke logical relations and PCF PW Ohearn, JG Riecke Information and Computation 120 (1), 107-116, 1995 | 104 | 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 | 75 | 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 | 73 | 1996 |
| Simple objects for Standard ML J Reppy, J Riecke ACM SIGPLAN Notices 31 (5), 171-180, 1996 | 54 | 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 | 46 | 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 | 40 | 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 | 39 | 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 | 31 | 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 |
| A calculus for compiling and linking classes K Fisher, J Reppy, JG Riecke Programming Languages and Systems: 9th European Symposium on Programming …, 2000 | 28 | 2000 |
| Continuations may be unreasonable A Meyer, JG Riecke Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, 63-71, 1988 | 28 | 1988 |
| A relational account of call-by-value sequentiality JG Riecke, A Sandholm Information and Computation 179 (2), 296-331, 2002 | 27 | 2002 |
| Classes in Object ML via modules JH Reppy, JG Riecke Third International Workshop on Foundations of Object-Oriented Languages, 1996 | 23 | 1996 |
Anindya BanerjeeProfessor, IMDEA Software InstituteEmail verificata su imdea.org
