 | 2007 |
| 9 |  | Iain D. Craig:
Formal models of operating system Kernels.
Springer 2007: I-XI, 1-333 |
| 8 |  | Iain D. Craig:
Formal refinement for operating system Kernels.
Springer 2007: I-XIII, 1-332 |
| 7 |  | Iain D. Craig,
Andrew M. Plume,
Marie E. McVeigh,
James Pringle,
Mayur Amin:
Do open access articles have greater citation impact?: A critical review of the literature.
J. Informetrics 1(3): 239-248 (2007) |
| 2006 |
| 6 |  | Iain D. Craig:
Virtual machines.
Springer 2006: I-XV, 1-209 |
| 2002 |
| 5 |  | Iain D. Craig:
The interpretation of object-oriented programming languages - updated to include C# (2. ed.).
Springer 2002: I-XIV, 1-290 |
| 1999 |
| 4 |  | Iain D. Craig:
Converting Declarative into Procedural (and Vice Versa).
Collaboration between Human and Artificial Societies 1999: 132-141 |
| 1997 |
| 3 |  | Iain D. Craig:
Programming in Dylan.
Springer 1997: I-XI, 1-254 |
| 1993 |
| 2 |  | Iain D. Craig:
Formal Techniques in the Development of Blackboard Systems.
IJPRAI 7(2): 197-219 (1993) |
| 1991 |
| 1 |  | Iain D. Craig:
Formal specification of advanced AI architectures.
Ellis Horwood 1991: I-XV, 1-319 |