![]() |
| 2005 | ||
|---|---|---|
| 4 | 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) |
| 2002 | ||
| 3 | EE | João Ventura, Fridtjof Siebert, Andy Walter, James Hunt: HIDOORS-A High Integrity Distributed Deterministic Java Environment. WORDS 2002: 113-118 |
| 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 | |
| 1 | Uwe Aßmann | [4] |
| 2 | John Gill | [1] [2] |
| 3 | Anders Henriksson | [4] |
| 4 | Fridtjof Siebert | [3] |
| 5 | Janos Simon | [1] [2] |
| 6 | João Ventura | [3] |
| 7 | Andy Walter | [3] |