Keith Hanna

F. Keith Hanna

	2005
16		Keith Hanna: A Document-Centered Environment for Haskell. IFL 2005: 196-211
	2002
15		Keith Hanna: Interactive visual functional programming. ICFP 2002: 145-156
	2000
14		F. Keith Hanna: Reasoning About Analog-Level Implementations of Digital Systems. Formal Methods in System Design 16(2): 127-158 (2000)
	1999
13		Keith Hanna: Implementing Theorem Provers in a Purely Functional Style. J. Funct. Program. 9(2): 147-166 (1999)
	1998
12		F. Keith Hanna: Automatic Verification of Mixed-Level Logic Circuits. FMCAD 1998: 133-166
11		Keith Hanna: Reasoning about Imperfect Digital Systems. Prospects for Hardware Foundations 1998: 333-355
	1994
10		Keith Hanna: Reasoning about Real Circuits. TPHOLs 1994: 235-253
	1993
9		Keith Hanna, Neil Daeche: Strongly-Typed Theory of Structures and Behaviours. CHARME 1993: 39-54
8		Alan Dent, Keith Hanna: Reasoning about Array Structure Using a Dependently Typed Logic. CHDL 1993: 207-224
	1992
7		Keith Hanna, Neil Daeche: The Veritas Design Logic: A User's View. TPCD 1992: 301-310
6		Keith Hanna, Neil Daeche, Gareth Howells: Implementation of the Veritas Design Logic. TPCD 1992: 77-94
	1990
5		F. Keith Hanna, Neil Daeche, Mark Longley: Specification and Verification Using Dependent Types. IEEE Trans. Software Eng. 16(9): 949-964 (1990)
	1989
4		F. Keith Hanna, Neil Daeche, Mark Longley: Veritas+: A Specification Language Based on Type Theory. Hardware Specification, Verification and Synthesis 1989: 358-379
	1986
3		F. Keith Hanna, Neil Daeche: Purely Functional Implementation of a Logic. CADE 1986: 598-607
	1978
2		F. Keith Hanna, W. T. Harwood: A Multiprocessor System for Knowledge Representation and Manipulation. AISB/GI (ECAI) 1978: 132-137
	1976
1		W. T. Harwood, F. Keith Hanna: A Distributed Activity Processing System for AI. AISB (ECAI) 1976: 130-136

Coauthor Index

1	Neil Daeche	[3] [4] [5] [6] [7] [9]
2	Alan Dent	[8]
3	W. T. Harwood	[1] [2]
4	W. Gareth J. Howells (Gareth Howells)	[6]
5	Mark Longley	[4] [5]

Colors in the list of coauthors