| Formal Verification of Smart Contracts: Short Paper | 48 | 3.11 | 2016 |
| A machine-checked proof of the odd order theorem | 80 | 3.41 | 2013 |
| How to make ad hoc proof automation less ad hoc | 26 | 1.29 | 2013 |
| Software engineering for mathematics (keynote) | 0 | 0.34 | 2013 |
| Engineering mathematics: the odd order theorem proof | 15 | 0.80 | 2013 |
| A publication culture in software engineering (panel) | 0 | 0.34 | 2013 |
| A Language of Patterns for Subterm Selection. | 2 | 0.38 | 2012 |
| Type design patterns for computer mathematics | 0 | 0.34 | 2011 |
| Advances in the formalization of the odd order theorem | 8 | 0.62 | 2011 |
| Point-free, set-free concrete linear algebra | 21 | 1.19 | 2011 |
| An Introduction To Small Scale Reflection In Coq | 33 | 1.42 | 2010 |
| Software Engineering for Mathematics | 0 | 0.34 | 2009 |
| Packaging Mathematical Structures | 43 | 2.06 | 2009 |
| Canonical Big Operators | 36 | 2.08 | 2008 |
| The Four Colour Theorem: Engineering of a Formal Proof | 36 | 1.56 | 2007 |
| A modular formalisation of finite group theory | 33 | 1.83 | 2007 |
| Coq | 0 | 0.34 | 2006 |
| A Hierarchy of Equivalences for Asynchronous Calculi | 50 | 3.64 | 2005 |
| Using stålmarck’s algorithm to prove inequalities | 2 | 0.38 | 2005 |
| Choice in Dynamic Linking | 7 | 0.52 | 2004 |
| The Join Calculus: A Language for Distributed Mobile Programming | 94 | 4.82 | 2000 |
| Secure Communications Processing For Distributed Languages | 6 | 0.66 | 1999 |
| A Top-Down Look at a Secure Message | 4 | 0.85 | 1999 |
| Secure implementation of channel abstractions | 65 | 19.20 | 1998 |
| Verifying the Safety of a Practical Concurrent Garbage Collector | 16 | 0.98 | 1996 |
| The reflexive CHAM and the join-calculus | 253 | 18.40 | 1996 |
| A Calculus of Mobile Agents | 232 | 16.98 | 1996 |
| Portable, unobtrusive garbage collection for multiprocessor systems | 75 | 3.96 | 1994 |
| The geometry of optimal lambda reduction | 118 | 8.90 | 1992 |
| An abstract standardisation theorem | 34 | 1.89 | 1992 |
| The ESTEREL synchronous programming language: design, semantics, implementation | 882 | 86.29 | 1992 |
| Linear logic without boxes | 49 | 4.90 | 1992 |
| Incremental development of an HDLC entity in Esterel | 7 | 1.23 | 1991 |
