| The Halting Paradox. | 0 | 0.34 | 2019 |
| A unification of probabilistic choice within a design-based model of reversible computation. | 4 | 0.46 | 2013 |
| Preference and non-deterministic choice | 1 | 0.36 | 2010 |
| Probabilistic choice, reversibility, loops, and miracles | 2 | 0.36 | 2010 |
| A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages | 10 | 0.56 | 2010 |
| Modelling and proof analysis of interrupt driven scheduling | 3 | 0.43 | 2007 |
| A design-based model of reversible computation | 5 | 0.48 | 2006 |
| Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers | 11 | 1.11 | 2006 |
| A prospective-value semantics for the GSL | 4 | 0.47 | 2005 |
| Expression Transformers in B-GSL | 1 | 0.41 | 2003 |
| Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study | 5 | 0.48 | 2002 |
| Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings | 20 | 3.08 | 2000 |
| An Execution Architecture for GSL | 1 | 0.39 | 2000 |
| Undefined Expressions and Logic in Z and B | 4 | 0.65 | 1999 |
| The Refinement of Event Calculus Models | 0 | 0.34 | 1999 |
| Abstract State Machines: Designing Distributed Systems with State Machines and B | 5 | 0.53 | 1998 |
| The Specification and Refinement of an Environmental Model | 4 | 0.41 | 1998 |
| An Introduction to the Event Calculus | 10 | 0.95 | 1997 |
| Integrated formal methods | 3 | 1.06 | 1997 |
| An operational semantics for ZCCS | 41 | 2.46 | 1997 |
| Type Interference in Stack Based Languages | 1 | 0.38 | 1993 |
