Concepedia

Author

Duncan L. Clarke

University of Kentucky

Also Known As

Choi, Lyong, D. Clarke, D. L. Clarke, Duncan Clarke, Duncan L. Clarke

70

Publications

952

Citations

16

H-Index

58

Concepts

All Affiliations

University of KentuckyUniversity of Pennsylvania
DL

About

Duncan L. Clarke is an author at University of Kentucky specializing in formal methods, program analysis, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

249

2

Social Sciences

4

4

241

3

Business

2

2

35

4

Medicine

2

2

234

5

Health Sciences

1

1

13

Duncan L. Clarke

×

16

Publications

680

Citations

13

H-Index

YearCitations

Page 1