Paul Callaghan

Publication Activity (10 Years)

Years Active: 1995-2016
Publications (10 Years): 1

Top Venues

NeuroImage

IEEE Trans. Medical Imaging

Durham University, UK (PHD)

Education History

Durham University, UK

PHD

Publications

Marie-Paule Garcia, Arnaud Charil, Paul Callaghan, Catriona Wimberley, Florian Busso, Marie Claude Grégoire, Manuel Bardies, Anthonin Reilhac
C]Raclopride Scans for the Inveon Preclinical PET Scanner: Application to the Optimization of Reconstruction Methods for Dynamic Studies. IEEE Trans. Medical Imaging 35 (7) (2016)
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
4D PET iterative deconvolution with spatiotemporal regularization for quantitative dynamic PET imaging. NeuroImage 118 (2015)
Catriona Wimberley, Georgios Angelis, Frederic Boisson, Paul Callaghan, Kristina Fischer, Bernd J. Pichler, Steven R. Meikle, Marie Claude Grégoire, Anthonin Reilhac
Simulation-based optimisation of the PET data processing for Partial Saturation Approach protocols. NeuroImage 97 (2014)
Paul Callaghan
Coercive Subtyping via Mappings of Reduction Behaviour. Electron. Notes Theor. Comput. Sci. 196 (2008)
Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan
Parser Combinators for Ambiguous Left-Recursive Grammars. PADL (2008)
Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan
Modular and Efficient Top-Down Parsing for Ambiguous Left-Recursive Grammars. IWPT (2007)
Jianmin Pang, Paul Callaghan, Zhaohui Luo
-Based Approach to Domain-Specific Reasoning. J. Comput. Sci. Technol. 20 (4) (2005)
Paul Callaghan, Zhaohui Luo
An Implementation of LF with Coercive Subtyping & Universes. J. Autom. Reason. 27 (1) (2001)
Paul Callaghan, Zhaohui Luo
Implementation Techniques for Inductive Types in Plastic. TYPES (1999)
Zhaohui Luo, Paul Callaghan
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. LACL (1997)
Richard G. Morgan, Roberto Garigliano, Paul Callaghan, Sanjay Poria, Mark Smith, Chris Cooper
University of Durham: description of the LOLITA system as used in MUC-6. MUC (1995)

Paul Callaghan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul Callaghan