Automated Generalisation of Function Definitions. - Adam Bakewell; Colin Runciman (Fuji International Symposium on Functional and Logic Programming, 1999)

A model for comparing the space usage of lazy evaluators. - Adam Bakewell; Colin Runciman (PPDP, 2000)

The space usage problem: An evaluation kit for graph reduction semantics. - Adam Bakewell; Colin Runciman (Scottish Functional Programming Workshop, 2000)

A Space Semantics for Core Haskell. - Adam Bakewell; Colin Runciman (Haskell, 2000)

An operational theory of relative space efficiency. - Adam Bakewell (2001)

Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. - Adam Bakewell (TERMGRAPH, 2002)

Checking the Shape Safety of Pointer Manipulations. - Adam Bakewell; Detlef Plump; Colin Runciman (RelMiCS, 2003)

Specifying Pointer Structures by Graph Reduction. - Adam Bakewell; Detlef Plump; Colin Runciman (AGTIVE, 2003)

Game-based safety checking with Mage. - Adam Bakewell; Dan R. Ghica (SAVCBS, 2007)

On-the-Fly Techniques for Game-Based Software Model Checking. - Adam Bakewell; Dan R. Ghica (TACAS, 2008)

Clipping: A Semantics-Directed Syntactic Approximation. - Dan R. Ghica; Adam Bakewell (LICS, 2009)

Compositional Predicate Abstraction from Game Semantics. - Adam Bakewell; Dan R. Ghica (TACAS, 2009)

Data-abstraction refinement: a game semantic approach. - Adam Bakewell; Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (Int. J. Softw. Tools Technol. Transf., 2010)