Concepedia

Author

Dominik Stoffel

University of KaiserslauternORCID

Also Known As

D. Stoffel, Dominik Stoffel, Oliveira, Daniel, Stoffel, Dominik

133

Publications

964

Citations

18

H-Index

51

Concepts

All Affiliations

University of KaiserslauternInfineon Technologies (Germany)Stanford UniversitySiemens (Germany)University of Potsdam
DS

About

Dominik Stoffel is an author at University of Kaiserslautern specializing in computer science, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

16

21

546

2

Computer Engineering

16

20

534

3

Computer Science

16

21

546

4

Systems Engineering

12

12

323

5

Compilers

1

1

12

Dominik Stoffel

×

27

Publications

628

Citations

17

H-Index

YearCitations

Page 1