| 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 | 202 | 1989 |
| METATEM: An introduction H Barringer, M Fisher, D Gabbay, G Gough, R Owens Formal Aspects of Computing 7 (5), 533-549, 1995 | 117 | 1995 |
| Decision procedures for temporal logic GD Gough University of Manchester, 1989 | 80 | 1989 |
| Advances in temporal logic H Barringer, M Fisher, DM Gabbay, G Gough Springer Science & Business Media, 2013 | 46 | 2013 |
| Description Logics with Transitive Roles. I Horrocks, G Gough Description Logics 410, 1997 | 27 | 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 | 24 | 1972 |
| ABox Reasoning with Transitive Roles and Axioms. S Tessaris, G Gough Description Logics, 1999 | 19 | 1999 |
| Fair SMG and linear time model checking H Barringer, MD Fisher, GD Gough International Conference on Computer Aided Verification, 133-150, 1989 | 16 | 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 | 13 | 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 | 12 | 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 | 11 | 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 | 11 | 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 | 8 | 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 |
| Operational semantics for hardware design languages H Barringer, GD Gough, B Monahan University of Manchester, Department of Computer Science, 1991 | 8 | 1991 |
| A semantics driven temporal verification system GD Gough, H Barringer European Symposium on Programming, 21-33, 1988 | 8 | 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 | 7 | 1989 |
| Evaluating a modular abox algorithm S Tessaris, I Horrocks, G Gough KR, 227-238, 2002 | 6 | 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 | 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 | 6 | 1995 |
