Concepedia

Author

Tim Carlson

University of Minnesota

Also Known As

T. Carlson, Tim Carlson, Tim W. Carlson

9

Publications

72

Citations

5

H-Index

10

Concepts

All Affiliations

University of Minnesota
TC

About

Tim Carlson is an author at University of Minnesota specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Medicine

1

1

15

3

Immunology

1

1

15

4

Microbiology

1

1

15

5

Pathogenesis

1

1

15

Tim Carlson

×

4

Publications

54

Citations

4

H-Index

YearCitations

Page 1