The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniel Hazel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Owen Traynor, Daniel Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman
    The Cogito Development System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:586-591 [Conf]
  2. Daniel Hazel, Paul A. Strooper, Owen Traynor
    Possum: An Animator for the SUM Specification Language. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:42-51 [Conf]
  3. Daniel Hazel, Paul A. Strooper, Owen Traynor
    Requirements Engineering and Verification using Specification Animation. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:302-305 [Conf]
  4. John Staples, Peter J. Robinson, Daniel Hazel
    A Functional Logic for Higher Level Reasoning About Computation. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:1, pp:1-38 [Journal]

Search in 0.002secs, 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002