Concepedia

Author

Ian Shipman

University of MichiganORCID

Also Known As

I. Shipman, Ian Shipman, Shipman, Ian

20

Publications

165

Citations

5

H-Index

7

Concepts

All Affiliations

University of Michigan
IS

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

35

2

Computer Science

1

1

35

3

Combinatorial Optimization

1

1

35

4

Automated Reasoning

1

1

35

5

Computational Complexity

1

1

35

Ian Shipman

×

3

Publications

135

Citations

3

H-Index

YearCitations

Page 1