Concepedia

Author

Neil Daeche

University of Kent

Also Known As

Daeche, Neil, N Daeche, N. Daeche, Neil Daeche

14

Publications

240

Citations

9

H-Index

19

Concepts

All Affiliations

University of Kent
ND

About

Neil Daeche is an author at University of Kent specializing in automated reasoning, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

193

2

Computer Science

6

6

182

3

Systems Engineering

3

3

92

4

Computer Engineering

2

2

52

5

Compilers

1

1

23

Neil Daeche

×

9

Publications

217

Citations

9

H-Index

YearCitations

Page 1