Concepedia

Author

Alexander Konrad

University of Freiburg

Also Known As

Alexander Konrad

4

Publications

46

Citations

3

H-Index

11

Concepts

All Affiliations

University of FreiburgJohannes Kepler University of LinzUniversity of Bremen
AK

About

Alexander Konrad is an author at University of Freiburg specializing in formal verification, computational complexity, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

32

2

Computer Engineering

2

2

32

3

Computer Science

2

2

32

4

Automated Reasoning

2

2

32

5

Computational Complexity

2

2

32

Alexander Konrad

×

3

Publications

43

Citations

3

H-Index

YearCitations

Page 1