Iain D. Craig

	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

Coauthor Index

1	Mayur Amin	[7]
2	Marie E. McVeigh	[7]
3	Andrew M. Plume	[7]
4	James Pringle	[7]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page