The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Keith Hanna: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Keith Hanna, Neil Daeche
    Strongly-Typed Theory of Structures and Behaviours. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:39-54 [Conf]
  2. Alan Dent, Keith Hanna
    Reasoning about Array Structure Using a Dependently Typed Logic. [Citation Graph (0, 0)][DBLP]
    CHDL, 1993, pp:207-224 [Conf]
  3. Keith Hanna
    Interactive visual functional programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:145-156 [Conf]
  4. Keith Hanna
    A Document-Centered Environment for Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2005, pp:196-211 [Conf]
  5. Keith Hanna
    Reasoning about Imperfect Digital Systems. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:333-355 [Conf]
  6. Keith Hanna, Neil Daeche
    The Veritas Design Logic: A User's View. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:301-310 [Conf]
  7. Keith Hanna, Neil Daeche, Gareth Howells
    Implementation of the Veritas Design Logic. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:77-94 [Conf]
  8. Keith Hanna
    Reasoning about Real Circuits. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:235-253 [Conf]
  9. Keith Hanna
    Implementing Theorem Provers in a Purely Functional Style. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:2, pp:147-166 [Journal]

Search in 0.002secs, Finished in 0.003secs
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