Graham Gough

According to our database, Graham Gough authored at least 12 papers between 1988 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design.

Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams

Comput. J., 2002

Evaluating a Modular Abox Algorithm.

Sergio Tessaris, Ian Horrocks, Graham Gough

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

1999

ABox Reasoning with Transitive Roles and Axioms.

Sergio Tessaris, Graham Gough

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1997

Description Logics with Transitive Roles.

Ian Horrocks, Graham Gough

Proceedings of the 1997 International Workshop on Description Logics, 1997

Efficient CTL* model checking for analysis of rainbow designs.

Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams

Proceedings of the Advances in Hardware Design and Verification, 1997

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, Michael Fisher

Log. J. IGPL, 1996

A Process Algebra Foundation for Reasoning about Core ELLA.

Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams

Comput. J., 1996

1995

METATEM: An Introduction.

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens

Formal Aspects Comput., 1995

Formal support for the ELLA hardwar description language.

Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1989

METATEM: A Framework for Programming in Temporal Logic.

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Fair SMG and Linear Time Model Checking.

Howard Barringer, Michael Fisher, Graham Gough

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

A Semantics Driven Temporal Verification System.

Graham Gough, Howard Barringer

Proceedings of the ESOP '88, 1988