Rupert Hölzl

37 papers A 4B 4C 2Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
The computational content of multidimensional discontinuity.
Ann. Pure Appl. Log.
Rupert Hölzl, Keng Meng Ng
2025 J jnl
Computable classifications of continuous, transducer, and regular functions.
Theor. Comput. Sci.
Johanna N. Y. Franklin, Rupert Hölzl, Alexander G. Melnikov, Keng Meng Ng, Daniel Turetsky
2025 J jnl
Regainingly Approximable numbers and Sets.
J. Symb. Log.
Peter Hertling, Rupert Hölzl, Philip Janicki
2024 B conf
Randomness Versus Superspeedability.
MFCS
Rupert Hölzl, Philip Janicki, Wolfgang Merkle, Frank Stephan
2022 J jnl
Degrees of Randomized Computability.
Bull. Symb. Log.
Rupert Hölzl, Christopher P. Porter
2020 J jnl
Chaitin's ω as a continuous function.
J. Symb. Log.
Rupert Hölzl, Wolfgang Merkle, Joseph S. Miller, Frank Stephan, Liang Yu
2019 J jnl
Degrees of Randomized Computability.
CoRR
Rupert Hölzl, Christopher P. Porter
2019 J jnl
Rank and Randomness.
J. Symb. Log.
Rupert Hölzl, Christopher P. Porter
2018 J jnl
Learning pattern languages over groups.
Theor. Comput. Sci.
Rupert Hölzl, Sanjay Jain, Frank Stephan
2017 B conf
Automatic Learning from Repetitive Texts.
ALT
Rupert Hölzl, Sanjay Jain, Philipp Schlicht, Karen Seidel, Frank Stephan
2017 A conf
Monte Carlo Computability.
STACS
Vasco Brattka, Rupert Hölzl, Rutger Kuyper
2017 J jnl
Randomness and Semimeasures.
Notre Dame J. Formal Log.
Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer
2017 J jnl
Randomness for computable measures and initial segment complexity.
Ann. Pure Appl. Log.
Rupert Hölzl, Christopher P. Porter
2017 — conf
The Vitali Covering Theorem in the Weihrauch Lattice.
Computability and Complexity
Vasco Brattka, Guido Gherardi, Rupert Hölzl, Arno Pauly
2017 — conf
Weakly Represented Families in Reverse Mathematics.
Computability and Complexity
Rupert Hölzl, Dilip Raghavan, Frank Stephan, Jing Zhang
2016 J jnl
Inductive inference and reverse mathematics.
Ann. Pure Appl. Log.
Rupert Hölzl, Sanjay Jain, Frank Stephan
2016 B conf
Learning Pattern Languages over Groups.
ALT
Rupert Hölzl, Sanjay Jain, Frank Stephan
2016 J jnl
On Martin's pointed tree theorem.
Comput.
Rupert Hölzl, Frank Stephan, Liang Yu
2016 J jnl
The Vitali Covering Theorem in the Weihrauch Lattice.
CoRR
Vasco Brattka, Guido Gherardi, Rupert Hölzl, Arno Pauly
2015 A conf
Inductive Inference and Reverse Mathematics.
STACS
Rupert Hölzl, Sanjay Jain, Frank Stephan
2015 A conf
Las Vegas Computability and Algorithmic Randomness.
STACS
Vasco Brattka, Guido Gherardi, Rupert Hölzl
2015 J jnl
Probabilistic computability and choice.
Inf. Comput.
Vasco Brattka, Guido Gherardi, Rupert Hölzl
2015 J jnl
Universality, optimality, and randomness deficiency.
Ann. Pure Appl. Log.
Rupert Hölzl, Paul Shafer
2014 J jnl
Denjoy, Demuth and density.
J. Math. Log.
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies
2014 J jnl
Initial segment complexities of randomness notions.
Inf. Comput.
Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
2013 J jnl
Analogues of Chaitin's Omega in the computably enumerable sets.
Inf. Process. Lett.
George Barmpalias, Rupert Hölzl, Andrew E. M. Lewis, Wolfgang Merkle
2013 J jnl
From bi-immunity to absolute undecidability.
J. Symb. Log.
Laurent Bienvenu, Adam R. Day, Rupert Hölzl
2013 J jnl
Probabilistic Computability and Choice.
CoRR
Vasco Brattka, Rupert Hölzl, Guido Gherardi
2013 J jnl
Time-Bounded Kolmogorov Complexity and Solovay Functions.
Theory Comput. Syst.
Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
2012 J jnl
Separations of non-monotonic randomness notions.
J. Log. Comput.
Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
2012 A conf
The Denjoy alternative for computable functions.
STACS
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies
2010 — conf
Initial Segment Complexities of Randomness Notions.
IFIP TCS
Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
2010 — conf
Traceable Sets.
IFIP TCS
Rupert Hölzl, Wolfgang Merkle
2009 C conf
Separations of Non-monotonic Randomness Notions.
CCA
Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
2009 J jnl
Separations of non-monotonic randomness notions
CoRR
Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
2009 B conf
Time-Bounded Kolmogorov Complexity and Solovay Functions.
MFCS
Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle
2008 C conf
Generation Complexity Versus Distinction Complexity.
TAMC
Rupert Hölzl, Wolfgang Merkle