| |
| 2005 | ||
|---|---|---|
| 3 | EE | Eoghan Casey, Gary Gordon, John Leeson: Origins and progress. Digital Investigation 2(1): 1-2 (2005) |
| 2004 | ||
| 2 | EE | Matthew B. Gerber, John Leeson: Formalization of computer input and output: the Hadley model. Digital Investigation 1(3): 214-224 (2004) |
| 2002 | ||
| 1 | EE | Matthew B. Gerber, John Leeson: Shrinking the Ocean: Formalizing I/O Methods Modern Operating Systems. IJDE 1(2): (2002) |
| 1 | Eoghan Casey | [3] |
| 2 | Matthew B. Gerber | [1] [2] |
| 3 | Gary Gordon | [3] |