Follow
Graham Gough
Graham Gough
School of Computer Science, University of Manchester
Verified email at cs.man.ac.uk
Title
Cited by
Cited by
Year
METATEM: A framework for programming in temporal logic
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
2101990
METATEM: An introduction
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Formal Aspects of Computing 7, 533-549, 1995
1201995
Decision procedures for temporal logic
GD Gough
University of Manchester, 1989
861989
Advances in temporal logic
H Barringer, M Fisher, DM Gabbay, G Gough
Springer Science & Business Media, 2013
572013
Description Logics with Transitive Roles.
I Horrocks, G Gough
Description Logics 410, 1997
281997
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
261972
ABox Reasoning with Transitive Roles and Axioms.
S Tessaris, G Gough
Description Logics, 1999
181999
Fair SMG and linear time model checking
H Barringer, MD Fisher, GD Gough
Automatic Verification Methods for Finite State Systems: International …, 1990
181990
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
151996
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
131991
Abstract modelling of asynchronous micropipeline systems using Rainbow
H Barringer, D Fellows, G Gough, A Williams
Hardware Description Languages and their Applications: Specification …, 1997
121997
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: IFIP TC10 WG10. 5 …, 1997
111997
Design and simulation in rainbow: A framework for asynchronous micropipeline circuits
H Barringer, D Fellows, P Jinks, B Marsden, A Williams
host publication, 567-571, 1996
91996
A semantics for Core ELLA
H Barringer, G Gough, B Monahan, A Williams
Deliverable D2. 3b, Department of Computer Science, University of Manchester, 1992
81992
A semantics driven temporal verification system
GD Gough, H Barringer
European Symposium on Programming, 21-33, 1988
81988
Evaluating a modular abox algorithm
S Tessaris, I Horrocks, G Gough
KR, 227-238, 2002
72002
The ELLA Verification Environment: A Tutorial Introduction
H Barringer, G Gough, B Monahan, A Williams
The ELLA verification environment: A tutorial introduction, 1994
71994
A Process Algebraic Semantics for Core ELLA.
H Barringer, G Gough, B Monahan, A Williams
University of Manchester, Department of Computer Science, 1994
71994
Operational semantics for hardware design languages
H Barringer, P Prinetto, P Camurati
Advanced Research Workshop on Correct Hardware Design Methodologies, 313-334, 1992
71992
Rainbow: development, simulation and analysis tools for asynchronous micropipeline hardware design
H Barringer, D Fellows, G Gough, A Williams
The Computer Journal 45 (1), 2-11, 2002
62002
The system can't perform the operation now. Try again later.
Articles 1–20