Concepedia

Author

Dirk Leinenbach

Saarland University

Also Known As

D. Leinenbach, Dirk C. Leinenbach, Dirk Leinenbach, Leinenbach, Dirk Carsten

17

Publications

1.3K

Citations

12

H-Index

30

Concepts

All Affiliations

Saarland UniversityGerman Research Centre for Artificial Intelligence
DL

About

Dirk Leinenbach is an author at Saarland University specializing in engineering, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

305

2

Computer Engineering

4

4

164

3

Humanities

1

1

90

4

Language Studies

1

1

90

5

Comparative Literature

1

1

90

Dirk Leinenbach

×

6

Publications

305

Citations

6

H-Index

YearCitations

Page 1