Concepedia

Author

Alexander Konrad

Also Known As

Alexander Konrad

4

Publications

46

Citations

3

H-Index

11

Concepts

All Affiliations

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