Graham Gough
Graham Gough
School of Computer Science, University of Manchester
Verified email at
Cited by
Cited by
METATEM: A framework for programming in temporal logic
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Workshop/School/Symposium of the REX Project (Research and Education in …, 1989
METATEM: An introduction
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Formal Aspects of Computing 7 (5), 533-549, 1995
Decision procedures for temporal logic
GD Gough
University of Manchester, 1989
Advances in temporal logic
H Barringer, M Fisher, DM Gabbay, G Gough
Springer Science & Business Media, 2013
Description Logics with Transitive Roles.
I Horrocks, G Gough
Description Logics 410, 1997
Urinary total hydroxyproline: creatinine ratio: range of normal, and clinical application in British children
BA Wharton, G Gough, A Williams, S Kitts, CA Pennock
Archives of disease in childhood 47 (251), 74-79, 1972
ABox Reasoning with Transitive Roles and Axioms.
S Tessaris, G Gough
Description Logics, 1999
Fair SMG and linear time model checking
H Barringer, MD Fisher, GD Gough
International Conference on Computer Aided Verification, 133-150, 1989
A process algebra foundation for reasoning about core ELLA
H Barringer, G Gouch, B Monahan, A Williams
The Computer Journal 39 (4), 303-324, 1996
Semantics and verification for boolean kernel ELLA using IO automata
H Barringer, G Gough, T Longshaw, B Monahan, M Peim, A Williams
Advanced Research Workshop on Correct Hardware Design Methodologies, 65-90, 1991
Abstract modelling of asynchronous micropipeline systems using Rainbow
H Barringer, D Fellows, G Gough, A Williams
Hardware Description Languages and their Applications, 285-304, 1997
Efficient CTL* Model Checking for Analysis of Rainbow Designs
W Visser, H Barringer, D Fellows, G Gough, A Williams
Advances in Hardware Design and Verification, 128-145, 1997
Design and simulation in rainbow: A framework for asynchronous micropipeline circuits
H Barringer, D Fellows, G Gough, P Jinks, B Marsden, A Williams
Proceedings of the European Simulation Symposium (ESS’96) 2, 567-571, 1996
A semantics for Core ELLA
H Barringer, G Gough, B Monahan, A Williams
Deliverable D2. 3b, Department of Computer Science, University of Manchester, 1992
Operational semantics for hardware design languages
H Barringer, GD Gough, B Monahan
University of Manchester, Department of Computer Science, 1991
A semantics driven temporal verification system
GD Gough, H Barringer
European Symposium on Programming, 21-33, 1988
METATEM: A framework for pgrogramming in temporal logic. In proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formulisms, Correctness, Mook …
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Springer-Verlag, 1989
Evaluating a modular abox algorithm
S Tessaris, I Horrocks, G Gough
KR, 227-238, 2002
Languages, Meta-languages and METATEM, A Discussion Paper
D Brough, M Fisher, A Hunter, R Owens, H Barringer, D Gabbay, G Gough, ...
JOURNAL-IGPL 4, 255-272, 1996
Symbolic verification of hardware systems
H Barringer, G Gough, B Monahan, A Williams
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair, 631-636, 1995
The system can't perform the operation now. Try again later.
Articles 1–20