Concepedia

Keith Hanna

KH

Statistics

Publications

10

Citations

276

H-Index

10

Active since

1985

Affiliations

Sarnoff Cardiovascular Research Foundation(Current)

University of Kent

Keith Hanna is an author at Sarnoff Cardiovascular Research Foundation specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsImage AnalysisMachine VisionComputer VisionAutomated ReasoningFormal VerificationVerificationSoftware Design

Publications per year

1985–2002

10

Publications

10

Hybrid stereo camera

Harpreet Sawhney, Yanlin Guo, Keith Hanna et al. · 2001 · 59 citations

Stereo Imax, Machine Vision, Image Analysis +13

Formal Synthesis of Digital Systems

Keith Hanna, Neil Daeche, Mark Longley · Kent Academic Repository (University of Kent) · 1989 · 40 citations

Engineering, Formal Modeling, Automated Reasoning +8

Specification and Verification using Higher-Order Logic

Keith Hanna, Neil Daeche · Kent Academic Repository (University of Kent) · 1985 · 36 citations

Specification Language, Formal Specification, Engineering +7

Specification and Verification using Higher-Order Logic: A Case Study

Keith Hanna, Neil Daeche · Kent Academic Repository (University of Kent) · 1986 · 31 citations

Specification Language, Formal Specification, Engineering +7

Interactive visual functional programming

Keith Hanna · 2002 · 31 citations

Engineering, Visual Programming Language, Software Engineering +16

1–5 of 10