Concepedia

Author

Dominik Stoffel

Also Known As

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

133

Publications

964

Citations

18

H-Index

51

Concepts

All Affiliations

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