Eijiro Sumii

Eijiro Sumii

Tohoku University - Sendai / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 363860
東北大学
person_outline Eijiro Sumii's MOST POPULAR ARTICLES
1-) Environmental bisimulations for higher-order languages 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 293-302, 2007
2-) Environmental bisimulations for higher-order languages ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-69, 2011
3-) Logical relations for encryption Journal of Computer Security 11 (4), 521-554, 2003
4-) A bisimulation for type abstraction and recursion Journal of the ACM (JACM) 54 (5), 26-es, 2007
5-) A bisimulation for dynamic sealing Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2004