Concepedia

Author

Daniel Plagge

Also Known As

Daniel Plagge

15

Publications

360

Citations

11

H-Index

15

Concepts

All Affiliations

DP

About

Daniel Plagge is an author at Heinrich Heine University Düsseldorf specializing in automated reasoning, formal methods, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

70

2

Computer Science

2

2

70

3

Systems Engineering

1

1

44

4

Design

1

1

26

5

Software Analysis

1

1

44

Daniel Plagge

×

3

Publications

126

Citations

3

H-Index

YearCitations

Page 1