Concepedia

Author

Christian Eisentraut

Also Known As

Christian Eisentraut, Eisentraut, Christian Georg, Eisentraut, Julia, Julia Eisentraut

18

Publications

383

Citations

7

H-Index

7

Concepts

All Affiliations

CE

About

Christian Eisentraut is an author at Technical University of Denmark specializing in automated reasoning, formal verification, and probability theory.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

170

2

Computer Science

1

1

170

3

Systems Engineering

1

1

170

4

Probability Theory

1

1

170

5

Automated Reasoning

1

1

170

Christian Eisentraut

×

1

Publications

170

Citations

1

H-Index

YearCitations

Page 1