E. M. Clarke - Concepedia

Author

E. M. Clarke

Carnegie Mellon University

Also Known As

Clarke, Edmund M, E .M. Clarke, E M Clarke, E. Clarke, E. M. Clarke, E.M. Clarke, Gano Oschmann, Isil Dillig

100

Publications

22.8K

Citations

H-Index

102

Concepts

All Affiliations

Carnegie Mellon University Fujitsu (United States)Technion – Israel Institute of Technology Stanford University University of Wisconsin–Madison

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	36	58	14.1K
2	Management	2	2	137
3	Language Studies	1	1	28
4	Social Sciences	1	1	15
5	Communication	1	1	13

E. M. Clarke

Publications

21.8K

Citations

H-Index

Page 1

	Year	Citations
Model checking E. M. Clarke, Orna Grümberg, D. Long	1996	6.9K
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 EngineeringVerificationComputer-aided VerificationComputational ComplexityConcurrent System	1986	3.5K
Symbolic model checking: 1020 States and beyond Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, Information and Computation EngineeringAutomated ReasoningVerificationFormal MethodsSymbolic Model Checking	1992	2.7K
The complexity of propositional linear temporal logics A. Prasad Sistla, E. M. Clarke Journal of the ACM Particular Finite StructureExtended LogicEngineeringAutomated ReasoningPropositional Logic	1985	1.1K
Symbolic model checking using SAT procedures instead of BDDs Armin Biere, Alessandro Cimatti, E. M. Clarke, Theory Of ComputingArticle Symbolic ModelEngineeringAutomated ReasoningVerification	1999	688
Symbolic model checking for sequential circuit verification Jerry R. Burch, E. M. Clarke, David E. Long, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringVerificationComputer-aided VerificationSystem-level DesignModel Checking	1994	548
Compositional model checking E. M. Clarke, David E. Long, Kenneth L. McMillan EngineeringTemporal Logic ModelVerificationComputer-aided VerificationSystem-level Design	2003	468
Characterizing finite Kripke structures in propositional temporal logic M. C. Browne, E. M. Clarke, Orna Grümberg Theoretical Computer Science Finite Kripke StructuresEngineeringAutomated ReasoningPropositional LogicClassical Logic	1988	415
Automatic verification of finite state concurrent system using temporal logic specifications E. M. Clarke, E. Allen Emerson, A. Prasad Sistla EngineeringTemporal Logic SpecificationsVerificationComputer-aided VerificationConcurrent System	1983	413
Sequential circuit verification using symbolic model checking Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	1990	409

Page 1