Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
We present a logic for stating properties such as, “after a request for service there is at least a 98% probability that the… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 2
Highly Cited
2004
Highly Cited
2004
Do outside directors on corporate boards make a difference in firm performance during institutional transitions? What leads to… Expand
  • table 1
  • table 2
  • table 5
Highly Cited
2003
Highly Cited
2003
The first social transformation of American medicine institutionally established medicine by the end of World War II. In the next… Expand
Highly Cited
2003
Highly Cited
2003
Clarke's analysis of drugs and poisons , Clarke's analysis of drugs and poisons , کتابخانه دیجیتال جندی شاپور اهواز 
Highly Cited
2002
Highly Cited
2002
In many respects, Australian boards more closely approach normative “best practice” guidelines for corporate governance than… Expand
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… Expand
  • figure 19.1
  • figure 19.2
  • figure 19.3
  • figure 19.4
  • figure 19.5
Highly Cited
1998
Highly Cited
1998
One of the most striking facts about the elements is their unequal distribution and occurrence in nature. Present knowledge of… Expand
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… Expand
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… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
Highly Cited
1986
Highly Cited
1986
Abstract We consider the notion of qualitative information and the practicalities of extracting it from experimental data. Our… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7