Concepedia

Eijiro Sumii

ES

19

Publications

743

Citations

15

H-Index

1998

Active since

Affiliations

The University of Tokyo(Current)

Tohoku University

University of Pennsylvania

California University of Pennsylvania

University of Bologna

Eijiro Sumii is an author at The University of Tokyo specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisLanguageSyntaxCompilers

Publications per year

1998–2012

19

Publications

19

Environmental Bisimulations for Higher-Order Languages

Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii · 2007 · 87 citations

Engineering, Richer Calculi, Formal Verification +17

Environmental bisimulations for higher-order languages

Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii · ACM Transactions on Programming Languages and Systems · 2011 · 84 citations · Full text

Engineering, Richer Calculi, Higher-order Logic +18

A bisimulation for type abstraction and recursion

Eijiro Sumii, Benjamin C. Pierce · Journal of the ACM · 2007 · 72 citations

Engineering, Domain Theory, Contextual Equivalence +14

A bisimulation for dynamic sealing

Eijiro Sumii, Benjamin C. Pierce · Theoretical Computer Science · 2006 · 63 citations

Hardware Security, Engineering, Sealant +3

Logical relations for encryption

Eijiro Sumii, Benjamin C. Pierce · 2005 · 62 citations

Cryptographic Primitive, Engineering, Information Security +18

Rows per page

1–5 of 19