Keith Hanna

According to our database, Keith Hanna authored at least 18 papers between 1976 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Iris on the Move: Acquisition of Images for Iris Recognition in Less Constrained Environments.

James R. Matey, Oleg Naroditsky, Keith Hanna, Raymond J. Kolczynski, Dominick J. LoIacono, Shakuntala Mangru, Michael Tinker, Thomas M. Zappia, Wenyi Y. Zhao

Proc. IEEE, 2006

2005

A Document-Centered Environment for Haskell.

Keith Hanna

Proceedings of the Implementation and Application of Functional Languages, 2005

2002

Interactive visual functional programming.

Keith Hanna

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2000

Reasoning About Analog-Level Implementations of Digital Systems.

F. Keith Hanna

Formal Methods Syst. Des., 2000

1999

Implementing Theorem Provers in a Purely Functional Style.

Keith Hanna

J. Funct. Program., 1999

1998

Reasoning about Imperfect Digital Systems.

Keith Hanna

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

Automatic Verification of Mixed-Level Logic Circuits.

F. Keith Hanna

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1994

Reasoning about Real Circuits.

Keith Hanna

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Reasoning about Array Structure Using a Dependently Typed Logic.

Alan Dent, Keith Hanna

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

Strongly-Typed Theory of Structures and Behaviours.

Keith Hanna, Neil Daeche

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

Implementation of the Veritas Design Logic.

Keith Hanna, Neil Daeche, Gareth Howells

Proceedings of the Theorem Provers in Circuit Design, 1992

The Veritas Design Logic: A User's View.

Keith Hanna, Neil Daeche

Proceedings of the Theorem Provers in Circuit Design, 1992

1990

Specification and Verification Using Dependent Types.

F. Keith Hanna, Neil Daeche, Mark Longley

IEEE Trans. Software Eng., 1990

1989

Veritas⁺: A Specification Language Based on Type Theory.

F. Keith Hanna, Neil Daeche, Mark Longley

Proceedings of the Hardware Specification, 1989

1986

Purely Functional Implementation of a Logic.

F. Keith Hanna, Neil Daeche

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1979

Pleiades: a multimicroprocessor interactive knowledge base.

George G. Coghill, Keith Hanna

Microprocess. Microsystems, 1979

1978

A Multiprocessor System for Knowledge Representation and Manipulation.

F. Keith Hanna, W. T. Harwood

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1976

A Distributed Activity Processing System for AI.

W. T. Harwood, F. Keith Hanna

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976