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
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
2006
Highly Cited
2006
GeoPlot: An Excel VBA program for geochemical data plotting
Highly Cited
2005
Highly Cited
2005
Strongfield durum wheat
Strongfield durum wheat (Triticum turgidum L. var durum) is adapted to the durum production area of the southern Canadian… 
Highly Cited
2003
Highly Cited
2003
Results from the Cryogenic Dark Matter Search Experiment
Using improved Ge and Si detectors, better neutron shielding, and increased counting time, the Cryogenic Dark Matter Search (CDMS… 
Highly Cited
1996
Highly Cited
1996
COMPASS: A Proposal for a Common Muon and Proton Apparatus for Structure and Spectroscopy
We propose to study hadron structure and hadron spectroscopy with high-rate hadron and muon beams and a new spectrometer to be… 
Highly Cited
1993
Highly Cited
1993
Rethinking neural networks : quantum fields and biological data
Contents: K.H. Pribram, Foreword. J.C. Eccles, Keynote: Evolution of Complexity of the Brain with the Emergence of Consciousness… 
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… 
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)