On Tape-Bounded Probabilistic Turing Machine Transducers (Extended Abstract) - Janos Simon; John Gill; James Hunt (FOCS, 1978)

Deterministic Simulation of Tape-Bounded Probabilistic Turing Machine Transducers. - John Gill; James Hunt; Janos Simon (Theor. Comput. Sci., 1980)

Improving Software Quality in Safety-Critical Applications by Model-Driven Verification. - Anders Henriksson; Uwe Aßmann; James Hunt (FMICS, 2004)

Implicit ownership types for memory management. - Tian Zhao 002; Jason Baker; James Hunt; James Noble 001; Jan Vitek (Sci. Comput. Program., 2008)

Editorial. - Carolyn Remick; James Hunt; Harold Javid (Concurr. Comput. Pract. Exp., 2013)

APSIM - Evolution towards a new generation of agricultural systems simulation. - Dean P. Holzworth; Neil I. Huth; Peter G. de Voil; Eric J. Zurcher; Neville I. Herrmann; Greg McLean; Karine Chenu; Erik J. van Oosterom; Valerie O. Snow; Chris Murphy; Andrew D. Moore; Hamish E. Brown; et al. (Environ. Model. Softw., 2014)