Concepedia

Author

Jan Hoffmann

Carnegie Mellon UniversityORCID

Also Known As

Hoffman, Jan, Hoffmann, Jan, JAN HOFFMANN, Jan Hoffmann

89

Publications

1.7K

Citations

22

H-Index

65

Concepts

All Affiliations

Carnegie Mellon UniversityYale UniversityMax Planck Institute for Software SystemsLudwig-Maximilians-Universität MünchenIMDEA Software Institute
JH

About

Jan Hoffmann is an author at Carnegie Mellon University specializing in formal methods, software analysis, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

18

27

1.1K

2

Computer Science

18

27

1.1K

3

Computer Engineering

12

12

453

4

Business

8

8

468

5

Business Analytics

5

5

397

Jan Hoffmann

×

28

Publications

1.2K

Citations

18

H-Index

YearCitations

Page 1