Concepedia

Author

Christopher Unkel

Stanford University

Also Known As

Christopher Unkel, Unkel, Christopher

4

Publications

226

Citations

3

H-Index

17

Concepts

All Affiliations

Stanford University
CU

About

Christopher Unkel is an author at Stanford University specializing in engineering, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

221

2

Computer Science

2

2

221

3

Software Analysis

2

2

221

4

Computer Engineering

1

1

180

5

Compilers

1

1

180

Christopher Unkel

×

2

Publications

221

Citations

2

H-Index

YearCitations

Page 1