Keith Hanna

11 papers A 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2006 J jnl
Iris on the Move: Acquisition of Images for Iris Recognition in Less Constrained Environments.
Proc. IEEE
James R. Matey, Oleg Naroditsky, Keith Hanna, Raymond J. Kolczynski, Dominick J. LoIacono, Shakuntala Mangru, Michael Tinker, Thomas M. Zappia, Wenyi Y. Zhao
2005 — conf
A Document-Centered Environment for Haskell.
IFL
Keith Hanna
2002 A conf
Interactive visual functional programming.
ICFP
Keith Hanna
1999 J jnl
Implementing Theorem Provers in a Purely Functional Style.
J. Funct. Program.
Keith Hanna
1998 — conf
Reasoning about Imperfect Digital Systems.
Prospects for Hardware Foundations
Keith Hanna
1994 — conf
Reasoning about Real Circuits.
TPHOLs
Keith Hanna
1993 — conf
Reasoning about Array Structure Using a Dependently Typed Logic.
CHDL
Alan Dent, Keith Hanna
1993 — conf
Strongly-Typed Theory of Structures and Behaviours.
CHARME
Keith Hanna, Neil Daeche
1992 — conf
Implementation of the Veritas Design Logic.
TPCD
Keith Hanna, Neil Daeche, Gareth Howells
1992 — conf
The Veritas Design Logic: A User's View.
TPCD
Keith Hanna, Neil Daeche
1979 J jnl
Pleiades: a multimicroprocessor interactive knowledge base.
Microprocess. Microsystems
George G. Coghill, Keith Hanna