Environmental bisimulations for higher-order languages D Sangiorgi, N Kobayashi, E Sumii 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 293-302, 2007 | 109 | 2007 |
Environmental bisimulations for higher-order languages D Sangiorgi, N Kobayashi, E Sumii ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-69, 2011 | 106 | 2011 |
Logical relations for encryption E Sumii, BC Pierce Journal of Computer Security 11 (4), 521-554, 2003 | 102 | 2003 |
A bisimulation for type abstraction and recursion E Sumii, BC Pierce Journal of the ACM (JACM) 54 (5), 26-es, 2007 | 81 | 2007 |
A bisimulation for dynamic sealing E Sumii, BC Pierce Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2004 | 80 | 2004 |
A bisimulation for dynamic sealing E Sumii, BC Pierce Theoretical Computer Science 375 (1-3), 169-192, 2007 | 72 | 2007 |
A bisimulation for type abstraction and recursion E Sumii, BC Pierce ACM SIGPLAN Notices 40 (1), 63-74, 2005 | 67 | 2005 |
An implicitly-typed deadlock-free process calculus N Kobayashi, S Saito, E Sumii CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 67 | 2000 |
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References E Sumii International Workshop on Computer Science Logic, 455-469, 2009 | 56 | 2009 |
A generalized deadlock-free process calculus E Sumii, N Kobayashi Electronic Notes in Theoretical Computer Science 16 (3), 225-247, 1998 | 50 | 1998 |
From applicative to environmental bisimulation V Koutavas, PB Levy, E Sumii Electronic Notes in Theoretical Computer Science 276, 215-235, 2011 | 49 | 2011 |
Fail-safe ANSI-C compiler: an approach to making C programs secure progress report Y Oiwa, T Sekiguchi, E Sumii, A Yonezawa Software Security—Theories and Systems: Mext-NSF-JSPS International …, 2003 | 48 | 2003 |
A hybrid approach to online and offline partial evaluation E Sumii, N Kobayashi Higher-Order and Symbolic Computation 14, 101-142, 2001 | 45 | 2001 |
Regular expression types for strings in a text processing language N Tabuchi, E Sumii, A Yonezawa Electronic Notes in Theoretical Computer Science 75, 95-113, 2003 | 39 | 2003 |
Supporting objects in run-time bytecode specialization R Affeldt, H Masuhara, E Sumii, A Yonezawa Proceedings of the ASIAN symposium on Partial evaluation and semantics-based …, 2002 | 34 | 2002 |
Relating cryptography and polymorphism B Pierce, E Sumii Available from the authors, 2000 | 33 | 2000 |
An implementation of transparent migration on standard Scheme E Sumii Proceedings of the Workshop on Scheme and Functional Programming, Technical …, 2000 | 24 | 2000 |
Logical bisimulations and functional languages D Sangiorgi, N Kobayashi, E Sumii International Symposium on Fundamentals of Software Engineering …, 2007 | 18 | 2007 |
MinCaml: a simple and efficient compiler for a minimal functional language E Sumii Proceedings of the 2005 workshop on Functional and Declarative Programming …, 2005 | 17 | 2005 |
Fail-safe ANSI-C compiler: An approach to making C programs secure Y Oiwa, T Sekiguichi, E Sumii, A Yonezawa Software Security–Theories and Systems, 133-153, 2003 | 17 | 2003 |