Colin Frank Snook

TSEM · 2006

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

Whom Colin Frank Snook trusts overall

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

  1. Michael Leuschel
  2. Michael J. Butler

Papers from Colin Frank Snook's perspective

Ordered by how strongly the researchers Colin Frank Snook trusts endorse each paper. Same corpus, a different order for every researcher.

  1. ProB: A Model Checker for B (FME)
  2. The Object Constraint Language: Getting Your Models Ready for MDA
  3. Alloy: a lightweight object modelling notation (TSEM)
  4. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  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. Concepts, Techniques, and Models of Computer Programming
  9. Software Reflexion Models: Bridging the Gap between Design and Implementation (IEEE Trans. Software Eng.)
  10. The structure and value of modularity in software design (ESEC/FSE-9)

Their papers