Michael Leuschel

FME · 2003

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

Whom Michael Leuschel trusts overall

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

  1. Daniel Jackson
  2. Gordon D. Plotkin

Who trusts Michael Leuschel overall

  1. Colin Frank Snook
  2. Michael J. Butler

Papers from Michael Leuschel's perspective

Ordered by how strongly the researchers Michael Leuschel 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. Situations, Actions, and Causal Laws
  4. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  5. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  6. Concepts, Techniques, and Models of Computer Programming
  7. Software Reflexion Models: Bridging the Gap between Design and Implementation (IEEE Trans. Software Eng.)
  8. The structure and value of modularity in software design (ESEC/FSE-9)
  9. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  10. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)

Their papers