Concepedia

F.K. Hanna

FH

6

Publications

206

Citations

6

H-Index

1984

Active since

Affiliations

University of Kent(Current)

F.K. Hanna is an author at University of Kent specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationVerificationFormal SpecificationSystem SoftwareProgram AnalysisSoftware Analysis

Publications per year

1984–1992

6

Publications

6

am: A case study in AI methodology

Graéme Ritchie, F.K. Hanna · Artificial Intelligence · 1984 · 106 citations

Artificial Intelligence, Engineering, Ai Methodology +5

Specification and verification of digital systems using higher-order predicate logic

F.K. Hanna, Neil Daeche · 1986 · 34 citations

Formal Specification, Engineering, Formal Modeling +15

Specification and verification using dependent types

F.K. Hanna, Neil Daeche, Mark Longley · IEEE Transactions on Software Engineering · 1990 · 23 citations

Engineering, Type Theory, Verification +19

Specification and verification of digital systems using higher-order predicate logic

F.K. Hanna, Neil Daeche · IEE Proceedings E Computers and Digital Techniques · 1986 · 18 citations

Formal Specification, Engineering, Formal Modeling +15

Dependent types and formal synthesis

F.K. Hanna, Neil Daeche · Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences · 1992 · 14 citations

Rows per page

1–5 of 6