![]() |
Institute for Theoretical Computer Science, Bundeswehr University Munich Werner-Heisenberg-Weg 39 85579 Neubiberg, Germany
|
|
Journals |
|
|
Book chapters |
|
R. Hölzl, D. Raghavan, F. Stephan, Zhang J.
Weakly Represented Families in Reverse Mathematics |
||
![]() |
Computability and Complexity, Lecture Notes in Computer Science, January 2017 | |
V. Brattka, G. Gherardi, R. Hölzl, A. Pauly
The Vitali Covering Theorem in the Weihrauch Lattice |
||
![]() |
Computability and Complexity, Lecture Notes in Computer Science, January 2017 | |
|
Peer‑reviewed conferences |
|
R. Hölzl, S. Jain, P. Schlicht, K. Seidel, F. Stephan
Automatic Learning from Repetitive Texts |
||
![]() |
Algorithmic Learning Theory, October 2017 | |
V. Brattka, R. Hölzl, R. Kuyper
Monte Carlo Computability |
||
![]() |
Symposium on Theoretical Aspects of Computer Science, March 2017 | |
V. Brattka, G. Gherardi, R. Hölzl
Las Vegas Computability and Algorithmic Randomness |
||
![]() |
Symposium on Theoretical Aspects of Computer Science, March 2015 | |
R. Hölzl, W. Merkle
Traceable sets |
||
![]() |
Theoretical Computer Science, September 2010 | |
R. Hölzl, W. Merkle
Generation complexity versus distinction complexity |
||
![]() |
Theory and Applications of Models of Computation, April 2008 | |
|
Submitted |
|
R. Hölzl, C. P. Porter
Degrees of randomized computability |
||
![]() |
Submitted July 2019 | |
|
Selected talks |
|
|
Selected teaching material |
|
Quantencomputer | ||
![]() |
Short lecture on quantum computing in German, December 2018 | |
|
Other |
|
Article reviews | ||
![]() |
MathSciNet Mathematical Reviews | |
![]() |
Zentralblatt MATH | |
Kolmogorov complexity | ||
![]() |
Doctoral dissertation, December 2010 | |
Maß in Polynomialzeit | ||
![]() |
Diploma thesis in German, October 2006 |
Member of the programme committees of Computability and Complexity in Analysis 2018 and of Computability, Complexity and Randomness 2015 and 2017.
Several IT and programming jobs.
Fluent in German, English, French.
Hobbies include photography, mountaineering, and scuba diving.