| A Declaration of Software Independence. | 0 | 0.34 | 2021 |
| Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election. | 3 | 0.52 | 2015 |
| Special Section on Vote-ID 2013. | 0 | 0.34 | 2014 |
| vVote: a Verifiable Voting System (DRAFT). | 2 | 0.37 | 2014 |
| OnTrack: An Open Tooling Environment for Railway Verification. | 4 | 0.45 | 2013 |
| Solving the Discrete Logarithm Problem for Packing Candidate Preferences. | 0 | 0.34 | 2013 |
| Fuzzy-Systeme zur Unterstützung von Entscheidungen in land- und forstwirtschaftlichen Logistik-Prozessen. | 0 | 0.34 | 2013 |
| Automated Anonymity Verification of the ThreeBallot Voting System. | 0 | 0.34 | 2013 |
| Railway modelling in CSP||B: the double junction case study. | 3 | 0.47 | 2012 |
| A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. | 7 | 0.50 | 2012 |
| A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. | 6 | 0.44 | 2012 |
| Mobile CSP||B | 1 | 0.36 | 2009 |
| Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers | 18 | 1.31 | 2003 |
| How to Drive a B Machine | 20 | 1.59 | 2000 |
| Using a Process Algebra to Control B Operations | 42 | 3.31 | 1999 |
| Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin | 0 | 0.34 | 1999 |
| Test Case Preparation Using a Prototype | 9 | 0.70 | 1998 |
| Using a PVS Embedding of CSP to Verify Authentication Protocols | 36 | 2.67 | 1997 |
| Timewise refinement for communicating processes | 13 | 0.87 | 1997 |
| CSP and Anonymity | 92 | 5.74 | 1996 |
| Towards a denotational semantics for ET-LOTOS | 3 | 0.52 | 1995 |
| Rigorous Specification of Real-Time Systems | 0 | 0.34 | 1993 |
| Timed CSP: Theory and Practice | 64 | 4.47 | 1991 |
