Search the dblp DataBase
Keith Hanna: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Keith Hanna, Neil Daeche
Strongly-Typed Theory of Structures and Behaviours. [Citation Graph (0, 0)][DBLP]
CHARME, 1993, pp:39-54 [Conf] - Alan Dent, Keith Hanna
Reasoning about Array Structure Using a Dependently Typed Logic. [Citation Graph (0, 0)][DBLP]
CHDL, 1993, pp:207-224 [Conf] - Keith Hanna
Interactive visual functional programming. [Citation Graph (0, 0)][DBLP]
ICFP, 2002, pp:145-156 [Conf] - Keith Hanna
A Document-Centered Environment for Haskell. [Citation Graph (0, 0)][DBLP]
IFL, 2005, pp:196-211 [Conf] - Keith Hanna
Reasoning about Imperfect Digital Systems. [Citation Graph (0, 0)][DBLP]
Prospects for Hardware Foundations, 1998, pp:333-355 [Conf] - Keith Hanna, Neil Daeche
The Veritas Design Logic: A User's View. [Citation Graph (0, 0)][DBLP]
TPCD, 1992, pp:301-310 [Conf] - Keith Hanna, Neil Daeche, Gareth Howells
Implementation of the Veritas Design Logic. [Citation Graph (0, 0)][DBLP]
TPCD, 1992, pp:77-94 [Conf] - Keith Hanna
Reasoning about Real Circuits. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1994, pp:235-253 [Conf] - 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.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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002