Concepedia

Author

David Kitchin

The University of Texas at Austin

Also Known As

D. Kitchin, David Kitchin, Kitchin, David

15

Publications

500

Citations

8

H-Index

21

Concepts

All Affiliations

The University of Texas at Austin
DK

About

David Kitchin is an author at The University of Texas at Austin specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

259

2

Computer Science

2

2

259

3

Language Studies

1

1

44

4

Computer Engineering

1

1

215

5

Linguistics

1

1

44

David Kitchin

×

3

Publications

278

Citations

3

H-Index

YearCitations

Page 1