| Phillip Boyle 2007 |
Gaussian Processes for Regression and Optimisation |
| Richard Mansfield 2006 |
Stability and Evolution in
Rock-paper-scissors Ecologies (12MB)
Also in smaller parts: 0, 1, 2, 3, 4 |
| Stuart Marshall 2006 |
Test Driving Reusable Components |
| Kris Bubendorfer 2001 |
Nomad: Towards an Architecture for Mobility in Large Scale Distributed Systems |
| Lindsay Groves 2000 |
Evolutionary Software Development in the Refinement Calculus |
| James Noble 1997 |
Abstract Program Visualisation |
| Ray Nickson 1995 |
Tool Support for the Refinement Calculus |
| David Andreae 1995 |
Representing, matching, and generalizing structural descriptions of complex physical objects |
| Andy Bond 1994 |
Adaptive Task Allocation in a Distributed Workstation Environment |
| Stephen Cassidy 1993 |
A Computer Model of Reading Development |
| Glenn Colman 1990 |
Analysis of Loop Programs using Generalization |