Graham Gough

Publication Activity (10 Years)

Years Active: 1988-2002
Publications (10 Years): 0

Publications

Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. 45 (1) (2002)
Sergio Tessaris, Ian Horrocks, Graham Gough
Evaluating a Modular Abox Algorithm. KR (2002)
Sergio Tessaris, Graham Gough
ABox Reasoning with Transitive Roles and Axioms. Description Logics (1999)
Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams
Efficient CTL* model checking for analysis of rainbow designs. CHARME (1997)
Ian Horrocks, Graham Gough
Description Logics with Transitive Roles. Description Logics (1997)
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL 4 (2) (1996)
Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39 (4) (1996)
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
METATEM: An Introduction. Formal Aspects Comput. 7 (5) (1995)
Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
Formal support for the ELLA hardwar description language. CHARME (1995)
Howard Barringer, Michael Fisher, Graham Gough
Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems (1989)
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
METATEM: A Framework for Programming in Temporal Logic. REX Workshop (1989)
Graham Gough, Howard Barringer
A Semantics Driven Temporal Verification System. ESOP (1988)