Concepedia

E. M. Clarke

EM

Statistics

Publications

69

Citations

21.9K

H-Index

40

Active since

1982

Affiliations

Carnegie Mellon University(Current)

Fujitsu (United States)

Stanford University

Technion – Israel Institute of Technology

University of Wisconsin–Madison

E. M. Clarke is an author at Carnegie Mellon University specializing in computer science, computing, and formal methods.

Publications per year

1982–2018

69

Publications

69

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

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

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

The complexity of propositional linear temporal logics

A. Prasad Sistla, E. M. Clarke · Journal of the ACM · 1985 · 1.1K citations · Full text

Humanities, Computer Science, Mathematics +12

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations

Computing, Computer Engineering, Computer Science +16

1–5 of 69