Get started
Author

Keith J. Hanna

Hierarchical model-based motion estimation
1992 · James R. Bergen, P. Anandan, et al. · Lecture notes in computer science · 1,183
Iris Recognition at a Distance
2005 · Craig Fancourt, Luca Bogoni, et al. · Lecture notes in computer science · 124
Hybrid stereo camera: an IBR approach for synthesis of very high resolution stereoscopic image sequences
2001 · Harpreet S. Sawhney, Yanlin Guo, et al. · ACM SIGGRAPH Conference (SIGGRAPH) · 58
Formal Synthesis of Digital Systems
1989 · Keith Hanna, Neil Daeche, et al. · Kent Academic Repository (University of Kent) · 40
Specification and Verification using Higher-Order Logic
1985 · Keith Hanna, Neil Daeche · Kent Academic Repository (University of Kent) · 34
Interactive visual functional programming
2002 · Keith Hanna · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 33
Specification and Verification using Higher-Order Logic: A Case Study
1986 · Keith Hanna, Neil Daeche · Kent Academic Repository (University of Kent) · 31
Application of 3D registration for detecting lesions in magnetic resonance breast scans
1996 · Rakesh Kumar, J. Charles Asmuth, et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 27
Reasoning about real circuits
1994 · Keith Hanna · Lecture notes in computer science · 19
A System for Non-Intrusive Human Iris Acquisition and Identification.
1996 · Keith Hanna, Robert Mandelbaum, et al. · 17
Reasoning About Analog-Level Implementations of Digital Systems
2000 · Keith Hanna · Formal Methods in System Design · 14
Automatic Verification of Mixed-Level Logic Circuits
1998 · Keith Hanna · Lecture notes in computer science · 12
Identifying targets under trees: jigsaw 3D ladar test results
2003 · David Ludwig, Albert Kongable, et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 9
Electronic front-end processor for active vision
1992 · Peter J. Burt, P. Anandan, et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 9
Implementation of the Veritas Design Logic
1992 · Keith Hanna, Neil Daeche, et al. · 9
Critical infrastructure security confidence through automated thermal imaging
2006 · Glen Francisco, Sharon Roberts, et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 7
A Document-Centered Environment for Haskell
2006 · Keith Hanna · Lecture notes in computer science · 7
Detecting lesions in magnetic resonance breast scans
1996 · Rakesh Kumar, Keith Hanna, et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 7
Utilization of integrated CAD/CAE computational fluid dynamic tools in the golf driver design process
2012 · Erik Henrikson, Paul Wood, et al. · Procedia Engineering · 6
Strongly-typed theory of structures and behaviours
2005 · Keith Hanna, Neil Daeche · Springer eBooks · 6
PDF
Mastering Microsoft Lync Server 2010
2012 · Nathan Winters, Keith Hanna · 5
Signal processing, image registration, and visualization of FLASH lidar data
2003 · Asher Gelbart, Shannon Bybee-Driscoll, et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 5
Annotation of Video by Alignment to Reference Imagery
2000 · Keith J. Hanna, Harpreet S. Sawhney, et al. · Lecture notes in computer science · 5
Reasoning About Array Structures Using a Dependently Typed Logic
1993 · Alan Dent, Keith Hanna · Elsevier eBooks · 5
Integrated homeland security system with passive thermal imaging and advanced video analytics
2007 · Glen Francisco, Jennifer Tillman, et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 4
Works count: 39
Citation count: 1,694
H-index: 12
I10-index: 12
Year
Topic
Type