Paul Callaghan

According to our database, Paul Callaghan authored at least 12 papers between 1995 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

OSSI-PET: Open-Access Database of Simulated [¹¹C]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

2015

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

2014

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

2008

Parser Combinators for Ambiguous Left-Recursive Grammars.

Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

Coercive Subtyping via Mappings of Reduction Behaviour.

Paul Callaghan

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007

Modular and Efficient Top-Down Parsing for Ambiguous Left-Recursive Grammars.

Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan

Proceedings of the Tenth International Conference on Parsing Technologies, 2007

2005

<i>LFTOP</i>: An <i>LF</i>-Based Approach to Domain-Specific Reasoning.

Jianmin Pang, Paul Callaghan, Zhaohui Luo

J. Comput. Sci. Technol., 2005

2001

An Implementation of LF with Coercive Subtyping & Universes.

Paul Callaghan, Zhaohui Luo

J. Autom. Reason., 2001

1999

Implementation Techniques for Inductive Types in Plastic.

Paul Callaghan, Zhaohui Luo

Proceedings of the Types for Proofs and Programs, 1999

1998

An evaluation of Lolita and related natural language processing systems.

Paul Callaghan

PhD thesis, 1998

1997

Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language.

Zhaohui Luo, Paul Callaghan

Proceedings of the Logical Aspects of Computational Linguistics, 1997

1995

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

Proceedings of the 6th Conference on Message Understanding, 1995