Michael J. Butler

Artificial Intelligence · 2003–2010

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

Subfields

Whom Michael J. Butler trusts overall

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

  1. Daniel Jackson
  2. Michael Leuschel
  3. Leslie Lamport

Who trusts Michael J. Butler overall

  1. Colin Frank Snook

Papers from Michael J. Butler's perspective

Ordered by how strongly the researchers Michael J. Butler trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Alloy: a lightweight object modelling notation (TSEM)
  2. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  3. ProB: A Model Checker for B (FME)
  4. The Object Constraint Language: Getting Your Models Ready for MDA
  5. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  6. Boogie: A Modular Reusable Verifier for Object-Oriented Programs (Formal Methods for Components and Objects)
  7. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  8. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  9. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  10. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)

Their papers