| 2002 |
|---|
| 12 | | Sergio Tessaris,
Ian Horrocks,
Graham Gough:
Evaluating a Modular Abox Algorithm.
KR 2002: 227-238 |
| 11 | EE | Howard Barringer,
Donal Fellows,
Graham Gough,
Alan Williams:
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design.
Comput. J. 45(1): 2-11 (2002) |
| 1999 |
|---|
| 10 | EE | Sergio Tessaris,
Graham Gough:
ABox Reasoning with Transitive Roles and Axioms.
Description Logics 1999 |
| 1997 |
|---|
| 9 | | Willem Visser,
Howard Barringer,
Donal Fellows,
Graham Gough,
Alan Williams:
Efficient CTL* model checking for analysis of rainbow designs.
CHARME 1997: 128-145 |
| 8 | EE | Ian Horrocks,
Graham Gough:
Description Logics with Transitive Roles.
Description Logics 1997 |
| 1996 |
|---|
| 7 | | Howard Barringer,
Graham Gough,
Brian Monahan,
Alan Williams:
A Process Algebra Foundation for Reasoning about Core ELLA.
Comput. J. 39(4): 303-324 (1996) |
| 6 | EE | Howard Barringer,
Graham Gough,
Derek Brough,
Dov M. Gabbay,
Ian M. Hodkinson,
Anthony Hunter,
Richard Owens,
Peter McBrien,
Mark Reynolds,
Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the IGPL 4(2): 255-272 (1996) |
| 1995 |
|---|
| 5 | | Howard Barringer,
Graham Gough,
Brian Monahan,
Alan Williams:
Formal support for the ELLA hardwar description language.
CHARME 1995: 225-245 |
| 4 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Graham Gough,
Richard Owens:
METATEM: An Introduction.
Formal Asp. Comput. 7(5): 533-549 (1995) |
| 1989 |
|---|
| 3 | | Howard Barringer,
Michael Fisher,
Graham Gough:
Fair SMG and Linear Time Model Checking.
Automatic Verification Methods for Finite State Systems 1989: 133-150 |
| 2 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Graham Gough,
Richard Owens:
METATEM: A Framework for Programming in Temporal Logic.
REX Workshop 1989: 94-129 |
| 1988 |
|---|
| 1 | | Graham Gough,
Howard Barringer:
A Semantics Driven Temporal Verification System.
ESOP 1988: 21-33 |
