| 2018 | AISC | Machine Learning for Inductive Theorem Proving. | Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot |
| 2018 | DIAGRAMS | Towards Executable Representations of Social Machines. | Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson |
| 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 |
| 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 | 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 |
| 2010 | LPAR | An Isabelle-Like Procedural Mode for HOL Light. | Petros Papapanagiotou, Jacques D. Fleuriot |