Graham Gough

12 papers A* 1A 1Journal 4Unranked 6

Year	Rank	Type	Title / Venue / Authors
2002	A*	`conf`	Evaluating a Modular Abox Algorithm. KR Sergio Tessaris, Ian Horrocks, Graham Gough
2002	J	`jnl`	Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams
1999	—	`conf`	ABox Reasoning with Transitive Roles and Axioms. Description Logics Sergio Tessaris, Graham Gough
1997	—	`conf`	Description Logics with Transitive Roles. Description Logics Ian Horrocks, Graham Gough
1997	—	`conf`	Efficient CTL* model checking for analysis of rainbow designs. CHARME Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams
1996	J	`jnl`	A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
1996	J	`jnl`	Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
1995	—	`conf`	Formal support for the ELLA hardwar description language. CHARME Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
1995	J	`jnl`	METATEM: An Introduction. Formal Aspects Comput. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
1989	—	`conf`	Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems Howard Barringer, Michael Fisher, Graham Gough
1989	—	`conf`	METATEM: A Framework for Programming in Temporal Logic. REX Workshop Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
1988	A	`conf`	A Semantics Driven Temporal Verification System. ESOP Graham Gough, Howard Barringer