Keith Hanna

F. Keith Hanna

2005
16	EE	Keith Hanna: A Document-Centered Environment for Haskell. IFL 2005: 196-211
2002
15	EE	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	EE	F. Keith Hanna: Automatic Verification of Mixed-Level Logic Circuits. FMCAD 1998: 133-166
11	EE	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	EE	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	Gareth Howells	[6]
5	Mark Longley	[4] [5]

Colors in the list of coauthors