Graham Gough
Graham Gough
School of Computer Science, University of Manchester
Geverifieerd e-mailadres voor cs.man.ac.uk
TitelGeciteerd doorJaar
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
2021989
METATEM: An introduction
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Formal Aspects of Computing 7 (5), 533-549, 1995
1151995
Decision procedures for temporal logic
GD Gough
University of Manchester, 1989
781989
Advances in temporal logic
H Barringer, M Fisher, DM Gabbay, G Gough
Springer Science & Business Media, 2013
432013
Description Logics with Transitive Roles.
I Horrocks, G Gough
Description Logics 410, 1997
271997
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
241972
ABox Reasoning with Transitive Roles and Axioms.
S Tessaris, G Gough
Description Logics, 1999
191999
Fair SMG and linear time model checking
H Barringer, MD Fisher, GD Gough
International Conference on Computer Aided Verification, 133-150, 1989
181989
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
131996
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
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
121997
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
111997
Operational semantics for hardware design languages
H Barringer, G Gough, B Monahan
University of Manchester, Department of Computer Science, 1991
101991
A semantics driven temporal verification system
GD Gough, H Barringer
European Symposium on Programming, 21-33, 1988
101988
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
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
Evaluating a modular abox algorithm
S Tessaris, I Horrocks, G Gough
KR, 227-238, 2002
62002
Languages, Meta-languages and METATEM, A Discussion Paper
H Barringer, G Gough, D Brough, D Gabbay, I Hodkinson, A Hunter, ...
Logic Journal of the IGPL 4 (2), 255-272, 1996
6*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
61995
The ELLA Verification Environment: A Tutorial Introduction
H Barringer, G Gough, B Monahan, A Williams
Technical Report UMCS CS-94-12-2. University of Manchester, 1994
61994
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20