| 2007 |
|---|
| 4 | EE | Alastair F. Donaldson,
Colin Riley,
Anton Lokhmotov,
Andrew Cook:
Auto-parallelisation of Sieve C++ Programs.
Euro-Par Workshops 2007: 18-27 |
| 2006 |
|---|
| 3 | EE | 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 | EE | 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 | EE | Andrew Cook,
Andrew Ireland,
Greg Michaelson:
Higher Order Function Synthesis Through Proof Planning.
ASE 2001: 307-310 |
