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. M. Clarke | Researchclopedia

Back to researchers

E. M. Clarke

Carnegie Mellon University

99

Works

22,816

Citations

44

h-index

85

i10-index

Research Topics

Formal Methods in Verification Software Testing and Debugging Techniques Logic, programming, and type systems

Affiliations

Johns Hopkins University1915–1915

Union University1915–1915

Institute of Technology of Cambodia1915–1915

Cornell University1915–1915

Harvard University Press1915–1915

Top Works

E. M. Clarke,Orna Grümberg,et al.

19966,878 citations

VLSI and Analog Circuit Testing

Embedded Systems Design Techniques

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

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

19863,540 citations

Symbolic model checking: 1020 States and beyond

Jerry R. Burch,E. M. Clarke,et al.

19922,676 citations

The complexity of propositional linear temporal logics

A. Prasad Sistla,E. M. Clarke

19851,099 citations

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere,Alessandro Cimatti,et al.

1999688 citations

Symbolic model checking for sequential circuit verification

Jerry R. Burch,E. M. Clarke,et al.

1994548 citations

Compositional model checking

E. M. Clarke,David E. Long,et al.

2003468 citations

Characterizing finite Kripke structures in propositional temporal logic

M. C. Browne,E. M. Clarke,et al.

1988415 citations

Automatic verification of finite state concurrent system using temporal logic specifications

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

1983413 citations