Skip to search formSkip to main contentSkip to account menu

Edmund M. Clarke

Known as: Clarke, E. M. Clarke, Edmund Clarke 
Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developingmodel checking, a method for formally… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Citation for published version (APA): Osama, M., & Wijs, A. (2019). Parallel SAT simplification on GPU architectures. In L. Zhang… 
Review
2013
Review
2013
With qualitative research methods an integral part of the psychology curriculum, questions arise of what approaches to teach, and… 
Review
2005
Review
2005
Using a unique firm-level survey database covering 54 countries, we investigate the effect of financial, legal, and corruption… 
Highly Cited
2001
Highly Cited
2001
Turing Lecture from the winners of the 2007 ACM A.M. Turing Award. In 1981, Edmund M. Clarke and E. Allen Emerson, working in the… 
Highly Cited
2000
Highly Cited
2000
is one of the most recognizablecharacters in 20th century cinema. HAL is an artificial agent capable of such advancedlanguage… 
Highly Cited
1997
Highly Cited
1997
Analysis of the global mean surface air temperature has shown that its increase is due, at least in part, to differential changes… 
Highly Cited
1992
Highly Cited
1992
We describe an interval logic for reasoning about space. The logic simpli es an earlier theory developed by Randell and Cohn, and… 
Highly Cited
1986
Review
1978
Review
1978
  • J. Winn
  • The Lancet
  • 1978
  • Corpus ID: 208793425
Review
1975
Review
1975
  • J. Krantz
  • Medical History
  • 1975
  • Corpus ID: 45479161
JOHN C. KRANTZ, jr., Historical medical classics involving new drugs, Baltimore, Williams & Wilkins Co., 1974, 8vo., pp. x, 129…