F.K. Hanna - Concepedia

Author

F.K. Hanna

Also Known As

F K Hanna, F. K. HANNA, F. K. Hanna, F.K. Hanna, FK Hanna

Publications

273

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	192
2	Computer Science	4	4	181
3	Computer Engineering	2	2	52
4	Systems Engineering	2	2	52
5	Artificial Intelligence	1	1	106

F.K. Hanna

Publications

206

Citations

H-Index

Page 1

	Year	Citations
am: A case study in AI methodology Graéme Ritchie, F.K. Hanna Artificial Intelligence Artificial IntelligenceEngineeringAi MethodologyResponsible AiAutomated Reasoning	1984	106
Specification and verification of digital systems using higher-order predicate logic F.K. Hanna, Neil Daeche Formal SpecificationEngineeringFormal ModelingAutomated ReasoningVerification	1986	34
Specification and verification using dependent types F.K. Hanna, Neil Daeche, Mark Longley IEEE Transactions on Software Engineering EngineeringType TheoryVerificationHigher-order LogicSoftware Analysis	1990	23
Specification and verification of digital systems using higher-order predicate logic F.K. Hanna, Neil Daeche IEE Proceedings E Computers and Digital Techniques Formal SpecificationEngineeringFormal ModelingAutomated ReasoningVerification	1986	18
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
Veritas+: A specification language based on type theory F.K. Hanna, Neil Daeche, Mark Longley Lecture notes in computer science EngineeringProgram AnalysisAutomated ReasoningType TheoryDependently Typed Programming	1990	11

Page 1