| 2026 | ITP | Faster Verified Real Root Isolation with Descartes' Rule of Signs (Short Paper). | Aeacus Sheng, Wenda Li, Paul B. Jackson |
| 2018 | DATE | VerC3: A library for explicit state synthesis of concurrent systems. | Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan |
| 2018 | SYNASC | Compositional Taylor Model Based Validated Integration. | Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger |
| 2017 | FMCAD | Verification of a lazy cache coherence protocol against a weak memory model. | Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan |
| 2016 | VMCAI | A Method for Invariant Generation for Polynomial Continuous Systems. | Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, Andr Platzer |
| 2015 | FM | Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. | Andrew Sogokon, Paul B. Jackson |
| 2013 | FMICS | Auditing User-Provided Axioms in Software Verification Conditions. | Paul B. Jackson, Florian Schanda, Angela Wallenburg |
| 2012 | CiE | Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. | Grant Olney Passmore, Paul B. Jackson |
| 2004 | SAT | Clause Form Conversions for Boolean Circuits. | Paul B. Jackson, Daniel Sheridan |
| 1994 | CADE | Exploring Abstract Algebra in Constructive Type Theory. | Paul B. Jackson |