| 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 | 213 | 1990 |
| METATEM: An introduction H Barringer, M Fisher, D Gabbay, G Gough, R Owens Formal Aspects of Computing 7, 533-549, 1995 | 121 | 1995 |
| Decision procedures for temporal logic GD Gough University of Manchester, 1989 | 86 | 1989 |
| Advances in temporal logic H Barringer, M Fisher, DM Gabbay, G Gough Springer Science & Business Media, 2013 | 57 | 2013 |
| Description Logics with Transitive Roles. I Horrocks, G Gough Description Logics 410, 1997 | 28 | 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 | 27 | 1972 |
| ABox Reasoning with Transitive Roles and Axioms. S Tessaris, G Gough Description Logics, 1999 | 18 | 1999 |
| Fair SMG and linear time model checking H Barringer, MD Fisher, GD Gough Automatic Verification Methods for Finite State Systems: International …, 1990 | 18 | 1990 |
| 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 | 15 | 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 | 13 | 1991 |
| Abstract modelling of asynchronous micropipeline systems using Rainbow H Barringer, D Fellows, G Gough, A Williams Hardware Description Languages and their Applications: Specification …, 1997 | 12 | 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: IFIP TC10 WG10. 5 …, 1997 | 11 | 1997 |
| 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 | 9 | 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 | 8 | 1992 |
| A semantics driven temporal verification system GD Gough, H Barringer European Symposium on Programming, 21-33, 1988 | 8 | 1988 |
| Evaluating a modular abox algorithm S Tessaris, I Horrocks, G Gough KR, 227-238, 2002 | 7 | 2002 |
| The ELLA Verification Environment: A Tutorial Introduction H Barringer, G Gough, B Monahan, A Williams The ELLA verification environment: A tutorial introduction, 1994 | 7 | 1994 |
| A Process Algebraic Semantics for Core ELLA. H Barringer, G Gough, B Monahan, A Williams University of Manchester, Department of Computer Science, 1994 | 7 | 1994 |
| Operational semantics for hardware design languages H Barringer, P Prinetto, P Camurati Advanced Research Workshop on Correct Hardware Design Methodologies, 313-334, 1992 | 7 | 1992 |
| 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 | 6 | 2002 |
