Formaliser - An Interactive Support Tool for Z. - Mike Flynn; Tim Hoverd; David Brazier 002 (Z User Workshop, 1989)

Complex Systems Models - Engineering Simulations. - Fiona A. C. Polack; Tim Hoverd; Adam T. Sampson; Susan Stepney; Jon Timmis (ALIFE, 2008)

Formalising Harmony Seeking Rules of Morphogenesis. - Tim Hoverd; Susan Stepney (ALIFE, 2010)

A Transactional Architecture for Simulation. - Tim Hoverd; Adam T. Sampson (ICECCS, 2010)

Energy as a driver of diversity in open-ended evolution. - Tim Hoverd; Susan Stepney (ECAL, 2011)

Reflecting on open-ended evolution. - Susan Stepney; Tim Hoverd (ECAL, 2011)

Environment oriented simulation. - Tim Hoverd (2011)

Environment orientation: a structured simulation approach for agent-based complex systems. - Tim Hoverd; Susan Stepney (Nat. Comput., 2015)