University of Durham: description of the LOLITA system as used in MUC-6. - Richard G. Morgan; Roberto Garigliano; Paul Callaghan; Sanjay Poria; Mark Smith; Chris Cooper (MUC, 1995)

Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. - Zhaohui Luo; Paul Callaghan (LACL, 1997)

An evaluation of Lolita and related natural language processing systems. - Paul Callaghan (1998)

Implementation Techniques for Inductive Types in Plastic. - Paul Callaghan; Zhaohui Luo (TYPES, 1999)

An Implementation of LF with Coercive Subtyping & Universes. - Paul Callaghan; Zhaohui Luo (J. Autom. Reason., 2001)

LFTOP: An LF-Based Approach to Domain-Specific Reasoning. - Jianmin Pang; Paul Callaghan; Zhaohui Luo (J. Comput. Sci. Technol., 2005)

Modular and Efficient Top-Down Parsing for Ambiguous Left-Recursive Grammars. - Richard A. Frost; Rahmatullah Hafiz; Paul Callaghan (IWPT, 2007)

Coercive Subtyping via Mappings of Reduction Behaviour. - Paul Callaghan (LFMTP@CADE, 2007)

Parser Combinators for Ambiguous Left-Recursive Grammars. - Richard A. Frost; Rahmatullah Hafiz; Paul Callaghan (PADL, 2008)

Simulation-based optimisation of the PET data processing for Partial Saturation Approach protocols. - Catriona Wimberley; Georgios Angelis; Frederic Boisson; Paul Callaghan; Kristina Fischer; Bernd J. Pichler; Steven R. Meikle; Marie Claude Grégoire; Anthonin Reilhac (NeuroImage, 2014)

4D PET iterative deconvolution with spatiotemporal regularization for quantitative dynamic PET imaging. - Anthonin Reilhac; Arnaud Charil; Catriona Wimberley; Georgios Angelis; Hasar Hamze; Paul Callaghan; Marie-Paule Garcia; Frederic Boisson; Will Ryder; Steven R. Meikle; Marie Claude Grégoire (NeuroImage, 2015)

OSSI-PET: Open-Access Database of Simulated [11C]Raclopride Scans for the Inveon Preclinical PET Scanner: Application to the Optimization of Reconstruction Methods for Dynamic Studies. - Marie-Paule Garcia; Arnaud Charil; Paul Callaghan; Catriona Wimberley; Florian Busso; Marie Claude Grégoire; Manuel Bardies; Anthonin Reilhac (IEEE Trans. Medical Imaging, 2016)