Follow
Rupert Hölzl
Rupert Hölzl
Universität der Bundeswehr München
Verified email at hoelzl.fr - Homepage
Title
Cited by
Cited by
Year
Probabilistic computability and choice
V Brattka, G Gherardi, R Hölzl
Information and Computation 242, 249-286, 2015
662015
Denjoy, Demuth and density
L Bienvenu, R Hölzl, JS Miller, A Nies
Journal of Mathematical Logic 14 (01), 1450004, 2014
302014
Time-bounded Kolmogorov complexity and Solovay functions
R Hölzl, T Kräling, W Merkle
Mathematical Foundations of Computer Science 2009, 392-402, 2009
252009
From bi-immunity to absolute undecidability
L Bienvenu, AR Day, R Hölzl
The Journal of Symbolic Logic 78 (4), 1218-1228, 2009
192009
Monte Carlo Computability
V Brattka, R Hölzl, R Kuyper
34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), 2017
172017
The Denjoy alternative for computable functions
L Bienvenu, R Hölzl, J Miller, A Nies
172011
Randomness and semimeasures
L Bienvenu, R Hölzl, CP Porter, P Shafer
142017
Separations of non-monotonic randomness notions
L Bienvenu, R Hölzl, T Kräling, W Merkle
Journal of Logic and Computation 22 (4), 701-715, 2010
142010
Separations of non-monotonic randomness notions
L Bienvenu, R Hölzl, T Kraling, W Merkle
Arxiv preprint arXiv:0907.2324, 2009
142009
The Vitali covering theorem in the Weihrauch lattice
V Brattka, G Gherardi, R Hölzl, A Pauly
Computability and Complexity: Essays Dedicated to Rodney G. Downey on the …, 2016
112016
Las Vegas computability and algorithmic randomness
V Brattka, G Gherardi, R Hölzl
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
112015
Analogues of Chaitinʼs Omega in the computably enumerable sets
G Barmpalias, R Hölzl, AEM Lewis, W Merkle
Information Processing Letters 113 (5-6), 171-178, 2013
102013
Traceable sets
R Hölzl, W Merkle
Theoretical Computer Science, 301-315, 2010
82010
Borel choice
V Brattka, G Gherardi, R Hölzl, H Nobrega, A Pauly
preparation, 0
8
Time-bounded Kolmogorov complexity and Solovay functions
R Hölzl, T Kräling, W Merkle
Theory of Computing Systems 52, 80-94, 2013
72013
Learning pattern languages over groups
R Hölzl, S Jain, F Stephan
Theoretical Computer Science 742, 66-81, 2018
62018
Randomness for computable measures and initial segment complexity
R Hölzl, CP Porter
Annals of Pure and Applied Logic 168 (4), 860-886, 2017
62017
Universality, optimality, and randomness deficiency
R Hölzl, P Shafer
arXiv preprint arXiv:1409.8589, 2014
62014
Probabilistic Computability and Choice. arXiv 1312.7305
V Brattka, G Gherardi, R Hölzl
62013
Inductive inference and reverse mathematics
R Hölzl, S Jain, F Stephan
Annals of Pure and Applied Logic 167 (12), 1242-1266, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20