| 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 |
