Edmund M. Clarke

Computational Theory and Mathematics · 2000–2018

A researcher in the Science corpus: 14 papers; trusts 14 researchers and is trusted by 40 researchers here, as inferred from the citation graph.

Subfields

Whom Edmund M. Clarke trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Kenneth L. McMillan
  2. Matthew W. Moskewicz
  3. A. Cimatti
  4. David A. Patterson
  5. Hubert Garavel
  6. Thomas A. Henzinger
  7. Thomas Ball
  8. Daniel Kroening
  9. David Detlefs
  10. Somesh Jha

Who trusts Edmund M. Clarke overall

  1. Dirk Beyer
  2. Armando Solar-Lezama
  3. Vijay Victor D'Silva
  4. Daniel Kroening
  5. Kenneth L. McMillan
  6. Rastislav Bodík
  7. Frank Ghenassia
  8. Christel Baier
  9. Andreas Holzer
  10. Sanjit A. Seshia

Papers from Edmund M. Clarke's perspective

Ordered by how strongly the researchers Edmund M. Clarke trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Lazy abstraction
  2. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  3. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  4. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  5. Automatically validating temporal safety properties of interfaces (SPIN)
  6. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
  7. Simplify: a theorem prover for program checking (JACM)
  8. A Structure-Preserving Clause Form Translation
  9. Computer Architecture: A Quantitative Approach
  10. Cha : Engineering an e cient SAT solver (Design Automation Conference)

Their papers