The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Graham Gough: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002