A Specification-Verification Framework for Distributed Applications Software. - Donal Roantree; Maurice Clint (Specification and Verification of Concurrent Systems, 1988)

Towards the construction of an eigenvalue engine. - Maurice Clint; Donal Roantree; Alan Stewart (Parallel Comput., 1988)

A formal development method for the construction of correct distributed applications software. - Donal Roantree (1993)

A Self-Optimising Coprocessor Model for Portable Image Processing. - Danny Crookes; T. John Brown; Y. Dong; Gareth McAleese; Philip J. Morrow; Donal Roantree; Ivor T. A. Spence (Euro-Par, Vol. II, 1996)

Achieving Scalability, Portability and Efficiency in a High-Level Programming Model for Parallel Architectures. - Philip J. Morrow; Danny Crookes; Judy Brown; Y. Dong; Gareth McAleese; Donal Roantree; Ivor T. A. Spence (UK Parallel, 1996)

Achieving Portability and Efficiency Through Automatic Optimisation: An Investigation in Parallel Image Processing. - Danny Crookes; Philip J. Morrow; T. John Brown; Gareth McAleese; Donal Roantree; Ivor T. A. Spence (Euro-Par, 1998)

An efficient, portable software platform for parallel image processing. - Danny Crookes; Judy Brown; Ivor T. A. Spence; Philip J. Morrow; Donal Roantree; Gareth McAleese (PDP, 1998)

Characteristic Rule Discovery in Aurum-3. - David McSherry; Donal Roantree (Appl. Intell., 1999)

Efficient implementation of a portable parallel programming model for image processing. - Philip J. Morrow; Danny Crookes; T. John Brown; Gareth McAleese; Donal Roantree; Ivor T. A. Spence (Concurr. Pract. Exp., 1999)