Concepedia

Neil Daeche

ND

Statistics

Publications

9

Citations

218

H-Index

9

Active since

1985

Affiliations

University of Kent(Current)

Neil Daeche is an author at University of Kent specializing in computer science, formal methods, and computing.

Publications per year

1985–1992

9

Publications

9

Formal Synthesis of Digital Systems

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

Engineering, Computer Engineering, Computer Science +14

Specification and Verification using Higher-Order Logic

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

Computing, Computer Science, Formal Methods +11

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

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

Computing, Computer Engineering, Computer Science +11

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

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

Computing, Computer Science, Formal Methods +11

Specification and verification using dependent types

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

Computing, Computer Science, Formal Methods +16

1–5 of 9