Concepedia

Author

Jacob Thamsborg

Also Known As

JACOB THAMSBORG, Jacob Thamsborg, Thamsborg, Jacob

16

Publications

374

Citations

10

H-Index

23

Concepts

All Affiliations

JT

About

Jacob Thamsborg is an author at IT University of Copenhagen specializing in automated reasoning, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

255

2

Computer Science

7

7

245

3

Computer Engineering

1

1

75

4

Data Science

1

1

75

5

Computer Architecture

1

1

75

Jacob Thamsborg

×

10

Publications

325

Citations

10

H-Index

YearCitations

Page 1