| 2026 | ACL | LAMP-MedQA: A Lightweight Multi-Agent System for Patient-Oriented Medical Question Answering. | Jack A Johnson, Meghali Banerjee, Joseph Crawford, James Welch, Jim Davies, Tingyan Wang |
| 2023 | ICPM | Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare. | Owen P. Dwyer, Lara Chammas, Emanuel Sallinger, Jim Davies |
| 2017 | CogSci | What is Learning? A Definition for Cognitive Science. | Jim Davies |
| 2017 | CogSci | The Motor System Does Not Use a Curvilinear Impetus Belief: Folk Physics and Embodied Cognition. | Jay Jennings, Jim Davies |
| 2016 | CogSci | The Charon Model of Moral Judgment. | Deirdre Kelly, Jim Davies |
| 2015 | OOPSLA | Domain specific modelling for clinical research. | Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch |
| 2014 | CogSci | Theoretical Assessment of the SOILIE Model of the Human Imagination. | Michael O. Vertolli, Vincent Breault, Sbastien Ouellet, Sterling Somers, Jonathan Gagn, Jim Davies |
| 2014 | CogSci | Coherence in the Visual Imagination: Local Hill Search Outperforms Thagard's Connectionist Model. | Michael O. Vertolli, Jim Davies |
| 2014 | IJCCI | Coherence Net - A New Model of Generative Cognition. | Michael O. Vertolli, Jim Davies |
| 2012 | ICSE | Machine learning and software engineering in health informatics. | David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko |
| 2011 | CaiSE | A Formal Modeling Approach to Information Systems Evolution and Data Migration. | Mohammed A. Aboulsamh, Jim Davies |
| 2011 | CogSci | What Makes an Explanation Believable?: Mechanistic and Anthropomorphic Explanations of Natural Phenomena. | Jordan R. Schoenherr, Robert Thomson, Jim Davies |
| 2011 | ISMAR | Imagination: The third reality to the virtuality continuum. | Christopher B. Stapleton, Jim Davies |
| 2011 | MEDI | Specification and Verification of Model-Driven Data Migration. | Mohammed A. Aboulsamh, Jim Davies |
| 2011 | OOPSLA | Models for forms. | Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris |
| 2010 | AAAI | Estimating Quantitative Magnitudes Using Semantic Similarity. | Jim Davies, Jonathan Gagn |
| 2010 | DIAGRAMS | Are Pixel Graphs Are Better at Representing Information than Pie Graphs? | Jolie Bell, Jim Davies |
| 2010 | DIAGRAMS | The Graduate Student Symposium of Diagrams 2010. | Jim Davies |
| 2010 | DIAGRAMS | Modelling English Spatial Preposition Detectors. | Connor Smith, Allen Cybulskie, Nic Di Noia, Janine Fitzpatrick, Jobina Li, Korey MacDougall, Xander Miller, Jeanne-Marie Musca, Jennifer Nutall, Kathy Van Bentham, Jim Davies |
| 2010 | ER | Model-Driven Data Migration. | Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch |
| 2010 | ICDCIT | Semantic Frameworks - Meanings in the Architecture. | Jim Davies, Jeremy Gibbons |
| 2010 | ICSEA | A Metamodel-Based Approach to Information Systems Evolution and Data Migration. | Mohammed A. Aboulsamh, Jim Davies |
| 2010 | TASE | A Guarded Workflow Language and Its Formal Semantics. | Chen-Wei Wang, Jim Davies, James Welch |
| 2009 | ICSE | Metadata-driven software for clinical trials. | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton |
| 2008 | CCGRID | WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas |
| 2007 | SEFM | Model-driven architecture for cancer research. | Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl |
| 2006 | ICECCS | On the Generation of Object Databases using Booster. | Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton |
| 2005 | ICCBR | Transfer in Visual Case-Based Problem Solving. | Jim Davies, Ashok K. Goel, Nancy J. Nersessian |
| 2005 | IJCAI | A Cognitive Model of Visual Analogical Problem-Solving Transfer. | Jim Davies, Ashok K. Goel, Nancy J. Nersessian |
| 2005 | SEFM | Automatic Maintenance of Association Invariants. | James Welch, David Faitelson, Jim Davies |
| 2003 | ICFEM | Using State Diagrams to Describe Concurrent Behaviour. | Jim Davies, Charles Crichton |
| 2003 | ICSE | On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. | Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever |
| 2003 | SAC | A Method for the Automatic Generation of Test Suites from Object Models. | Jim Davies, Charles Crichton, Alessandra Cavarra |
| 2002 | IFM | Refinement in Object-Z and CSP. | Christie Bolton, Jim Davies |
| 2001 | IJCAI | Visual Analogy in Problem Solving. | Jim Davies, Ashok K. Goel |
| 2000 | IFM | Activity Graphs and Processes. | Christie Bolton, Jim Davies |
| 1999 | IFM | On the Refinement and Simulation of Data Types and Processes. | Christie Bolton, Jim Davies, Jim Woodcock |
| 1995 | CONCUR | Towards a denotational semantics for ET-LOTOS. | Jeremy W. Bryans, Jim Davies, Steve A. Schneider |
| 1995 | FORTE | Real-time LOTOS and Timed Observations. | Jim Davies, Jeremy W. Bryans, Steve A. Schneider |
| 1994 | FORTE | On the formal specification and verification of network routing algorithms. | Jim Davies, Matt Wallis |
| 1992 | CONCUR | Using CSP to Verify a Timed Protocol over a Fair Medium. | Jim Davies, Steve A. Schneider |
| 1989 | MFPS | Factorizing Proofs in Timed CSP. | Jim Davies, Steve A. Schneider |