Concepedia

Author

Dexter Kozen

Cornell UniversityORCID

Also Known As

D Kozen, D. Kozen, D.C. Kozen, DEXTER KOZEN, Dexter C. Kozen, Dexter KOZEN, Dexter Kozen, Fritz Henglein, Henglein, Fritz, Kozen, D.

454

Publications

15.6K

Citations

49

H-Index

104

Concepts

All Affiliations

Cornell UniversityIBM Research - Thomas J. Watson Research CenterIBM (United States)Aarhus UniversityUniversity of California, Berkeley
DK

About

Dexter Kozen is an author at Cornell University specializing in engineering, computer science, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

36

71

7.3K

2

Education

4

4

263

3

Language Studies

4

4

697

4

Medicine

1

1

55

5

Cell Biology

1

1

55

Dexter Kozen

×

99

Publications

10.1K

Citations

42

H-Index

YearCitations

Page 1