| 2025 | TIME | GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. | Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot |
| 2022 | CCGRID | Multimorbidity profiles and stochastic block modeling improve ICU patient clustering. | Valerio Restocchi, Jorge Gaete-Villegas, Jacques D. Fleuriot |
| 2018 | AISC | Machine Learning for Inductive Theorem Proving. | Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot |
| 2018 | LOPSTR | A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. | Petros Papapanagiotou, Jacques D. Fleuriot |
| 2017 | CADE | WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. | Petros Papapanagiotou, Jacques D. Fleuriot |
| 2016 | ICTAC | ProofScript: Proof Scripting for the Masses. | Steven Obua, Phil Scott, Jacques D. Fleuriot |
| 2014 | BPM | Modelling and Implementation of Correct by Construction Healthcare Workflows. | Petros Papapanagiotou, Jacques D. Fleuriot |
| 2014 | CBMS | Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers. | Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou |
| 2012 | AISC | A Combinator Language for Theorem Discovery. | Phil Scott, Jacques D. Fleuriot |
| 2012 | CBMS | Rigorous process-based modelling of patterns for collaborative work in healthcare teams. | Petros Papapanagiotou, Jacques D. Fleuriot, Adela Grando |
| 2012 | DIAGRAMS | Diagrammatically-Driven Formal Verification of Web-Services Composition. | Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson |
| 2011 | ITP | Composable Discovery Engines for Interactive Theorem Proving. | Phil Scott, Jacques D. Fleuriot |
| 2010 | CADE | Automation for Geometry in Isabelle/HOL. | Laura I. Meikle, Jacques D. Fleuriot |
| 2010 | LPAR | An Isabelle-Like Procedural Mode for HOL Light. | Petros Papapanagiotou, Jacques D. Fleuriot |
| 2008 | AISC | Combining Isabelle and QEPCAD-B in the Prover's Palette. | Laura I. Meikle, Jacques D. Fleuriot |
| 2008 | CAV | Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. | Laura I. Meikle, Jacques D. Fleuriot |
| 2003 | CADE | IsaPlanner: A Prototype Proof Planner in Isabelle. | Lucas Dixon, Jacques D. Fleuriot |
| 2002 | ISAIM | Proof planning Non-standard Analysis. | Ewen Maclean, Jacques D. Fleuriot, Alan Smaill |
| 1998 | CADE | A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia. | Jacques D. Fleuriot, Lawrence C. Paulson |