Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

E. Allen Emerson | Researchclopedia

Back to researchers

E. Allen Emerson

154

Works

20,702

Citations

55

h-index

101

i10-index

Research Topics

Formal Methods in Verification Logic, programming, and type systems Model-Driven Software Engineering Techniques

Affiliations

Harvard University1980–2008

Harvard University Press1980–2005

McLennan Community College2002–2002

Eindhoven University of Technology1988–2003

The University of Texas at Austin1982–2014

Top Works

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke,E. Allen Emerson,et al.

19863,540 citations

Software Testing and Debugging Techniques

semigroups and automata theory

Design and synthesis of synchronization skeletons using branching time temporal logic

Edmund M. Clarke,E. Allen Emerson

20052,141 citations

Temporal and Modal Logic

E. Allen Emerson

19901,892 citations

DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC

Edmund M. Clarke,E. Allen Emerson

20081,070 citations

“Sometimes” and “not never” revisited

E. Allen Emerson,Joseph Y. Halpern

1986992 citations

Temporal and Modal Logic.

E. Allen Emerson

1990823 citations

Tree automata, mu-calculus and determinacy

E. Allen Emerson,Charanjit S. Jutla

2002730 citations

Using branching time temporal logic to synthesize synchronization skeletons

E. Allen Emerson,Edmund M. Clarke

1982661 citations

EFFICIENT MODEL CHECKING IN FRAGMENTS OF THE PROPOSITIONAL MU-CALCULUS.

E. Allen Emerson,Chin Laung Lei

1986430 citations