| 2024 | IJCAR | Model Construction for Modal Clauses. | Ullrich Hustadt, Fabio Papacchini, Cludia Nalon, Clare Dixon |
| 2023 | CADE | Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. | Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2023 | EUMAS | Adaptive Cognitive Agents: Updating Action Descriptions and Plans. | Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis |
| 2022 | CADE | Local Reductions for the Modal Cube. | Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2022 | IFM | Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. | Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao |
| 2021 | CADE | Efficient Local Reductions to Basic Modal Logic. | Fabio Papacchini, Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2021 | EMAS | Implementing Durative Actions with Failure Detection in Gwendolen. | Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis |
| 2020 | HRI | Taxonomy of Trust-Relevant Failures and Mitigation Strategies. | Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide, Felix Lindner, Thomas M. Powers, Clare Dixon, Myrthe L. Tielman |
| 2020 | TIME | Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). | Clare Dixon |
| 2019 | IFM | A Summary of Formal Specification and Verification of Autonomous Robotic Systems. | Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2019 | SEFM | Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. | Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple |
| 2019 | VECoS | Analysing Security Protocols Using Scenario Based Simulation. | Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon |
| 2018 | CADE | Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. | Ullrich Hustadt, Cludia Nalon, Clare Dixon |
| 2018 | ICFEM | The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher |
| 2017 | CADE | Theorem Proving for Metric Temporal Logic over the Naturals. | Ullrich Hustadt, Ana Ozaki, Clare Dixon |
| 2017 | FMICS | CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. | Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster |
| 2017 | IJCAI | KSP: A Resolution-based Prover for Multimodal K, Abridged Report. | Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2016 | CADE | : A Resolution-Based Prover for Multimodal K. | Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2015 | TABLEAUX | Ordered Resolution for Coalition Logic. | Ullrich Hustadt, Paul Gainer, Clare Dixon, Cludia Nalon, Lan Zhang |
| 2015 | TABLEAUX | A Modal-Layered Resolution Calculus for K. | Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2014 | CADE | Clausal Resolution for Modal Logics of Confluence. | Cludia Nalon, Joo Marcos, Clare Dixon |
| 2013 | ADMA | Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming. | Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan |
| 2012 | JELIA | Verifying Brahms Human-Robot Teamwork Models. | Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2012 | SGAI | Identification of Correlations Between 3D Surfaces Using Data Mining Techniques: Predicting Springback in Sheet Metal Forming. | Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan |
| 2012 | SYNASC | Labelled Tableaux for Temporal Logic with Cardinality Constraints. | Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky |
| 2011 | NSS | A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. | Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon |
| 2010 | TIME | CTL-Like Fragments of a Temporal Logic of Robustness. | John Christopher McCabe-Dansted, Clare Dixon |
| 2009 | CADE | A Refined Resolution Calculus for CTL. | Lan Zhang, Ullrich Hustadt, Clare Dixon |
| 2008 | TIME | Practical First-Order Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
| 2007 | IJCAI | Tractable Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev |
| 2006 | JELIA | Anti-prenexing and Prenexing for Modal Logics. | Cludia Nalon, Clare Dixon |
| 2006 | TIME | Is There a Future for Deductive Temporal Verification? | Clare Dixon, Michael Fisher, Boris Konev |
| 2004 | AiML | Resolution for Synchrony and No Learning. | Cludia Nalon, Clare Dixon, Michael Fisher |
| 2004 | ECAI | Miss Scarlett in the Ballroom with the Lead Piping. | Clare Dixon |
| 2004 | TIME | Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. | Clare Dixon, M. Carmen Fernndez Gago, Michael Fisher, Wiebe van der Hoek |
| 2003 | TIME | Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. | Clare Dixon, Cludia Nalon, Michael Fisher |
| 2003 | TIME | Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
| 2002 | KI | Algorithms for Guiding Clausal Temporal Resolution. | M. Carmen Fernndez Gago, Michael Fisher, Clare Dixon |
| 2001 | TIME | Reasoning about agents in the KARO framework. | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek |
| 2000 | TIME | Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. | Alexander Bolotov, Clare Dixon |
| 2000 | TIME | Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. | Clare Dixon, Michael Fisher |
| 1999 | MFCS | Clausal Resolution for CTL | Alexander Bolotov, Clare Dixon, Michael Fisher |
| 1998 | TIME | The Set of Support Strategy in Temporal Resolution. | Clare Dixon, Michael Fisher |
| 1997 | TIME | Temporal Resolution: Removing Irrelevant Information. | Clare Dixon |
| 1996 | CADE | Search Strategies for Resolution in Temporal Logics. | Clare Dixon |
| 1996 | TIME | Temporal Resolution: A Breadth-First Search Approach. | Clare Dixon |