A Semantics Driven Temporal Verification System. - Graham Gough; Howard Barringer (ESOP, 1988)

Fair SMG and Linear Time Model Checking. - Howard Barringer; Michael Fisher 001; Graham Gough (Automatic Verification Methods for Finite State Systems, 1989)

METATEM: A Framework for Programming in Temporal Logic. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (REX Workshop, 1989)

Formal support for the ELLA hardwar description language. - Howard Barringer; Graham Gough; Brian Monahan; Alan R. Williams (CHARME, 1995)

METATEM: An Introduction. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (Formal Aspects Comput., 1995)

A Process Algebra Foundation for Reasoning about Core ELLA. - Howard Barringer; Graham Gough; Brian Monahan; Alan R. Williams (Comput. J., 1996)

Languages, Meta-languages and METATEM, A Discussion Paper. - Howard Barringer; Graham Gough; Derek Brough; Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter; Richard Owens; Peter McBrien; Mark Reynolds 001; Michael Fisher 001 (Log. J. IGPL, 1996)

Efficient CTL* model checking for analysis of rainbow designs. - Willem Visser; Howard Barringer; Donal Fellows; Graham Gough; Alan R. Williams (CHARME, 1997)

Description Logics with Transitive Roles. - Ian Horrocks 001; Graham Gough (Description Logics, 1997)

ABox Reasoning with Transitive Roles and Axioms. - Sergio Tessaris; Graham Gough (Description Logics, 1999)

Evaluating a Modular Abox Algorithm. - Sergio Tessaris; Ian Horrocks 001; Graham Gough (KR, 2002)

Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. - Howard Barringer; Donal Fellows; Graham Gough; Alan R. Williams (Comput. J., 2002)