Rupert Hölzl

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 20

Top Topics

Intrinsic Complexity

Pattern Languages

Hypothesis Spaces

Top Venues

Ann. Pure Appl. Log.

Publications

Rupert Hölzl, Philip Janicki, Wolfgang Merkle, Frank Stephan
Randomness Versus Superspeedability. MFCS (2024)
Rupert Hölzl, Christopher P. Porter
Degrees of Randomized Computability. Bull. Symb. Log. 28 (1) (2022)
Rupert Hölzl, Wolfgang Merkle, Joseph S. Miller, Frank Stephan, Liang Yu
Chaitin's ω as a continuous function. J. Symb. Log. 85 (1) (2020)
Rupert Hölzl, Christopher P. Porter
Degrees of Randomized Computability. CoRR (2019)
Rupert Hölzl, Christopher P. Porter
Rank and Randomness. J. Symb. Log. 84 (4) (2019)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Learning pattern languages over groups. Theor. Comput. Sci. 742 (2018)
Vasco Brattka, Rupert Hölzl, Rutger Kuyper
Monte Carlo Computability. STACS (2017)
Rupert Hölzl, Sanjay Jain, Philipp Schlicht, Karen Seidel, Frank Stephan
Automatic Learning from Repetitive Texts. ALT (2017)
Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer
Randomness and Semimeasures. Notre Dame J. Formal Log. 58 (3) (2017)
Vasco Brattka, Guido Gherardi, Rupert Hölzl, Arno Pauly
The Vitali Covering Theorem in the Weihrauch Lattice. Computability and Complexity (2017)
Rupert Hölzl, Christopher P. Porter
Randomness for computable measures and initial segment complexity. Ann. Pure Appl. Log. 168 (4) (2017)
Rupert Hölzl, Dilip Raghavan, Frank Stephan, Jing Zhang
Weakly Represented Families in Reverse Mathematics. Computability and Complexity (2017)
Vasco Brattka, Guido Gherardi, Rupert Hölzl, Arno Pauly
The Vitali Covering Theorem in the Weihrauch Lattice. CoRR (2016)
Rupert Hölzl, Frank Stephan, Liang Yu
On Martin's pointed tree theorem. Comput. 5 (2) (2016)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Inductive inference and reverse mathematics. Ann. Pure Appl. Log. 167 (12) (2016)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Learning Pattern Languages over Groups. ALT (2016)
Rupert Hölzl, Sanjay Jain, Frank Stephan
Inductive Inference and Reverse Mathematics. STACS (2015)
Vasco Brattka, Guido Gherardi, Rupert Hölzl
Las Vegas Computability and Algorithmic Randomness. STACS (2015)
Rupert Hölzl, Paul Shafer
Universality, optimality, and randomness deficiency. Ann. Pure Appl. Log. 166 (10) (2015)
Vasco Brattka, Guido Gherardi, Rupert Hölzl
Probabilistic computability and choice. Inf. Comput. 242 (2015)
Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
Initial segment complexities of randomness notions. Inf. Comput. 234 (2014)
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies
Denjoy, Demuth and density. J. Math. Log. 14 (1) (2014)
Vasco Brattka, Rupert Hölzl, Guido Gherardi
Probabilistic Computability and Choice. CoRR (2013)
George Barmpalias, Rupert Hölzl, Andrew E. M. Lewis, Wolfgang Merkle
Analogues of Chaitin's Omega in the computably enumerable sets. Inf. Process. Lett. 113 (5-6) (2013)
Laurent Bienvenu, Adam R. Day, Rupert Hölzl
From bi-immunity to absolute undecidability. J. Symb. Log. 78 (4) (2013)
Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
Time-Bounded Kolmogorov Complexity and Solovay Functions. Theory Comput. Syst. 52 (1) (2013)
Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
Separations of non-monotonic randomness notions. J. Log. Comput. 22 (4) (2012)
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies
The Denjoy alternative for computable functions. STACS (2012)
Rupert Hölzl, Wolfgang Merkle
Traceable Sets. IFIP TCS (2010)
Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
Initial Segment Complexities of Randomness Notions. IFIP TCS (2010)
Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
Time-Bounded Kolmogorov Complexity and Solovay Functions. MFCS (2009)
Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
Separations of Non-monotonic Randomness Notions. CCA (2009)
Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
Separations of non-monotonic randomness notions CoRR (2009)
Rupert Hölzl, Wolfgang Merkle
Generation Complexity Versus Distinction Complexity. TAMC (2008)