2008 |
4 | EE | Tian Zhao,
Jason Baker,
James Hunt,
James Noble,
Jan Vitek:
Implicit ownership types for memory management.
Sci. Comput. Program. 71(3): 213-241 (2008) |
2005 |
3 | EE | Anders Henriksson,
Uwe Aßmann,
James Hunt:
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification.
Electr. Notes Theor. Comput. Sci. 133: 101-117 (2005) |
1980 |
2 | | John Gill,
James Hunt,
Janos Simon:
Deterministic Simulation of Tape-Bounded Probabilistic Turing Machine Transducers.
Theor. Comput. Sci. 12: 333-338 (1980) |
1978 |
1 | | Janos Simon,
John Gill,
James Hunt:
On Tape-Bounded Probabilistic Turing Machine Transducers (Extended Abstract)
FOCS 1978: 107-112 |