Series: Distinguished Dissertations in Computer Science

Specification and Proof in Real Time CSP

Efficient Algorithms for Listing Combinatorial Structures

A Modular and Extensible Network Storage Architecture

A Compositional Approach to Performance Modelling

The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot

Logic Programming

Modelling Auditory Processing and Organisation

Efficient Algorithms for Listing Combinatorial Structures

Qualified Types

Axiomatic Domain Theory in Categories of Partial Maps

Specification and Proof in Real Time CSP

Three-Dimensional Integrated Circuit Layout

Affine Analysis of Image Sequences

Modelling Auditory Processing and Organisation

Qualified Types

Affine Analysis of Image Sequences