Concepedia

E. Allen Emerson

EA

Statistics

Publications

59

Citations

12.8K

H-Index

39

Active since

1982

Affiliations

The University of Texas at Austin(Current)

IBM (United States)

University of Illinois Chicago

Florida International University

Carnegie Mellon University

E. Allen Emerson is an author at The University of Texas at Austin specializing in computer science, computing, and formal methods.

Publications per year

1982–2009

59

Publications

59

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

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

Computing, Computer Science, Formal Methods +14

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 824 citations

Computing, Computer Science, Formal Methods +16

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 742 citations

Computing, Computer Science, Mathematics +16

Using branching time temporal logic to synthesize synchronization skeletons

E. Allen Emerson, Edmund M. Clarke · Science of Computer Programming · 1982 · 662 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 59