Author

F.K. Hanna

Observed names: F K Hanna, F. K. HANNA, F. K. Hanna, FK Hanna

Institution: University of Kent

Observed institutions: University of Kent, Kent and Canterbury Hospital

OpenAlex ID: A5111379731

am: A case study in AI methodology

1984 · G.D. Ritchie, F.K. Hanna · Artificial Intelligence · 105

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

1986 · F.K. Hanna, N. Daeche · IEE Proceedings E Computers and Digital Techniques · 38

Automata theory : an engineering approach

1975 · Igor Aleksander, F.K. Hanna · CERN Document Server (European Organization for Nuclear Research) · 24

Specification and verification using dependent types

1990 · F.K. Hanna, N. Daeche, et al. · IEEE Transactions on Software Engineering · 23

Veritas+: A specification language based on type theory

1990 · F K Hanna, N Daeche, et al. · Lecture notes in computer science · 18

Dependent types and formal synthesis

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

AM: a case study in AI methodology

1990 · F.K. Hanna, G. D. Richie · Cambridge University Press eBooks · 10

Purely functional implementation of a logic

1986 · FK Hanna, N Daeche · Lecture notes in computer science · 8

A Four-Level Hierarchical Approach to the Joint Problem of System Identification and Optimization and Its Application to a Batch Fermenter Using Microprocessors

1981 · AHMED S. FAWZY, O.R. HINTON, et al. · IEEE Transactions on Systems Man and Cybernetics · 5

AM: a case study in AI methodology

1990 · G. D. Ritchie, F. K. Hanna · Cambridge University Press eBooks · 4

Hardware realisation of binary search algorithm

1980 · F.K. Hanna, A.K. Misra · IEE Proceedings E Computers and Digital Techniques · 4

A Multiprocessor System for Knowledge Representation and Manipulation.

1978 · F.K. Hanna, Will Harwood · 4

Distributed Industrial Control Using A Network Of Microcomputers

2005 · O.R. Hinton, F.K. Hanna, et al. · IEEE Computer Society International Conference (COMPCON Spring) · 3

The use of a microprocessor in routine cardiac assessment

1979 · M. C. Fitzgerald, F. K. Hanna, et al. · Journal of Medical Engineering & Technology · 1

Applications of parallelism

1996 · F.K. Hanna, W.G.J. Howells, et al. · UCL Press Ltd. eBooks

The Veritas proof assistant

1996 · F.K. Hanna, W.G.J. Howells · UCL Press Ltd. eBooks

Review: Book Review

1994 · F. K. Hanna · The Computer Journal

Conference report. 7th international symposium on computer hardware description languages

1986 · F.K. Hanna · IEE Proceedings E Computers and Digital Techniques

Programs are Predicates: Discussion

1984 · F.K. Hanna, C. A. R. Hoare · Philosophical transactions - Royal Society. Mathematical, physical and engineering sciences

Editorial. Multiprocessors and distributed processing

1984 · F.K. Hanna, E.L. Dagless · IEE Proceedings E Computers and Digital Techniques

Editorial. Technical Notes

1984 · F.K. Hanna, E.L. Dagless · IEE Proceedings E Computers and Digital Techniques

Computing & Control Division: Divisional lecture

1984 · F.K. Hanna, E.L. Dagless · IEE Proceedings E Computers and Digital Techniques

Specification and tasking in Ada

1982 · F.K. Hanna · IEE Proceedings E Computers and Digital Techniques

Three-level hierarchical approach to the joint problem of system identification and optimisation

1982 · A.S. Fawzy, O.R. Hinton, et al. · IEE Proceedings D Control Theory and Applications

Teletext server for computer networks

1981 · F.K. Hanna, C.J. Wakeman · Software & Microsystems

Works count: 28

Citation count: 262

H-index: 8

I10-index: 7