Concepedia

Author

Daniel Klink

Also Known As

Daniel Klink

7

Publications

213

Citations

6

H-Index

8

Concepts

All Affiliations

DK

About

Daniel Klink is an author at RWTH Aachen University specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

57

2

Computer Science

2

2

57

3

Automated Reasoning

2

2

57

4

Combinatorial Optimization

1

1

12

5

Probability Theory

1

1

45

Daniel Klink

×

2

Publications

57

Citations

2

H-Index

YearCitations

Page 1