Concepedia

Author

Jesse Whittemore

University of Michigan

Also Known As

J. P. Whittemore, J. Whittemore, Jesse Whittemore

7

Publications

284

Citations

4

H-Index

17

Concepts

All Affiliations

University of Michigan
JW

About

Jesse Whittemore is an author at University of Michigan specializing in formal verification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

209

2

Computer Engineering

2

2

209

3

Computer Science

2

2

209

4

Combinatorial Optimization

1

1

180

5

Software Analysis

1

1

29

Jesse Whittemore

×

2

Publications

209

Citations

2

H-Index

YearCitations

Page 1