| 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 | 208 | 1989 |
| METATEM: An introduction H Barringer, M Fisher, D Gabbay, G Gough, R Owens Formal Aspects of Computing 7 (5), 533-549, 1995 | 121 | 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 | 55 | 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 | 25 | 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 | 18 | 1989 |
| 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 | 14 | 1991 |
| 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 |
| 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 |
| A semantics for Core ELLA H Barringer, G Gough, B Monahan, A Williams Deliverable D2. 3b, Department of Computer Science, University of Manchester, 1992 | 10 | 1992 |
| 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 | 8 | 1996 |
| Operational semantics for hardware design languages H Barringer, P Prinetto, P Camurati Advanced Research Workshop on Correct Hardware Design Methodologies, 313-334, 1992 | 8 | 1992 |
| 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 | 7 | 1995 |
| A semantics driven temporal verification system GD Gough, H Barringer European Symposium on Programming, 21-33, 1988 | 7 | 1988 |
| Evaluating a modular abox algorithm S Tessaris, I Horrocks, G Gough KR, 227-238, 2002 | 6 | 2002 |
| 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 |
| A Process Algebraic Semantics for Core ELLA. H Barringer, G Gough, B Monahan, A Williams University of Manchester, Department of Computer Science, 1994 | 6 | 1994 |
