Rod Downey

68 papers A 1C 5Journal 49Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
The geometry of computable Banach spaces.
Inf. Comput.
Rod Downey, Noam Greenberg, Long Qian, Ruofei Xie
2024 — book
Computability and Complexity - Foundations and Tools for Pursuing Scientific Applications
Rod Downey
2024 J jnl
Lowness properties for strong reducibilities and the computational power of maximal sets.
Comput.
Klaus Ambos-Spies, Rod Downey, Martin Monath
2024 J jnl
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES.
J. Symb. Log.
Barbara F. Csima, Rod Downey, Keng Meng Ng
2024 C conf
Some Open Questions and Recent Results on Computable Banach Spaces.
CiE
Rod Downey, Noam Greenberg, Long Qian
2023 J jnl
Online, computable and punctual structure theory.
Log. J. IGPL
Matthew Askes, Rod Downey
2022 J jnl
A Minimal Set Low for Speed.
J. Symb. Log.
Rod Downey, Matthew Harrison-Trainor
2022 J jnl
Relationships between Computability-Theoretic Properties of Problems.
J. Symb. Log.
Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky
2021 J jnl
Foundations of Online Structure Theory II: The Operator Approach.
Log. Methods Comput. Sci.
Rod Downey, Alexander G. Melnikov, Keng Meng Ng
2021 J jnl
Maximality and collapse in the hierarchy of
Comput.
Katherine Arthur, Rod Downey, Noam Greenberg
2020 J jnl
On low for speed oracles.
J. Comput. Syst. Sci.
Laurent Bienvenu, Rod Downey
2020 J jnl
Punctual Categoricity and Universality.
J. Symb. Log.
Rod Downey, Noam Greenberg, Alexander G. Melnikov, Keng Meng Ng, Daniel Turetsky
2019 J jnl
Algorithmic randomness.
Commun. ACM
Rod Downey, Denis R. Hirschfeldt
2019 J jnl
Categorical linearly ordered structures.
Ann. Pure Appl. Log.
Rod Downey, Alexander G. Melnikov, Keng Meng Ng
2019 J jnl
Foundations of Online Structure Theory.
Bull. Symb. Log.
Nikolay Bazhenov, Rod Downey, Iskander Sh. Kalimullin, Alexander G. Melnikov
2019 J jnl
Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018.
Comput.
Vasco Brattka, Rod Downey, Julia F. Knight, Steffen Lempp
2019 J jnl
Splitting theorems and low degrees.
Comput.
Ellen Chih, Rod Downey
2018 J jnl
A Hierarchy of computably Enumerable Degrees.
Bull. Symb. Log.
Rod Downey, Noam Greenberg
2018 J jnl
Avoiding Effective Packing Dimension 1 below array Noncomputable C.E. Degrees.
J. Symb. Log.
Rod Downey, Jonathan Stephenson
2018 J jnl
Preface.
Theory Comput. Syst.
Rod Downey, Denis R. Hirschfeldt, Bjørn Kjos-Hanssen
2018 J jnl
Splitting into degrees with low computational strength.
Ann. Pure Appl. Log.
Rod Downey, Keng Meng Ng
2017 J jnl
Lowness and logical depth.
Theor. Comput. Sci.
Rod Downey, Michael McInerney, Keng Meng Ng
2017 J jnl
On low for speed oracles.
CoRR
Laurent Bienvenu, Rod Downey
2017 — ch.
Turing and randomness.
The Turing Guide
Rod Downey
2015 J jnl
Asymptotic density and the Ershov hierarchy.
Math. Log. Q.
Rod Downey, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp
2015 J jnl
On -categoricity of equivalence relations.
Ann. Pure Appl. Log.
Rod Downey, Alexander G. Melnikov, Keng Meng Ng
2014 J jnl
Characterizing Lowness for Demuth Randomness.
J. Symb. Log.
Laurent Bienvenu, Rod Downey, Noam Greenberg, André Nies, Daniel Turetsky
2014 — ch.
Computability theory, algorithmic randomness and Turing's anticipation.
Turing's Legacy
Rod Downey
2014 — book
Turing's Legacy: Developments from Turing's Ideas in Logic
Rod Downey
2013 J jnl
Computability, Complexity and Randomness.
Theory Comput. Syst.
Rod Downey
2012 — conf
A Basic Parameterized Complexity Primer.
The Multivariate Algorithmic Revolution and Beyond
Rod Downey
2012 C conf
A Parameterized Complexity Tutorial.
LATA
Rod Downey
2012 — conf
Bounded Randomness.
Computation, Physics and Beyond
Paul Brodhead, Rod Downey, Keng Meng Ng
2012 J jnl
Lowness for bounded randomness.
Theor. Comput. Sci.
Rod Downey, Keng Meng Ng
2012 C conf
Randomness, Computation and Mathematics.
CiE
Rod Downey
2012 — conf
The Birth and Early Years of Parameterized Complexity.
The Multivariate Algorithmic Revolution and Beyond
Rod Downey
2012 — ed.
The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
The Multivariate Algorithmic Revolution and Beyond
Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx
2011 J jnl
Jump inversions inside effectively closed sets and applications to randomness.
J. Symb. Log.
George Barmpalias, Rod Downey, Keng Meng Ng
2011 J jnl
Limits on jump inversion for strong reducibilities.
J. Symb. Log.
Barbara F. Csima, Rod Downey, Keng Meng Ng
2010 J jnl
Effective Packing Dimension and Traceability.
Notre Dame J. Formal Log.
Rod Downey, Keng Meng Ng
2010 J jnl
On the Complexity of the Successivity Relation in Computable linear Orderings.
J. Math. Log.
Rod Downey, Steffen Lempp, Guohua Wu
2009 J jnl
Kolmogorov Complexity and Solovay Functions
CoRR
Laurent Bienvenu, Rod Downey
2009 A conf
Kolmogorov Complexity and Solovay Functions.
STACS
Laurent Bienvenu, Rod Downey
2009 C conf
Lowness for Demuth Randomness.
CiE
Rod Downey, Keng Meng Ng
2009 — ed.
Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009
CATS
Rod Downey, Prabhu Manyem
2008 — ed.
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007
Algorithmic-Logical Theory of Infinite Structures
Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
2008 J jnl
The upward closure of a perfect thin class.
Ann. Pure Appl. Log.
Rod Downey, Noam Greenberg, Joseph S. Miller
2008 J jnl
Turing degrees of reals of positive effective packing dimension.
Inf. Process. Lett.
Rod Downey, Noam Greenberg
2007 — conf
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures.
Algorithmic-Logical Theory of Infinite Structures
Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
2007 — conf
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.
Algorithmic-Logical Theory of Infinite Structures
Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi
2007 J jnl
Bounded fixed-parameter tractability and reducibility.
Ann. Pure Appl. Log.
Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer
2007 J jnl
Foreword.
Theory Comput. Syst.
Rod Downey
2007 J jnl
Totally ω-computably Enumerable Degrees and Bounding Critical Triples.
J. Math. Log.
Rod Downey, Noam Greenberg, Rebecca Weber
2006 J jnl
Arithmetical Sacks Forcing.
Arch. Math. Log.
Rod Downey, Liang Yu
2006 J jnl
Editorial.
Theor. Comput. Sci.
Rod Downey, Michael A. Langston, Rolf Niedermeier
2006 J jnl
Every 1-generic computes a properly 1-generic.
J. Symb. Log.
Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller
2006 J jnl
Lowness and Π
J. Symb. Log.
Rod Downey, André Nies, Rebecca Weber, Liang Yu
2006 C conf
Totally < ω
TAMC
Rod Downey, Noam Greenberg
2005 J jnl
Relativizing Chaitin's Halting Probability.
J. Math. Log.
Rod Downey, Denis R. Hirschfeldt, Joseph S. Miller, André Nies
2004 J jnl
Complementing cappable degrees in the difference hierarchy.
Ann. Pure Appl. Log.
Rod Downey, Angsheng Li, Guohua Wu
2004 J jnl
Degrees of d. c. e. reals.
Math. Log. Q.
Rod Downey, Guohua Wu, Xizhong Zheng
2004 J jnl
On Schnorr and computable randomness, martingales, and machines.
Math. Log. Q.
Rod Downey, Evan J. Griffiths, Geoffrey LaForte
2004 J jnl
There Are No Maximal Low D.C.E. Degrees.
Notre Dame J. Formal Log.
Rod Downey, Liang Yu
1995 — conf
Intervals Without Critical Triples.
Logic Colloquium
Peter Cholak, Rod Downey, Richard A. Shore
1991 J jnl
Jumps of Hemimaximal Sets.
Math. Log. Q.
Rod Downey, Mike Stob
1989 J jnl
A Contiguous Nonbranching Degree.
Math. Log. Q.
Rod Downey
1984 J jnl
Some Remarks on a Theorem of Iraj Kalantari Concerning convexity and Recursion Theory.
Math. Log. Q.
Rod Downey
1983 J jnl
On a Question of a. Retzlaff.
Math. Log. Q.
Rod Downey