A Distributed Activity Processing System for AI. - W. T. Harwood; F. Keith Hanna (AISB (ECAI), 1976)

A Multiprocessor System for Knowledge Representation and Manipulation. - F. Keith Hanna; W. T. Harwood (AISB/GI (ECAI), 1978)

Pleiades: a multimicroprocessor interactive knowledge base. - George G. Coghill; Keith Hanna (Microprocess. Microsystems, 1979)

Purely Functional Implementation of a Logic. - F. Keith Hanna; Neil Daeche (CADE, 1986)

Veritas+: A Specification Language Based on Type Theory. - F. Keith Hanna; Neil Daeche; Mark Longley (Hardware Specification, Verification and Synthesis, 1989)

Specification and Verification Using Dependent Types. - F. Keith Hanna; Neil Daeche; Mark Longley (IEEE Trans. Software Eng., 1990)

The Veritas Design Logic: A User's View. - Keith Hanna; Neil Daeche (TPCD, 1992)

Implementation of the Veritas Design Logic. - Keith Hanna; Neil Daeche; Gareth Howells 001 (TPCD, 1992)

Strongly-Typed Theory of Structures and Behaviours. - Keith Hanna; Neil Daeche (CHARME, 1993)

Reasoning about Array Structure Using a Dependently Typed Logic. - Alan Dent; Keith Hanna (CHDL, 1993)

Reasoning about Real Circuits. - Keith Hanna (TPHOLs, 1994)

Automatic Verification of Mixed-Level Logic Circuits. - F. Keith Hanna (FMCAD, 1998)

Reasoning about Imperfect Digital Systems. - Keith Hanna (Prospects for Hardware Foundations, 1998)

Implementing Theorem Provers in a Purely Functional Style. - Keith Hanna (J. Funct. Program., 1999)

Reasoning About Analog-Level Implementations of Digital Systems. - F. Keith Hanna (Formal Methods Syst. Des., 2000)

Interactive visual functional programming. - Keith Hanna (ICFP, 2002)

A Document-Centered Environment for Haskell. - Keith Hanna (IFL, 2005)

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)