 | 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 |
