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)

Related topics

Related topics

22 relations
ACM Turing AwardAbstract interpretationAlan Turing Centenary ConferenceComputation tree logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Adele E. Clarke: Situationsanalyse. Grounded Theory nach dem Postmodern Turn. Herausgegeben und mit einem Vorwort von Reiner Keller. Reihe Interdisziplinäre Diskursforschung. Wiesbaden: Springer VS…
Rezension von: Adele E. Clarke: Situationsanalyse. Grounded Theory nach dem Postmodern Turn. Herausgegeben und mit einem Vorwort… 
Highly Cited
2012
Highly Cited
2012
Collaborative Caching in Wireless Video Streaming Through Resource Auctions
Recent advances in wireless communications and mobile networking have dramatically increased the popularity of multimedia… 
Highly Cited
2007
Highly Cited
2007
THE ASTROPHYSICAL JOURNAL Preprint typeset using LATEX style emulateapj v. 10/09/06 A DISCONTINUITY IN THE LOW-MASS INITIAL MASS FUNCTION
  • 2007
  • Corpus ID: 5705517
Highly Cited
1992
Highly Cited
1992
Random mating by size in the simultaneously hermaphroditic land snail Arianta arbustorum: experiments and an explanation
Review
1988
Review
1988
“The ‘Effects’ of infant day care reconsidered” reconsidered: Risks for parents, children, and researchers
Highly Cited
1981
Highly Cited
1981
Effect of artificial photoperiod cycles, temperature, and salinity on growth and smolting in underyearling coho (Oncorhynchus kisutch), chinook (O. tshawytscha), and sockeye (O. nerka) salmon
Highly Cited
1978
Highly Cited
1978
1978 Eleanor Clarke Slagle Lecture: Toward a science of adaptive responses.
Highly Cited
1956
Highly Cited
1956
The modes of action of toxic agents I. Observations on the poisoning of certain crustaceans by copper and mercury
Reports of recent attempts to discover how copper and mercury act as poisons to crustaceans are to be found in papers by Clarke… 
Highly Cited
1951
Highly Cited
1951
The respiration of some planktonic copepods
The respiratory rates of four species of planktonic copepods were measured. In two of the species measurements were made with two… 
Highly Cited
1932
Highly Cited
1932
THE RACEMIZATION OF AMINO ACIDS IN AQUEOUS SOLUTION BY ACETIC ANHYDRIDE
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)