Andrew Cook

	2010
6		Graham Pullin, Andrew Cook: Six speaking chairs (not directly) for people who cannot speak. Interactions 17(5): 38-42 (2010)
	2009
5		Andrew Cook, David Youngs: Rayleigh-Taylor instability and mixing. Scholarpedia 4(2): 6092 (2009)
	2007
4		Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook: Auto-parallelisation of Sieve C++ Programs. Euro-Par Workshops 2007: 18-27
	2006
3		Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes: An Integrated Approach to High Integrity Software Verification. J. Autom. Reasoning 36(4): 379-410 (2006)
	2005
2		Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife: Discovering applications of higher order functions through proof planning. Formal Asp. Comput. 17(1): 38-57 (2005)
	2001
1		Andrew Cook, Andrew Ireland, Greg Michaelson: Higher Order Function Synthesis Through Proof Planning. ASE 2001: 307-310

Coauthor Index

1	Janet Barnes	[3]
2	Roderick Chapman	[3]
3	Alastair F. Donaldson	[4]
4	Bill J. Ellis	[3]
5	Andrew Ireland	[1] [2] [3]
6	Anton Lokhmotov	[4]
7	Greg Michaelson	[1] [2]
8	Graham Pullin	[6]
9	Colin Riley	[4]
10	Norman Scaife	[2]
11	David Youngs	[5]

Colors in the list of coauthors

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