| 2024 | ISoLA | The Evolving Conscious Agent, I. | Yifeng Chen, Jeff W. Sanders |
| 2022 | ISoLA | A Modal Approach to Consciousness of Agents. | Yifeng Chen, Jeff W. Sanders |
| 2018 | ISoLA | Modelling the Transition to Distributed Ledgers. | Jan Srmeli, Stefan Jhnichen, Jeff W. Sanders |
| 2013 | ICECCS | Formal Modelling and Analysis of AODV. | Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu |
| 2012 | PST | Using conventional reasoning techniques for self-organising systems. | Graeme Smith, Jeff W. Sanders |
| 2010 | MPC | Abstraction of Object Graphs in Program Verification. | Yifeng Chen, Jeff W. Sanders |
| 2009 | FM | Unifying Probability with Nondeterminism. | Yifeng Chen, Jeff W. Sanders |
| 2009 | ICWE | Modelling and Verification of Web Navigation. | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders |
| 2009 | SEW | Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. | Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders |
| 2009 | TASE | Refinement Algebra with Explicit Probabilism. | T. M. Rabehaja, Jeff W. Sanders |
| 2007 | TASE | Dynamics of Control. | Jeff W. Sanders, Matteo Turilli |
| 2006 | MPC | Compositional Reasoning for Pointer Structures. | Yifeng Chen, Jeff W. Sanders |
| 2004 | ICTAC | Idempotent Relations in Isabelle/HOL. | Florian Kammller, Jeff W. Sanders |
| 2004 | SEFM | Heuristics for Refinement Relations. | Florian Kammller, Jeff W. Sanders |
| 2001 | CONCUR | Logic of Global Synchrony. | Yifeng Chen, Jeff W. Sanders |
| 2000 | MPC | Quantum Programming. | Jeff W. Sanders, Paolo Zuliani |
| 1989 | CONCUR | A Hierarchical Approach to Hardware Design. | Jeff W. Sanders |
| 1989 | MPC | The Projection of Systolic Programs. | Christian Lengauer, Jeff W. Sanders |
| 1986 | ESOP | Data Refinement Refined. | Jifeng He, C. A. R. Hoare, Jeff W. Sanders |