Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rodney G. Downey
@article{DBLP:journals/bsl/DowneyM23,
author = {Rodney G. Downey and
Alexander G. Melnikov},
title = {Computably Compact Metric Spaces},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {170--263},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.16},
doi = {10.1017/BSL.2023.16},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DowneyM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AskesD23,
author = {Matthew Askes and
Rod Downey},
title = {Online, computable and punctual structure theory},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1251--1293},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac065},
doi = {10.1093/JIGPAL/JZAC065},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AskesD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyGHPT22,
author = {Rod Downey and
Noam Greenberg and
Matthew Harrison{-}Trainor and
Ludovic Patey and
Dan Turetsky},
title = {Relationships between Computability-Theoretic Properties of Problems},
journal = {J. Symb. Log.},
volume = {87},
number = {1},
pages = {47--71},
year = {2022},
url = {https://doi.org/10.1017/jsl.2020.38},
doi = {10.1017/JSL.2020.38},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyGHPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyH22,
author = {Rod Downey and
Matthew Harrison{-}Trainor},
title = {A Minimal Set Low for Speed},
journal = {J. Symb. Log.},
volume = {87},
number = {4},
pages = {1693--1728},
year = {2022},
url = {https://doi.org/10.1017/jsl.2021.108},
doi = {10.1017/JSL.2021.108},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/ArthurDG21,
author = {Katherine Arthur and
Rod Downey and
Noam Greenberg},
title = {Maximality and collapse in the hierarchy of \emph{{\(\alpha\)}}-c.a.
degrees},
journal = {Comput.},
volume = {10},
number = {3},
pages = {181--214},
year = {2021},
url = {https://doi.org/10.3233/COM-200297},
doi = {10.3233/COM-200297},
timestamp = {Mon, 26 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/ArthurDG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ambos-SpiesDM21,
author = {Klaus Ambos{-}Spies and
Rodney G. Downey and
Martin Monath},
title = {On Supersets of non-low 22{\_}2 Sets},
journal = {J. Symb. Log.},
volume = {86},
number = {3},
pages = {1282--1292},
year = {2021},
url = {https://doi.org/10.1017/jsl.2021.72},
doi = {10.1017/JSL.2021.72},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Ambos-SpiesDM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DowneyMN21,
author = {Rod Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Foundations of Online Structure Theory {II:} The Operator Approach},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:6)2021},
doi = {10.46298/LMCS-17(3:6)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DowneyMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BienvenuD20,
author = {Laurent Bienvenu and
Rod Downey},
title = {On low for speed oracles},
journal = {J. Comput. Syst. Sci.},
volume = {108},
pages = {49--63},
year = {2020},
url = {https://doi.org/10.1016/j.jcss.2019.08.007},
doi = {10.1016/J.JCSS.2019.08.007},
timestamp = {Wed, 18 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BienvenuD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DowneyHKMT20,
author = {Rodney G. Downey and
Matthew Harrison{-}Trainor and
Iskander Sh. Kalimullin and
Alexander G. Melnikov and
Daniel Turetsky},
title = {Graphs are not universal for online computability},
journal = {J. Comput. Syst. Sci.},
volume = {112},
pages = {1--12},
year = {2020},
url = {https://doi.org/10.1016/j.jcss.2020.02.004},
doi = {10.1016/J.JCSS.2020.02.004},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DowneyHKMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyGMNT20,
author = {Rod Downey and
Noam Greenberg and
Alexander G. Melnikov and
Keng Meng Ng and
Daniel Turetsky},
title = {Punctual Categoricity and Universality},
journal = {J. Symb. Log.},
volume = {85},
number = {4},
pages = {1427--1466},
year = {2020},
url = {https://doi.org/10.1017/jsl.2020.51},
doi = {10.1017/JSL.2020.51},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyGMNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DowneyM20,
author = {Rodney G. Downey and
Alexander G. Melnikov},
editor = {Marcella Anselmo and
Gianluca Della Vedova and
Florin Manea and
Arno Pauly},
title = {Computable Analysis and Classification Problems},
booktitle = {Beyond the Horizon of Computability - 16th Conference on Computability
in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12098},
pages = {100--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51466-2\_9},
doi = {10.1007/978-3-030-51466-2\_9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DowneyM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyMN19,
author = {Rod Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Categorical linearly ordered structures},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {10},
pages = {1243--1255},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.05.004},
doi = {10.1016/J.APAL.2019.05.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BazhenovDKM19,
author = {Nikolay Bazhenov and
Rod Downey and
Iskander Sh. Kalimullin and
Alexander G. Melnikov},
title = {Foundations of Online Structure Theory},
journal = {Bull. Symb. Log.},
volume = {25},
number = {2},
pages = {141--181},
year = {2019},
url = {https://doi.org/10.1017/bsl.2019.20},
doi = {10.1017/BSL.2019.20},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/BazhenovDKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DowneyH19,
author = {Rod Downey and
Denis R. Hirschfeldt},
title = {Algorithmic randomness},
journal = {Commun. {ACM}},
volume = {62},
number = {5},
pages = {70--80},
year = {2019},
url = {https://doi.org/10.1145/3319408},
doi = {10.1145/3319408},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/DowneyH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrattkaDKL19,
author = {Vasco Brattka and
Rod Downey and
Julia F. Knight and
Steffen Lempp},
title = {Preface of the special issue for the Oberwolfach Workshop on Computability
Theory 2018},
journal = {Comput.},
volume = {8},
number = {3-4},
pages = {191},
year = {2019},
url = {https://doi.org/10.3233/COM-180103},
doi = {10.3233/COM-180103},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/BrattkaDKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/ChihD19,
author = {Ellen Chih and
Rod Downey},
title = {Splitting theorems and low degrees},
journal = {Comput.},
volume = {8},
number = {3-4},
pages = {243--252},
year = {2019},
url = {https://doi.org/10.3233/COM-180093},
doi = {10.3233/COM-180093},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/ChihD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyN19,
author = {Rodney G. Downey and
Satyadev Nandakumar},
title = {A Weakly 2-Generic which Bounds a Minimal degree},
journal = {J. Symb. Log.},
volume = {84},
number = {4},
pages = {1326--1347},
year = {2019},
url = {https://doi.org/10.1017/jsl.2018.68},
doi = {10.1017/JSL.2018.68},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyNN19,
author = {Rodney G. Downey and
Satyadev Nandakumar and
Andr{\'{e}} Nies},
title = {Martin-L{\"{o}}f Randomness Implies Multiple Recurrence in Effectively
Closed Sets},
journal = {Notre Dame J. Formal Log.},
volume = {60},
number = {3},
pages = {491--502},
year = {2019},
url = {https://doi.org/10.1215/00294527-2019-0017},
doi = {10.1215/00294527-2019-0017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyNN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyN18,
author = {Rod Downey and
Keng Meng Ng},
title = {Splitting into degrees with low computational strength},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {8},
pages = {803--834},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2018.04.004},
doi = {10.1016/J.APAL.2018.04.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DowneyG18,
author = {Rod Downey and
Noam Greenberg},
title = {A Hierarchy of computably Enumerable Degrees},
journal = {Bull. Symb. Log.},
volume = {24},
number = {1},
pages = {53--89},
year = {2018},
url = {https://doi.org/10.1017/bsl.2017.41},
doi = {10.1017/BSL.2017.41},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DowneyG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/DowneyWY18,
author = {Rodney G. Downey and
Guohua Wu and
Yue Yang},
title = {Degrees containing members of thin {\(\Pi\)}10 classes are dense and
co-dense},
journal = {J. Math. Log.},
volume = {18},
number = {1},
pages = {1850001:1--1850001:47},
year = {2018},
url = {https://doi.org/10.1142/S0219061318500010},
doi = {10.1142/S0219061318500010},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/DowneyWY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyS18,
author = {Rod Downey and
Jonathan Stephenson},
title = {Avoiding Effective Packing Dimension 1 below array Noncomputable {C.E.}
Degrees},
journal = {J. Symb. Log.},
volume = {83},
number = {2},
pages = {717--739},
year = {2018},
url = {https://doi.org/10.1017/jsl.2017.78},
doi = {10.1017/JSL.2017.78},
timestamp = {Fri, 07 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/DowneyHK18,
author = {Rod Downey and
Denis R. Hirschfeldt and
Bj{\o}rn Kjos{-}Hanssen},
title = {Preface},
journal = {Theory Comput. Syst.},
volume = {62},
number = {7},
pages = {1553--1554},
year = {2018},
url = {https://doi.org/10.1007/s00224-018-9853-6},
doi = {10.1007/S00224-018-9853-6},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/DowneyHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BienvenuD18,
author = {Laurent Bienvenu and
Rodney G. Downey},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {On Low for Speed Oracles},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {15:1--15:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.15},
doi = {10.4230/LIPICS.STACS.2018.15},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BienvenuD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/BurtonD17,
author = {Benjamin A. Burton and
Rodney G. Downey},
title = {Courcelle's theorem for triangulations},
journal = {J. Comb. Theory, Ser. {A}},
volume = {146},
pages = {264--294},
year = {2017},
url = {https://doi.org/10.1016/j.jcta.2016.10.001},
doi = {10.1016/J.JCTA.2016.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/BurtonD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/DowneyMN17,
author = {Rodney G. Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {A Friedberg enumeration of equivalence structures},
journal = {J. Math. Log.},
volume = {17},
number = {2},
pages = {1750008:1--1750008:28},
year = {2017},
url = {https://doi.org/10.1142/S0219061317500088},
doi = {10.1142/S0219061317500088},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jml/DowneyMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/PorterDD17,
author = {Michelle Porter and
Adam Day and
Rodney G. Downey},
title = {Notes on Computable Analysis},
journal = {Theory Comput. Syst.},
volume = {60},
number = {1},
pages = {53--111},
year = {2017},
url = {https://doi.org/10.1007/s00224-016-9732-y},
doi = {10.1007/S00224-016-9732-Y},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/PorterDD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasD17,
author = {George Barmpalias and
Rodney G. Downey},
title = {Kobayashi compressibility},
journal = {Theor. Comput. Sci.},
volume = {675},
pages = {89--100},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.02.029},
doi = {10.1016/J.TCS.2017.02.029},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BarmpaliasD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyMN17,
author = {Rod Downey and
Michael McInerney and
Keng Meng Ng},
title = {Lowness and logical depth},
journal = {Theor. Comput. Sci.},
volume = {702},
pages = {23--33},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.08.010},
doi = {10.1016/J.TCS.2017.08.010},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/17/Downey17,
author = {Rod Downey},
editor = {Jack Copeland and
Jonathan P. Bowen and
Mark D. Sprevak and
Robin Wilson},
title = {Turing and randomness},
booktitle = {The Turing Guide},
pages = {427--436},
publisher = {Oxford University Press},
year = {2017},
timestamp = {Thu, 12 Mar 2020 11:24:04 +0100},
biburl = {https://dblp.org/rec/books/ox/17/Downey17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-09710,
author = {Laurent Bienvenu and
Rod Downey},
title = {On low for speed oracles},
journal = {CoRR},
volume = {abs/1712.09710},
year = {2017},
url = {http://arxiv.org/abs/1712.09710},
eprinttype = {arXiv},
eprint = {1712.09710},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-09710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/Ambos-SpiesBDL17,
author = {Klaus Ambos{-}Spies and
Vasco Brattka and
Rodney G. Downey and
Steffen Lempp},
title = {Computability Theory (Dagstuhl Seminar 17081)},
journal = {Dagstuhl Reports},
volume = {7},
number = {2},
pages = {89--101},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.2.89},
doi = {10.4230/DAGREP.7.2.89},
timestamp = {Wed, 20 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/Ambos-SpiesBDL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChenDF17,
author = {Yijia Chen and
Rodney G. Downey and
J{\"{o}}rg Flum},
title = {Logic and Computational Complexity {(NII} Shonan Meeting 2017-13)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/096/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChenDF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyMN16,
author = {Rodney G. Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Abelian p-groups and the Halting problem},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {11},
pages = {1123--1138},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2016.04.016},
doi = {10.1016/J.APAL.2016.04.016},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasD16,
author = {George Barmpalias and
Rodney G. Downey},
title = {Kobayashi compressibility},
journal = {CoRR},
volume = {abs/1608.00692},
year = {2016},
url = {http://arxiv.org/abs/1608.00692},
eprinttype = {arXiv},
eprint = {1608.00692},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarmpaliasD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/BevernDFGR15,
author = {Ren{\'{e}} van Bevern and
Rodney G. Downey and
Michael R. Fellows and
Serge Gaspers and
Frances A. Rosamond},
title = {Myhill-Nerode Methods for Hypergraphs},
journal = {Algorithmica},
volume = {73},
number = {4},
pages = {696--729},
year = {2015},
url = {https://doi.org/10.1007/s00453-015-9977-x},
doi = {10.1007/S00453-015-9977-X},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/BevernDFGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyWY15,
author = {Rodney G. Downey and
Guohua Wu and
Yue Yang},
title = {The members of thin and minimal classes, their ranks and Turing degrees},
journal = {Ann. Pure Appl. Log.},
volume = {166},
number = {7-8},
pages = {755--766},
year = {2015},
url = {https://doi.org/10.1016/j.apal.2015.03.004},
doi = {10.1016/J.APAL.2015.03.004},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/DowneyWY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyMN15,
author = {Rod Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {On -categoricity of equivalence relations},
journal = {Ann. Pure Appl. Log.},
volume = {166},
number = {9},
pages = {851--880},
year = {2015},
url = {https://doi.org/10.1016/j.apal.2015.04.003},
doi = {10.1016/J.APAL.2015.04.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BarmpaliasDM15,
author = {George Barmpalias and
Rodney G. Downey and
Michael McInerney},
title = {Integer valued betting strategies and Turing degrees},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {7},
pages = {1387--1412},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2015.05.001},
doi = {10.1016/J.JCSS.2015.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BarmpaliasDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BienvenuDNM15,
author = {Laurent Bienvenu and
Rodney G. Downey and
Andr{\'{e}} Nies and
Wolfgang Merkle},
title = {Solovay functions and their applications in algorithmic randomness},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {8},
pages = {1575--1591},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2015.04.004},
doi = {10.1016/J.JCSS.2015.04.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BienvenuDNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyJMS15,
author = {Rod Downey and
Carl G. Jockusch Jr. and
Timothy H. McNicholl and
Paul E. Schupp},
title = {Asymptotic density and the Ershov hierarchy},
journal = {Math. Log. Q.},
volume = {61},
number = {3},
pages = {189--195},
year = {2015},
url = {https://doi.org/10.1002/malq.201300081},
doi = {10.1002/MALQ.201300081},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyJMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasDM15,
author = {George Barmpalias and
Rodney G. Downey and
Michael McInerney},
title = {Integer Valued Betting strategies and Turing Degrees},
journal = {CoRR},
volume = {abs/1505.05298},
year = {2015},
url = {http://arxiv.org/abs/1505.05298},
eprinttype = {arXiv},
eprint = {1505.05298},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarmpaliasDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaiDELM14,
author = {Mingzhong Cai and
Rodney G. Downey and
Rachel Epstein and
Steffen Lempp and
Joseph S. Miller},
title = {Random strings and tt-degrees of Turing complete {C.E.} sets},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {3},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(3:15)2014},
doi = {10.2168/LMCS-10(3:15)2014},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaiDELM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/DowneyMN14,
author = {Rodney G. Downey and
Alexander G. Melnikov and
Keng Meng Ng},
title = {Iterated effective embeddings of abelian p-groups},
journal = {Int. J. Algebra Comput.},
volume = {24},
number = {7},
pages = {1055},
year = {2014},
url = {https://doi.org/10.1142/S0218196714500465},
doi = {10.1142/S0218196714500465},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/DowneyMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BienvenuDGNT14,
author = {Laurent Bienvenu and
Rod Downey and
Noam Greenberg and
Andr{\'{e}} Nies and
Daniel Turetsky},
title = {Characterizing Lowness for Demuth Randomness},
journal = {J. Symb. Log.},
volume = {79},
number = {2},
pages = {526--560},
year = {2014},
url = {https://doi.org/10.1017/jsl.2013.21},
doi = {10.1017/JSL.2013.21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BienvenuDGNT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarmpaliasD14,
author = {George Barmpalias and
Rodney G. Downey},
title = {Exact Pairs for the Ideal of the \emph{k}-Trivial Sequences in the
Turing Degrees},
journal = {J. Symb. Log.},
volume = {79},
number = {3},
pages = {676--692},
year = {2014},
url = {https://doi.org/10.1017/jsl.2014.37},
doi = {10.1017/JSL.2014.37},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BarmpaliasD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/Downey14,
author = {Rod Downey},
editor = {Rod Downey},
title = {Computability theory, algorithmic randomness and Turing's anticipation},
booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
series = {Lecture Notes in Logic},
volume = {42},
pages = {90--123},
publisher = {Cambridge University Press},
year = {2014},
url = {https://doi.org/10.1017/CBO9781107338579.005},
doi = {10.1017/CBO9781107338579.005},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/books/cu/p/Downey14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/D2014,
editor = {Rod Downey},
title = {Turing's Legacy: Developments from Turing's Ideas in Logic},
series = {Lecture Notes in Logic},
volume = {42},
publisher = {Cambridge University Press},
year = {2014},
url = {https://doi.org/10.1017/CBO9781107338579},
doi = {10.1017/CBO9781107338579},
isbn = {9781107338579},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/D2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BurtonD14,
author = {Benjamin A. Burton and
Rodney G. Downey},
title = {Courcelle's theorem for triangulations},
journal = {CoRR},
volume = {abs/1403.2926},
year = {2014},
url = {http://arxiv.org/abs/1403.2926},
eprinttype = {arXiv},
eprint = {1403.2926},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BurtonD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DowneyMNW14,
author = {Rodney G. Downey and
Kenshi Miyabe and
Andr{\'{e}} Nies and
Osamu Watanabe},
title = {Algorithmic Randomness and Complexity {(NII} Shonan Meeting 2014-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/047/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DowneyMNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txcs/DowneyF13,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Fundamentals of Parameterized Complexity},
series = {Texts in Computer Science},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-5559-1},
doi = {10.1007/978-1-4471-5559-1},
isbn = {978-1-4471-5558-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txcs/DowneyF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/DowneyJS13,
author = {Rodney G. Downey and
Carl G. Jockusch Jr. and
Paul E. Schupp},
title = {Asymptotic density and computably Enumerable Sets},
journal = {J. Math. Log.},
volume = {13},
number = {2},
pages = {1350005},
year = {2013},
url = {https://doi.org/10.1142/S0219061313500050},
doi = {10.1142/S0219061313500050},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/DowneyJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Downey13,
author = {Rod Downey},
title = {Computability, Complexity and Randomness},
journal = {Theory Comput. Syst.},
volume = {52},
number = {1},
pages = {1},
year = {2013},
url = {https://doi.org/10.1007/s00224-012-9430-3},
doi = {10.1007/S00224-012-9430-3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Downey13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyN12,
author = {Rod Downey and
Keng Meng Ng},
title = {Lowness for bounded randomness},
journal = {Theor. Comput. Sci.},
volume = {460},
pages = {1--9},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.06.004},
doi = {10.1016/J.TCS.2012.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Downey12,
author = {Rod Downey},
editor = {Hans L. Bodlaender and
Rod Downey and
Fedor V. Fomin and
D{\'{a}}niel Marx},
title = {The Birth and Early Years of Parameterized Complexity},
booktitle = {The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated
to Michael R. Fellows on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7370},
pages = {17--38},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30891-8\_2},
doi = {10.1007/978-3-642-30891-8\_2},
timestamp = {Mon, 03 Jan 2022 22:35:50 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Downey12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrodheadDN12,
author = {Paul Brodhead and
Rod Downey and
Keng Meng Ng},
editor = {Michael J. Dinneen and
Bakhadyr Khoussainov and
Andr{\'{e}} Nies},
title = {Bounded Randomness},
booktitle = {Computation, Physics and Beyond - International Workshop on Theoretical
Computer Science, {WTCS} 2012, Dedicated to Cristian S. Calude on
the Occasion of His 60th Birthday, Auckland, New Zealand, February
21-24, 2012, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7160},
pages = {59--70},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27654-5\_5},
doi = {10.1007/978-3-642-27654-5\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BrodheadDN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Downey12a,
author = {Rod Downey},
editor = {Hans L. Bodlaender and
Rod Downey and
Fedor V. Fomin and
D{\'{a}}niel Marx},
title = {A Basic Parameterized Complexity Primer},
booktitle = {The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated
to Michael R. Fellows on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7370},
pages = {91--128},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30891-8\_9},
doi = {10.1007/978-3-642-30891-8\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Downey12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Downey12,
author = {Rod Downey},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Randomness, Computation and Mathematics},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {162--181},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_17},
doi = {10.1007/978-3-642-30870-3\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Downey12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Downey12,
author = {Rod Downey},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Parameterized Complexity Tutorial},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {38--56},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_4},
doi = {10.1007/978-3-642-28332-1\_4},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/Downey12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2012fellows,
editor = {Hans L. Bodlaender and
Rod Downey and
Fedor V. Fomin and
D{\'{a}}niel Marx},
title = {The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated
to Michael R. Fellows on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7370},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30891-8},
doi = {10.1007/978-3-642-30891-8},
isbn = {978-3-642-30890-1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2012fellows.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BecherBDM12,
author = {Ver{\'{o}}nica Becher and
Laurent Bienvenu and
Rodney G. Downey and
Elvira Mayordomo},
title = {Computability, Complexity and Randomness (Dagstuhl Seminar 12021)},
journal = {Dagstuhl Reports},
volume = {2},
number = {1},
pages = {19--38},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.1.19},
doi = {10.4230/DAGREP.2.1.19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BecherBDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/DowneyGJM11,
author = {Rodney G. Downey and
Noam Greenberg and
Carl G. Jockusch Jr. and
Kevin G. Milans},
title = {Binary subtrees with few labeled paths},
journal = {Comb.},
volume = {31},
number = {3},
pages = {285--303},
year = {2011},
url = {https://doi.org/10.1007/s00493-011-2634-3},
doi = {10.1007/S00493-011-2634-3},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorica/DowneyGJM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/DowneyT11,
author = {Rodney G. Downey and
Dimitrios M. Thilikos},
title = {Confronting intractability via parameters},
journal = {Comput. Sci. Rev.},
volume = {5},
number = {4},
pages = {279--317},
year = {2011},
url = {https://doi.org/10.1016/j.cosrev.2011.09.002},
doi = {10.1016/J.COSREV.2011.09.002},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csr/DowneyT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarmpaliasDN11,
author = {George Barmpalias and
Rod Downey and
Keng Meng Ng},
title = {Jump inversions inside effectively closed sets and applications to
randomness},
journal = {J. Symb. Log.},
volume = {76},
number = {2},
pages = {491--518},
year = {2011},
url = {https://doi.org/10.2178/jsl/1305810761},
doi = {10.2178/JSL/1305810761},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BarmpaliasDN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CsimaDN11,
author = {Barbara F. Csima and
Rod Downey and
Keng Meng Ng},
title = {Limits on jump inversion for strong reducibilities},
journal = {J. Symb. Log.},
volume = {76},
number = {4},
pages = {1287--1296},
year = {2011},
url = {https://doi.org/10.2178/jsl/1318338849},
doi = {10.2178/JSL/1318338849},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CsimaDN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyK11,
author = {Rodney G. Downey and
Asher M. Kach},
title = {Euclidean Functions of Computable Euclidean Domains},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {163--172},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306172},
doi = {10.1215/00294527-1306172},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3161,
author = {Rodney G. Downey and
Dimitrios M. Thilikos},
title = {Confronting Intractability via Parameters},
journal = {CoRR},
volume = {abs/1106.3161},
year = {2011},
url = {http://arxiv.org/abs/1106.3161},
eprinttype = {arXiv},
eprint = {1106.3161},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/DowneyH10,
author = {Rodney G. Downey and
Denis R. Hirschfeldt},
title = {Algorithmic Randomness and Complexity},
series = {Theory and Applications of Computability},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-68441-3},
doi = {10.1007/978-0-387-68441-3},
isbn = {978-0-387-95567-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/DowneyH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/DowneyLW10,
author = {Rod Downey and
Steffen Lempp and
Guohua Wu},
title = {On the Complexity of the Successivity Relation in Computable linear
Orderings},
journal = {J. Math. Log.},
volume = {10},
number = {1-2},
year = {2010},
url = {https://doi.org/10.1142/S0219061310000924},
doi = {10.1142/S0219061310000924},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/DowneyLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyGKKKMT10,
author = {Rodney G. Downey and
Sergei S. Goncharov and
Asher M. Kach and
Julia F. Knight and
Oleg V. Kudinov and
Alexander G. Melnikov and
Daniel Turetsky},
title = {Decidability and Computability of Certain Torsion-Free Abelian Groups},
journal = {Notre Dame J. Formal Log.},
volume = {51},
number = {1},
pages = {85--96},
year = {2010},
url = {https://doi.org/10.1215/00294527-2010-006},
doi = {10.1215/00294527-2010-006},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyGKKKMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyN10,
author = {Rod Downey and
Keng Meng Ng},
title = {Effective Packing Dimension and Traceability},
journal = {Notre Dame J. Formal Log.},
volume = {51},
number = {2},
pages = {279--290},
year = {2010},
url = {https://doi.org/10.1215/00294527-2010-017},
doi = {10.1215/00294527-2010-017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CenzerDRU09,
author = {Douglas Cenzer and
Rodney G. Downey and
Jeffrey B. Remmel and
Zia Uddin},
title = {Space complexity of Abelian groups},
journal = {Arch. Math. Log.},
volume = {48},
number = {1},
pages = {115--140},
year = {2009},
url = {https://doi.org/10.1007/s00153-008-0113-3},
doi = {10.1007/S00153-008-0113-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CenzerDRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BodlaenderDFH09,
author = {Hans L. Bodlaender and
Rodney G. Downey and
Michael R. Fellows and
Danny Hermelin},
title = {On problems without polynomial kernels},
journal = {J. Comput. Syst. Sci.},
volume = {75},
number = {8},
pages = {423--434},
year = {2009},
url = {https://doi.org/10.1016/j.jcss.2009.04.001},
doi = {10.1016/J.JCSS.2009.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BodlaenderDFH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyKL09,
author = {Rodney G. Downey and
Bart Kastermans and
Steffen Lempp},
title = {On computable self-embeddings of computable linear orderings},
journal = {J. Symb. Log.},
volume = {74},
number = {4},
pages = {1352--1366},
year = {2009},
url = {https://doi.org/10.2178/jsl/1254748695},
doi = {10.2178/JSL/1254748695},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DowneyN09,
author = {Rod Downey and
Keng Meng Ng},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {Lowness for Demuth Randomness},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {154--166},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_17},
doi = {10.1007/978-3-642-03073-4\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/DowneyN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BienvenuD09,
author = {Laurent Bienvenu and
Rod Downey},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {Kolmogorov Complexity and Solovay Functions},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {147--158},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1810},
doi = {10.4230/LIPICS.STACS.2009.1810},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BienvenuD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cats/2009,
editor = {Rod Downey and
Prabhu Manyem},
title = {Theory of Computing 2009, Fifteenth Computing: The Australasian Theory
Symposium, {CATS} 2009, Wellington, New Zealand, January 2009},
series = {{CRPIT}},
volume = {94},
publisher = {Australian Computer Society},
year = {2009},
url = {http://crpit.scem.westernsydney.edu.au/Vol94.html},
isbn = {978-1-920682-75-0},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cats/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1041,
author = {Laurent Bienvenu and
Rod Downey},
title = {Kolmogorov Complexity and Solovay Functions},
journal = {CoRR},
volume = {abs/0902.1041},
year = {2009},
url = {http://arxiv.org/abs/0902.1041},
eprinttype = {arXiv},
eprint = {0902.1041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-1041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyGM08,
author = {Rod Downey and
Noam Greenberg and
Joseph S. Miller},
title = {The upward closure of a perfect thin class},
journal = {Ann. Pure Appl. Log.},
volume = {156},
number = {1},
pages = {51--58},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.06.006},
doi = {10.1016/J.APAL.2008.06.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/CholakDH08,
author = {Peter Cholak and
Rodney G. Downey and
Leo Harrington},
title = {The Complexity of Orbits of Computably Enumerable Sets},
journal = {Bull. Symb. Log.},
volume = {14},
number = {1},
pages = {69--87},
year = {2008},
url = {https://doi.org/10.2178/bsl/1208358844},
doi = {10.2178/BSL/1208358844},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/CholakDH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DowneyFL08,
author = {Rodney G. Downey and
Michael R. Fellows and
Michael A. Langston},
title = {The Computer Journal Special Issue on Parameterized Complexity: Foreword
by the Guest Editors},
journal = {Comput. J.},
volume = {51},
number = {1},
pages = {1--6},
year = {2008},
url = {https://doi.org/10.1093/comjnl/bxm111},
doi = {10.1093/COMJNL/BXM111},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/DowneyFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DowneyG08,
author = {Rod Downey and
Noam Greenberg},
title = {Turing degrees of reals of positive effective packing dimension},
journal = {Inf. Process. Lett.},
volume = {108},
number = {5},
pages = {298--303},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.05.028},
doi = {10.1016/J.IPL.2008.05.028},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DowneyG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DowneyFMR08,
author = {Rodney G. Downey and
Michael R. Fellows and
Catherine McCartin and
Frances A. Rosamond},
title = {Parameterized approximation of dominating set problems},
journal = {Inf. Process. Lett.},
volume = {109},
number = {1},
pages = {68--70},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.09.017},
doi = {10.1016/J.IPL.2008.09.017},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/DowneyFMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BodlaenderDFH08,
author = {Hans L. Bodlaender and
Rodney G. Downey and
Michael R. Fellows and
Danny Hermelin},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {On Problems without Polynomial Kernels (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{I:} Tack {A:} Algorithms, Automata, Complexity, and Games},
series = {Lecture Notes in Computer Science},
volume = {5125},
pages = {563--574},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70575-8\_46},
doi = {10.1007/978-3-540-70575-8\_46},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BodlaenderDFH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7441,
editor = {Rod Downey and
Bakhadyr Khoussainov and
Dietrich Kuske and
Markus Lohrey and
Moshe Y. Vardi},
title = {Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07441},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/07441/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7441.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyFGW07,
author = {Rod Downey and
J{\"{o}}rg Flum and
Martin Grohe and
Mark Weyer},
title = {Bounded fixed-parameter tractability and reducibility},
journal = {Ann. Pure Appl. Log.},
volume = {148},
number = {1-3},
pages = {1--19},
year = {2007},
url = {https://doi.org/10.1016/j.apal.2007.06.001},
doi = {10.1016/J.APAL.2007.06.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyFGW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DowneyM07,
author = {Rodney G. Downey and
Catherine McCartin},
title = {Online promise problems with online width metrics},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {1},
pages = {57--72},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.08.002},
doi = {10.1016/J.JCSS.2006.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DowneyM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DowneyHL07,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Geoffrey LaForte},
title = {Undecidability of the structure of the Solovay degrees of c.e. reals},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {5},
pages = {769--787},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2007.01.002},
doi = {10.1016/J.JCSS.2007.01.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DowneyHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/DowneyGW07,
author = {Rod Downey and
Noam Greenberg and
Rebecca Weber},
title = {Totally {\(\omega\)}-computably Enumerable Degrees and Bounding Critical
Triples},
journal = {J. Math. Log.},
volume = {7},
number = {2},
year = {2007},
url = {https://doi.org/10.1142/S0219061307000640},
doi = {10.1142/S0219061307000640},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/DowneyGW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/DowneyE07,
author = {Rod Downey},
title = {Foreword},
journal = {Theory Comput. Syst.},
volume = {41},
number = {3},
pages = {397},
year = {2007},
url = {https://doi.org/10.1007/s00224-007-4006-3},
doi = {10.1007/S00224-007-4006-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/DowneyE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scholarpedia/DowneyR07,
author = {Rodney G. Downey and
Jan Reimann},
title = {Algorithmic randomness},
journal = {Scholarpedia},
volume = {2},
number = {10},
pages = {2574},
year = {2007},
url = {https://doi.org/10.4249/scholarpedia.2574},
doi = {10.4249/SCHOLARPEDIA.2574},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scholarpedia/DowneyR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DowneyKKLV07,
author = {Rod Downey and
Bakhadyr Khoussainov and
Dietrich Kuske and
Markus Lohrey and
Moshe Y. Vardi},
editor = {Rod Downey and
Bakhadyr Khoussainov and
Dietrich Kuske and
Markus Lohrey and
Moshe Y. Vardi},
title = {07441 Summary -- Algorithmic-Logical Theory of Infinite Structures},
booktitle = {Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07441},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1411},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyKKLV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DowneyKKLV07a,
author = {Rod Downey and
Bakhadyr Khoussainov and
Dietrich Kuske and
Markus Lohrey and
Moshe Y. Vardi},
editor = {Rod Downey and
Bakhadyr Khoussainov and
Dietrich Kuske and
Markus Lohrey and
Moshe Y. Vardi},
title = {07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite
Structures},
booktitle = {Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07441},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1412},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyKKLV07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DowneyY06,
author = {Rod Downey and
Liang Yu},
title = {Arithmetical Sacks Forcing},
journal = {Arch. Math. Log.},
volume = {45},
number = {6},
pages = {715--720},
year = {2006},
url = {https://doi.org/10.1007/s00153-006-0004-4},
doi = {10.1007/S00153-006-0004-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DowneyY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyG06,
author = {Rodney G. Downey and
Robert Goldblatt},
title = {Foreword},
journal = {Ann. Pure Appl. Log.},
volume = {138},
number = {1-3},
pages = {1},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2005.06.002},
doi = {10.1016/J.APAL.2005.06.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/DowneyG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyJM06,
author = {Rodney G. Downey and
Carl G. Jockusch Jr. and
Joseph S. Miller},
title = {On self-embeddings of computable linear orderings},
journal = {Ann. Pure Appl. Log.},
volume = {138},
number = {1-3},
pages = {52--76},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2005.06.008},
doi = {10.1016/J.APAL.2005.06.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DowneyHNT06,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Andr{\'{e}} Nies and
Sebastiaan Terwijn},
title = {Calibrating Randomness},
journal = {Bull. Symb. Log.},
volume = {12},
number = {3},
pages = {411--491},
year = {2006},
url = {https://doi.org/10.2178/bsl/1154698741},
doi = {10.2178/BSL/1154698741},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DowneyHNT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyNWY06,
author = {Rod Downey and
Andr{\'{e}} Nies and
Rebecca Weber and
Liang Yu},
title = {Lowness and {\(\Pi\)}\({}_{\mbox{2}}\)\({}^{\mbox{0}}\) nullsets},
journal = {J. Symb. Log.},
volume = {71},
number = {3},
pages = {1044--1052},
year = {2006},
url = {https://doi.org/10.2178/jsl/1154698590},
doi = {10.2178/JSL/1154698590},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyNWY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CsimaDGHM06,
author = {Barbara F. Csima and
Rod Downey and
Noam Greenberg and
Denis R. Hirschfeldt and
Joseph S. Miller},
title = {Every 1-generic computes a properly 1-generic},
journal = {J. Symb. Log.},
volume = {71},
number = {4},
pages = {1385--1393},
year = {2006},
url = {https://doi.org/10.2178/jsl/1164060461},
doi = {10.2178/JSL/1164060461},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CsimaDGHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DowneyMR06,
author = {Rodney G. Downey and
Wolfgang Merkle and
Jan Reimann},
title = {Schnorr dimension},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {5},
pages = {789--811},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005469},
doi = {10.1017/S0960129506005469},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DowneyMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyLN06,
author = {Rod Downey and
Michael A. Langston and
Rolf Niedermeier},
title = {Editorial},
journal = {Theor. Comput. Sci.},
volume = {351},
number = {3},
pages = {295},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.001},
doi = {10.1016/J.TCS.2005.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyLN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/DowneyFM06,
author = {Rodney G. Downey and
Michael R. Fellows and
Catherine McCartin},
editor = {Hans L. Bodlaender and
Michael A. Langston},
title = {Parameterized Approximation Problems},
booktitle = {Parameterized and Exact Computation, Second International Workshop,
{IWPEC} 2006, Z{\"{u}}rich, Switzerland, September 13-15, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4169},
pages = {121--129},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11847250\_11},
doi = {10.1007/11847250\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/DowneyFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/DowneyG06,
author = {Rod Downey and
Noam Greenberg},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Totally {\textless} {\(\omega\)}\({}^{\mbox{{\(\omega\)}}}\) Computably
Enumerable and \emph{m}-topped Degrees},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {46--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_3},
doi = {10.1007/11750321\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/DowneyG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5301,
editor = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
title = {Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05301},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05301/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ColesDJL05,
author = {Richard Coles and
Rodney G. Downey and
Carl G. Jockusch Jr. and
Geoffrey LaForte},
title = {Completing pseudojump operators},
journal = {Ann. Pure Appl. Log.},
volume = {136},
number = {3},
pages = {297--333},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2003.07.001},
doi = {10.1016/J.APAL.2003.07.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ColesDJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/DowneyHMN05,
author = {Rod Downey and
Denis R. Hirschfeldt and
Joseph S. Miller and
Andr{\'{e}} Nies},
title = {Relativizing Chaitin's Halting Probability},
journal = {J. Math. Log.},
volume = {5},
number = {2},
year = {2005},
url = {https://doi.org/10.1142/S0219061305000468},
doi = {10.1142/S0219061305000468},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/DowneyHMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/DowneyM05,
author = {Rodney G. Downey and
Catherine McCartin},
editor = {Mike D. Atkinson and
Frank K. H. A. Dehne},
title = {Bounded Persistence Pathwidth},
booktitle = {Theory of Computing 2005, Eleventh {CATS} 2005, Computing: The Australasian
Theory Symposium, Newcastle, NSW, Australia, January/February 2005},
series = {{CRPIT}},
volume = {41},
pages = {51--56},
publisher = {Australian Computer Society},
year = {2005},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV41Downey.html},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cats/DowneyM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DowneyMR05,
author = {Rodney G. Downey and
Wolfgang Merkle and
Jan Reimann},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Schnorr Dimension},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {96--105},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_13},
doi = {10.1007/11494645\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/DowneyMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DowneyGW05,
author = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
editor = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
title = {05301 Summary - Exact Algorithms and Fixed-Parameter Tractability},
booktitle = {Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05301},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/439},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyGW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DowneyGW05a,
author = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
editor = {Rodney G. Downey and
Martin Grohe and
Gerhard J. Woeginger},
title = {05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter
Tractability},
booktitle = {Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05301},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/440},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyGW05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyLW04,
author = {Rod Downey and
Angsheng Li and
Guohua Wu},
title = {Complementing cappable degrees in the difference hierarchy},
journal = {Ann. Pure Appl. Log.},
volume = {125},
number = {1-3},
pages = {101--118},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2003.10.002},
doi = {10.1016/J.APAL.2003.10.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyLW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/YuDD04,
author = {Liang Yu and
Decheng Ding and
Rodney G. Downey},
title = {The Kolmogorov complexity of random reals},
journal = {Ann. Pure Appl. Log.},
volume = {129},
number = {1-3},
pages = {163--180},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2004.01.006},
doi = {10.1016/J.APAL.2004.01.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/YuDD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DowneyHL04,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Geoffrey LaForte},
title = {Randomness and reducibility},
journal = {J. Comput. Syst. Sci.},
volume = {68},
number = {1},
pages = {96--114},
year = {2004},
url = {https://doi.org/10.1016/j.jcss.2003.07.004},
doi = {10.1016/J.JCSS.2003.07.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DowneyHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyG04,
author = {Rodney G. Downey and
Evan J. Griffiths},
title = {Schnorr randomness},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {533--554},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418542},
doi = {10.2178/JSL/1082418542},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyWZ04,
author = {Rod Downey and
Guohua Wu and
Xizhong Zheng},
title = {Degrees of d. c. e. reals},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {345--350},
year = {2004},
url = {https://doi.org/10.1002/malq.200310103},
doi = {10.1002/MALQ.200310103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyGL04,
author = {Rod Downey and
Evan J. Griffiths and
Geoffrey LaForte},
title = {On Schnorr and computable randomness, martingales, and machines},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {613--627},
year = {2004},
url = {https://doi.org/10.1002/malq.200310121},
doi = {10.1002/MALQ.200310121},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyY04,
author = {Rod Downey and
Liang Yu},
title = {There Are No Maximal Low {D.C.E.} Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {45},
number = {3},
pages = {147--159},
year = {2004},
url = {https://doi.org/10.1305/ndjfl/1099080209},
doi = {10.1305/NDJFL/1099080209},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyGR04,
author = {Rodney G. Downey and
Evan J. Griffiths and
Stephanie Reid},
title = {On Kurtz randomness},
journal = {Theor. Comput. Sci.},
volume = {321},
number = {2-3},
pages = {249--270},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.055},
doi = {10.1016/J.TCS.2004.03.055},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DowneyM04,
author = {Rodney G. Downey and
Catherine McCartin},
editor = {Cristian Calude and
Elena Calude and
Michael J. Dinneen},
title = {Some New Directions and Questions in Parameterized Complexity},
booktitle = {Developments in Language Theory, 8th International Conference, {DLT}
2004, Auckland, New Zealand, December 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3340},
pages = {12--26},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30550-7\_2},
doi = {10.1007/978-3-540-30550-7\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DowneyM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/DowneyM04,
author = {Rodney G. Downey and
Catherine McCartin},
editor = {Rodney G. Downey and
Michael R. Fellows and
Frank K. H. A. Dehne},
title = {Online Problems, Pathwidth, and Persistence},
booktitle = {Parameterized and Exact Computation, First International Workshop,
{IWPEC} 2004, Bergen, Norway, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3162},
pages = {13--24},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28639-4\_2},
doi = {10.1007/978-3-540-28639-4\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/DowneyM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Downey04,
author = {Rodney G. Downey},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {Some Recent Progress in Algorithmic Randomness},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {42--83},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_3},
doi = {10.1007/978-3-540-28629-5\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Downey04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpec/2004,
editor = {Rodney G. Downey and
Michael R. Fellows and
Frank K. H. A. Dehne},
title = {Parameterized and Exact Computation, First International Workshop,
{IWPEC} 2004, Bergen, Norway, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3162},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100584},
doi = {10.1007/B100584},
isbn = {3-540-23071-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyLS03,
author = {Rodney G. Downey and
Geoffrey LaForte and
Richard A. Shore},
title = {Decomposition and infima in the computably enumerable degrees},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {551--579},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669063},
doi = {10.2178/JSL/1052669063},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyF03,
author = {Rodney G. Downey and
Lance Fortnow},
title = {Uniformly hard languages},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {2},
pages = {303--315},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00810-1},
doi = {10.1016/S0304-3975(02)00810-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DowneyEFPR03,
author = {Rodney G. Downey and
Vladimir Estivill{-}Castro and
Michael R. Fellows and
Elena Prieto{-}Rodriguez and
Frances A. Rosamond},
editor = {James Harland},
title = {Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and
Related Problems},
booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
SA, Australia, February 4-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {78},
pages = {209--222},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81014-4},
doi = {10.1016/S1571-0661(04)81014-4},
timestamp = {Fri, 11 Nov 2022 16:09:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DowneyEFPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakDW02,
author = {Peter Cholak and
Rodney G. Downey and
Stephen Walk},
title = {Maximal Contiguous Degrees},
journal = {J. Symb. Log.},
volume = {67},
number = {1},
pages = {409--437},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150052},
doi = {10.2178/JSL/1190150052},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CholakDW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyL02,
author = {Rodney G. Downey and
Steffen Lempp},
title = {Contiguity and Distributivity in The Enumerable Turing Degrees - Corrigendum},
journal = {J. Symb. Log.},
volume = {67},
number = {4},
pages = {1579--1580},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150300},
doi = {10.2178/JSL/1190150300},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyT02,
author = {Rodney G. Downey and
Sebastiaan Terwijn},
title = {Computably Enumerable Reals and Uniformly Presentable Ideals},
journal = {Math. Log. Q.},
volume = {48},
number = {{S1}},
pages = {29--40},
year = {2002},
url = {https://doi.org/10.1002/1521-3870(200210)48:1\%2B\&\#60;29::AID-MALQ29\&\#62;3.0.CO;2-O},
doi = {10.1002/1521-3870(200210)48:1\%2B\&\#60;29::AID-MALQ29\&\#62;3.0.CO;2-O},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Downey02,
author = {Rodney G. Downey},
title = {Roman Murawski, Recursive Functions and Metamathematics},
journal = {Stud Logica},
volume = {70},
number = {2},
pages = {297--299},
year = {2002},
url = {https://doi.org/10.1023/A:1015138802160},
doi = {10.1023/A:1015138802160},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Downey02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/DowneyHN02,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Andr{\'{e}} Nies},
title = {Randomness, Computability, and Density},
journal = {{SIAM} J. Comput.},
volume = {31},
number = {4},
pages = {1169--1183},
year = {2002},
url = {https://doi.org/10.1137/S0097539700376937},
doi = {10.1137/S0097539700376937},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/DowneyHN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyL02,
author = {Rodney G. Downey and
Geoffrey LaForte},
title = {Presentations of computably enumerable reals},
journal = {Theor. Comput. Sci.},
volume = {284},
number = {2},
pages = {539--555},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00110-4},
doi = {10.1016/S0304-3975(01)00110-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DowneyG02,
author = {Rodney G. Downey and
Evan J. Griffiths},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Schnorr Randomness},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {25--35},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80376-1},
doi = {10.1016/S1571-0661(04)80376-1},
timestamp = {Tue, 06 Dec 2022 09:35:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DowneyG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DowneyHNS02,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Andr{\'{e}} Nies and
Frank Stephan},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Trivial Reals},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {36--52},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80377-3},
doi = {10.1016/S1571-0661(04)80377-3},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DowneyHNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DowneyF01,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Index sets and parametric reductions},
journal = {Arch. Math. Log.},
volume = {40},
number = {5},
pages = {329--348},
year = {2001},
url = {https://doi.org/10.1007/s001530100082},
doi = {10.1007/S001530100082},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/DowneyF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CholakDH01,
author = {Peter Cholak and
Rodney G. Downey and
Eberhard Herrmann},
title = {Some orbits for {E}},
journal = {Ann. Pure Appl. Log.},
volume = {107},
number = {1-3},
pages = {193--226},
year = {2001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CholakDH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyHLS01,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Steffen Lempp and
Reed Solomon},
title = {A delta\({}^{\mbox{0}}\)\({}_{\mbox{2}}\) Set with No Infinite Low
Subset in Either It or Its Complement},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1371--1381},
year = {2001},
url = {https://doi.org/10.2307/2695113},
doi = {10.2307/2695113},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyHLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GaleD01,
author = {Amy Gale and
Rodney G. Downey},
title = {On Genericity and Ershov's Hierarchy},
journal = {Math. Log. Q.},
volume = {47},
number = {2},
pages = {161--182},
year = {2001},
url = {https://doi.org/10.1002/1521-3870(200105)47:2\&\#60;161::AID-MALQ161\&\#62;3.0.CO;2-E},
doi = {10.1002/1521-3870(200105)47:2\&\#60;161::AID-MALQ161\&\#62;3.0.CO;2-E},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GaleD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DowneyHL01,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Geoffrey LaForte},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Randomness and Reducibility},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {316--327},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_28},
doi = {10.1007/3-540-44683-4\_28},
timestamp = {Sat, 19 Oct 2019 20:31:50 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DowneyHL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DowneyHN01,
author = {Rodney G. Downey and
Denis R. Hirschfeldt and
Andr{\'{e}} Nies},
editor = {Afonso Ferreira and
Horst Reichel},
title = {Randomness, Computability, and Density},
booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
Science, Dresden, Germany, February 15-17, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2010},
pages = {195--205},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44693-1\_17},
doi = {10.1007/3-540-44693-1\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DowneyHN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/DowneyFR00,
author = {Rodney G. Downey and
Michael R. Fellows and
Venkatesh Raman},
title = {The complexity of irredundant sets parameterized by size},
journal = {Discret. Appl. Math.},
volume = {100},
number = {3},
pages = {155--167},
year = {2000},
url = {https://doi.org/10.1016/S0166-218X(99)00185-7},
doi = {10.1016/S0166-218X(99)00185-7},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/DowneyFR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DowneyN00,
author = {Rodney G. Downey and
Andr{\'{e}} Nies},
title = {Undecidability Results for Low Complexity Time Classes},
journal = {J. Comput. Syst. Sci.},
volume = {60},
number = {2},
pages = {465--479},
year = {2000},
url = {https://doi.org/10.1006/jcss.1999.1678},
doi = {10.1006/JCSS.1999.1678},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DowneyN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CattellDDFL00,
author = {Kevin Cattell and
Michael J. Dinneen and
Rodney G. Downey and
Michael R. Fellows and
Michael A. Langston},
title = {On computing graph minor obstruction sets},
journal = {Theor. Comput. Sci.},
volume = {233},
number = {1-2},
pages = {107--127},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(97)00300-9},
doi = {10.1016/S0304-3975(97)00300-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CattellDDFL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/DowneyF99,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Parameterized Complexity},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4612-0515-9},
doi = {10.1007/978-1-4612-0515-9},
isbn = {978-1-4612-6798-0},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/DowneyF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyLN99,
author = {Rodney G. Downey and
Geoffrey LaForte and
Andr{\'{e}} Nies},
title = {Addendum to "Computably Enumerable Sets and Quasi-Reducibility"},
journal = {Ann. Pure Appl. Log.},
volume = {98},
number = {1-3},
pages = {295},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00061-X},
doi = {10.1016/S0168-0072(98)00061-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyLN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/DowneyFS99,
author = {Rodney G. Downey and
Michael R. Fellows and
Ulrike Stege},
title = {Computational Tractability: The View From Mars},
journal = {Bull. {EATCS}},
volume = {69},
pages = {73--97},
year = {1999},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/DowneyFS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyJ99,
author = {Rodney G. Downey and
Carl G. Jockusch Jr.},
title = {Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank
1},
journal = {J. Symb. Log.},
volume = {64},
number = {1},
pages = {45--52},
year = {1999},
url = {https://doi.org/10.2307/2586749},
doi = {10.2307/2586749},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyLL99,
author = {Rodney G. Downey and
Geoffrey LaForte and
Steffen Lempp},
title = {A Delta\({}^{\mbox{0}}\)\({}_{\mbox{2}}\) Set With Barely Sigma\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)
Degree},
journal = {J. Symb. Log.},
volume = {64},
number = {4},
pages = {1700--1718},
year = {1999},
url = {https://doi.org/10.2307/2586807},
doi = {10.2307/2586807},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/DowneyFVW99,
author = {Rodney G. Downey and
Michael R. Fellows and
Alexander Vardy and
Geoff Whittle},
title = {The Parametrized Complexity of Some Fundamental Problems in Coding
Theory},
journal = {{SIAM} J. Comput.},
volume = {29},
number = {2},
pages = {545--570},
year = {1999},
url = {https://doi.org/10.1137/S0097539797323571},
doi = {10.1137/S0097539797323571},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/DowneyFVW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyFJR98,
author = {Rodney G. Downey and
Zolt{\'{a}}n F{\"{u}}redi and
Carl G. Jockusch Jr. and
Lee A. Rubel},
title = {Difference Sets and Computability Theory},
journal = {Ann. Pure Appl. Log.},
volume = {93},
number = {1-3},
pages = {63--72},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00053-5},
doi = {10.1016/S0168-0072(97)00053-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyFJR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyS98,
author = {Rodney G. Downey and
Richard A. Shore},
title = {Splitting Theorems and the Jump Operator},
journal = {Ann. Pure Appl. Log.},
volume = {94},
number = {1-3},
pages = {45--52},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00066-3},
doi = {10.1016/S0168-0072(97)00066-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyLN98,
author = {Rodney G. Downey and
Geoffrey LaForte and
Andr{\'{e}} Nies},
title = {Computably Enumerable Sets and Quasi-Reducibility},
journal = {Ann. Pure Appl. Log.},
volume = {95},
number = {1-3},
pages = {1--35},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(98)00013-X},
doi = {10.1016/S0168-0072(98)00013-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyLN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyFR98,
author = {Rodney G. Downey and
Michael R. Fellows and
Kenneth W. Regan},
title = {Parameterized Circuit Complexity and the {W} Hierarchy},
journal = {Theor. Comput. Sci.},
volume = {191},
number = {1-2},
pages = {97--115},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(96)00317-9},
doi = {10.1016/S0304-3975(96)00317-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyFR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyF98,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Threshold Dominating Sets and an Improved Characterization of \emph{W}[2]},
journal = {Theor. Comput. Sci.},
volume = {209},
number = {1-2},
pages = {123--140},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00101-1},
doi = {10.1016/S0304-3975(97)00101-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/DowneyF98,
author = {Rodney G. Downey and
Lance Fortnow},
title = {Uniformly Hard Languages},
booktitle = {Proceedings of the 13th Annual {IEEE} Conference on Computational
Complexity, Buffalo, New York, USA, June 15-18, 1998},
pages = {228},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CCC.1998.694610},
doi = {10.1109/CCC.1998.694610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/DowneyF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CaiCDF97,
author = {Liming Cai and
Jianer Chen and
Rodney G. Downey and
Michael R. Fellows},
title = {On the parameterized complexity of short computation and factorization},
journal = {Arch. Math. Log.},
volume = {36},
number = {4-5},
pages = {321--337},
year = {1997},
url = {https://doi.org/10.1007/s001530050069},
doi = {10.1007/S001530050069},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CaiCDF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CaiCDF97,
author = {Liming Cai and
Jianer Chen and
Rodney G. Downey and
Michael R. Fellows},
title = {Advice Classes of Parameterized Tractability},
journal = {Ann. Pure Appl. Log.},
volume = {84},
number = {1},
pages = {119--138},
year = {1997},
url = {https://doi.org/10.1016/S0168-0072(95)00020-8},
doi = {10.1016/S0168-0072(95)00020-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CaiCDF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyL97,
author = {Rodney G. Downey and
Steffen Lempp},
title = {Contiguity and Distributivity in the Enumerable Turing Degrees},
journal = {J. Symb. Log.},
volume = {62},
number = {4},
pages = {1215--1240},
year = {1997},
url = {https://doi.org/10.2307/2275639},
doi = {10.2307/2275639},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CourcelleDF97,
author = {Bruno Courcelle and
Rodney G. Downey and
Michael R. Fellows},
title = {A Note on the Computability of Graph Minor Obstruction Sets for Monadic
Second Order Ideals},
journal = {J. Univers. Comput. Sci.},
volume = {3},
number = {11},
pages = {1194--1198},
year = {1997},
url = {https://doi.org/10.3217/jucs-003-11-1194},
doi = {10.3217/JUCS-003-11-1194},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CourcelleDF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Downey97,
author = {Rodney G. Downey},
title = {On the Universal Splitting Property},
journal = {Math. Log. Q.},
volume = {43},
pages = {311--320},
year = {1997},
url = {https://doi.org/10.1002/malq.19970430303},
doi = {10.1002/MALQ.19970430303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Downey97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BlaylockDL97,
author = {Rich Blaylock and
Rodney G. Downey and
Steffen Lempp},
title = {Infima in the Recursively Enumerable Weak Truth Table Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {38},
number = {3},
pages = {406--418},
year = {1997},
url = {https://doi.org/10.1305/ndjfl/1039700747},
doi = {10.1305/NDJFL/1039700747},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BlaylockDL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/DowneyN97,
author = {Rodney G. Downey and
Andr{\'{e}} Nies},
title = {Undecidability Results for Low Complexity Degree Structures},
booktitle = {Proceedings of the Twelfth Annual {IEEE} Conference on Computational
Complexity, Ulm, Germany, June 24-27, 1997},
pages = {128--132},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CCC.1997.612308},
doi = {10.1109/CCC.1997.612308},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/DowneyN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/DowneyFS97,
author = {Rodney G. Downey and
Michael R. Fellows and
Ulrike Stege},
editor = {Ronald L. Graham and
Jan Kratochv{\'{\i}}l and
Jaroslav Nesetril and
Fred S. Roberts},
title = {Parameterized complexity: {A} framework for systematically confronting
computational intractability},
booktitle = {Contemporary Trends in Discrete Mathematics: From {DIMACS} and {DIMATIA}
to the Future, Proceedings of a {DIMACS} Workshop, Stir{\'{\i}}n
Castle, Czech Republic, May 19-25, 1997},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {49},
pages = {49--99},
publisher = {{DIMACS/AMS}},
year = {1997},
url = {https://doi.org/10.1090/dimacs/049/04},
doi = {10.1090/DIMACS/049/04},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/DowneyFS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyH96,
author = {Rodney G. Downey and
Leo Harrington},
title = {There is No Fat Orbit},
journal = {Ann. Pure Appl. Log.},
volume = {80},
number = {3},
pages = {277--289},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(96)83748-1},
doi = {10.1016/0168-0072(96)83748-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/DowneyFR96,
author = {Rodney G. Downey and
Michael R. Fellows and
Kenneth W. Regan},
editor = {Paul Beame and
Samuel R. Buss},
title = {Descriptive complexity and the \emph{W} hierarchy},
booktitle = {Proof Complexity and Feasible Arithmetics, Proceedings of a {DIMACS}
Workshop, New Brunswick, New Jersey, USA, April 21-24, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {39},
pages = {119--134},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/039/07},
doi = {10.1090/DIMACS/039/07},
timestamp = {Sat, 30 Sep 2023 09:38:58 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/DowneyFR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/DowneyFT96,
author = {Rodney G. Downey and
Michael R. Fellows and
Udayan Taylor},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {The Parameterized Complexity of Relational Database Queries and an
Improved Characterization of {W[1]}},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {194--213},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 20:10:07 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/DowneyFT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AbrahamsonDF95,
author = {Karl R. Abrahamson and
Rodney G. Downey and
Michael R. Fellows},
title = {Fixed-Parameter Tractability and Completeness {IV:} On Completeness
for {W[P]} and {PSPACE} Analogues},
journal = {Ann. Pure Appl. Log.},
volume = {73},
number = {3},
pages = {235--276},
year = {1995},
url = {https://doi.org/10.1016/0168-0072(94)00034-Z},
doi = {10.1016/0168-0072(94)00034-Z},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AbrahamsonDF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BodlaenderDFHW95,
author = {Hans L. Bodlaender and
Rodney G. Downey and
Michael R. Fellows and
Michael T. Hallett and
Harold T. Wareham},
title = {Parameterized complexity analysis in computational biology},
journal = {Comput. Appl. Biosci.},
volume = {11},
number = {1},
pages = {49--57},
year = {1995},
url = {https://doi.org/10.1093/bioinformatics/11.1.49},
doi = {10.1093/BIOINFORMATICS/11.1.49},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BodlaenderDFHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaiCDF95,
author = {Liming Cai and
Jianer Chen and
Rodney G. Downey and
Michael R. Fellows},
title = {On the Structure of Parameterized Problems in {NP}},
journal = {Inf. Comput.},
volume = {123},
number = {1},
pages = {38--49},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1156},
doi = {10.1006/INCO.1995.1156},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CaiCDF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyS95,
author = {Rodney G. Downey and
Richard A. Shore},
title = {Degree Theoretic Definitions of the low\({}_{\mbox{2}}\) Recursively
Enumerable Sets},
journal = {J. Symb. Log.},
volume = {60},
number = {3},
pages = {727--756},
year = {1995},
url = {https://doi.org/10.2307/2275754},
doi = {10.2307/2275754},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/DowneyF95,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Fixed-Parameter Tractability and Completeness {I:} Basic Results},
journal = {{SIAM} J. Comput.},
volume = {24},
number = {4},
pages = {873--921},
year = {1995},
url = {https://doi.org/10.1137/S0097539792228228},
doi = {10.1137/S0097539792228228},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/DowneyF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyF95,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Fixed-Parameter Tractability and Completeness {II:} On Completeness
for {W[1]}},
journal = {Theor. Comput. Sci.},
volume = {141},
number = {1{\&}2},
pages = {109--131},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00097-3},
doi = {10.1016/0304-3975(94)00097-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BodlaenderDFW95,
author = {Hans L. Bodlaender and
Rodney G. Downey and
Michael R. Fellows and
Harold T. Wareham},
title = {The Parameterized Complexity of Sequence Alignment and Consensus},
journal = {Theor. Comput. Sci.},
volume = {147},
number = {1{\&}2},
pages = {31--54},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00251-D},
doi = {10.1016/0304-3975(94)00251-D},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BodlaenderDFW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/CholakDS95,
author = {Peter Cholak and
Rod Downey and
Richard A. Shore},
editor = {Johann A. Makowsky and
Elena V. Ravve},
title = {Intervals Without Critical Triples},
booktitle = {Proceedings of the Annual European Summer Meeting of the Association
of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
1995},
series = {Lecture Notes in Logic},
volume = {11},
pages = {17--43},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-662-22108-2\_2},
doi = {10.1007/978-3-662-22108-2\_2},
timestamp = {Fri, 15 May 2020 14:19:27 +0200},
biburl = {https://dblp.org/rec/conf/logicColl/CholakDS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DowneyL94,
author = {Rodney G. Downey and
Steffen Lempp},
title = {There is no plus-capping degree},
journal = {Arch. Math. Log.},
volume = {33},
number = {2},
pages = {109--119},
year = {1994},
url = {https://doi.org/10.1007/BF01352932},
doi = {10.1007/BF01352932},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DowneyL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyY94,
author = {Rodney G. Downey and
Yang Yue},
title = {A Rank one Cohesive Set},
journal = {Ann. Pure Appl. Log.},
volume = {68},
number = {2},
pages = {161--171},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90072-8},
doi = {10.1016/0168-0072(94)90072-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyGM94,
author = {Rodney G. Downey and
William I. Gasarch and
Michael F. Moses},
title = {The Structure of the Honest Polynomial m-Degrees},
journal = {Ann. Pure Appl. Log.},
volume = {70},
number = {2},
pages = {113--139},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90027-2},
doi = {10.1016/0168-0072(94)90027-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyGM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyH94,
author = {Rodney G. Downey and
Christine Ann Haught},
title = {Embedding Lattices into the wtt-Degrees below 0'},
journal = {J. Symb. Log.},
volume = {59},
number = {4},
pages = {1360--1382},
year = {1994},
url = {https://doi.org/10.2307/2275710},
doi = {10.2307/2275710},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/BodlaenderDFW94,
author = {Hans L. Bodlaender and
Rodney G. Downey and
Michael R. Fellows and
Harold T. Wareham},
editor = {Maxime Crochemore and
Dan Gusfield},
title = {The Parameterized Complexity of Sequence Alignment and Consensus},
booktitle = {Combinatorial Pattern Matching, 5th Annual Symposium, {CPM} 94, Asilomar,
California, USA, June 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {807},
pages = {15--30},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58094-8\_2},
doi = {10.1007/3-540-58094-8\_2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpm/BodlaenderDFW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CaiCDF94,
author = {Liming Cai and
Jianer Chen and
Rodney G. Downey and
Michael R. Fellows},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {On the Structure of Parameterized Problems in {NP} (Extended Abstract)},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {509--520},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_167},
doi = {10.1007/3-540-57785-8\_167},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CaiCDF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerDJS93,
author = {Douglas A. Cenzer and
Rodney G. Downey and
Carl G. Jockusch Jr. and
Richard A. Shore},
title = {Countable Thin Pi\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) Classes},
journal = {Ann. Pure Appl. Log.},
volume = {59},
number = {2},
pages = {79--139},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90001-T},
doi = {10.1016/0168-0072(93)90001-T},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerDJS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyS93a,
author = {Rodney G. Downey and
Michael Stob},
title = {Friedberg Splittings of Recursively Enumerable Sets},
journal = {Ann. Pure Appl. Log.},
volume = {59},
number = {3},
pages = {175--199},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90092-R},
doi = {10.1016/0168-0072(93)90092-R},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyS93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey93,
author = {Rodney G. Downey},
title = {Every Recursive Boolean Algebra is Isomorphic to One with Incomplete
Atoms},
journal = {Ann. Pure Appl. Log.},
volume = {60},
number = {3},
pages = {193--206},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90075-O},
doi = {10.1016/0168-0072(93)90075-O},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CholakD93,
author = {Peter Cholak and
Rodney G. Downey},
title = {Lattice Nonembeddings and Intervals of the Recursively Enumerable
Degrees},
journal = {Ann. Pure Appl. Log.},
volume = {61},
number = {3},
pages = {195--221},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90220-8},
doi = {10.1016/0168-0072(93)90220-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CholakD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyS93,
author = {Rodney G. Downey and
Michael Stob},
title = {Splitting Theorems in Recursion Theory},
journal = {Ann. Pure Appl. Logic},
volume = {65},
number = {1},
pages = {1--106},
year = {1993},
url = {https://doi.org/10.1016/0168-0072(93)90234-5},
doi = {10.1016/0168-0072(93)90234-5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/DowneyS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakD93,
author = {Peter Cholak and
Rodney G. Downey},
title = {On the Cantor-Bendixon Rank of Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {58},
number = {2},
pages = {629--640},
year = {1993},
url = {https://doi.org/10.2307/2275223},
doi = {10.2307/2275223},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CholakD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LemppDS93,
author = {Steffen Lempp and
Rodney G. Downey and
Richard A. Shore},
title = {Highness and Bounding Minimal Pairs},
journal = {Math. Log. Q.},
volume = {39},
pages = {475--491},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390151},
doi = {10.1002/MALQ.19930390151},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LemppDS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/DowneyEF93,
author = {Rodney G. Downey and
Patricia A. Evans and
Michael R. Fellows},
editor = {Lenny Pitt},
title = {Parameterized Learning Complexity},
booktitle = {Proceedings of the Sixth Annual {ACM} Conference on Computational
Learning Theory, {COLT} 1993, Santa Cruz, CA, USA, July 26-28, 1993},
pages = {51--57},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/168304.168311},
doi = {10.1145/168304.168311},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/DowneyEF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AbrahamsonDF93,
author = {Karl R. Abrahamson and
Rodney G. Downey and
Michael R. Fellows},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {Fixed-Parameter Intractability {II} (Extended Abstract)},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {374--385},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_38},
doi = {10.1007/3-540-56503-5\_38},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AbrahamsonDF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BaileyD92,
author = {Colin Bailey and
Rodney G. Downey},
title = {Tabular Degrees in alpha-Recursion Theory},
journal = {Ann. Pure Appl. Log.},
volume = {55},
number = {3},
pages = {205--236},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90036-Y},
doi = {10.1016/0168-0072(92)90036-Y},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BaileyD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyS92,
author = {Rodney G. Downey and
Theodore A. Slaman},
title = {On co-Simple Isols and Their Intersection Types},
journal = {Ann. Pure Appl. Log.},
volume = {56},
number = {1-3},
pages = {221--237},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90074-A},
doi = {10.1016/0168-0072(92)90074-A},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Downey92,
author = {Rodney G. Downey},
title = {Nondiamond Theorems for Polynomial Time Reducibility},
journal = {J. Comput. Syst. Sci.},
volume = {45},
number = {3},
pages = {385--395},
year = {1992},
url = {https://doi.org/10.1016/0022-0000(92)90032-E},
doi = {10.1016/0022-0000(92)90032-E},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Downey92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/DowneyF92,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Fixed-Parameter Intractability},
booktitle = {Proceedings of the Seventh Annual Structure in Complexity Theory Conference,
Boston, Massachusetts, USA, June 22-25, 1992},
pages = {36--49},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SCT.1992.215379},
doi = {10.1109/SCT.1992.215379},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/DowneyF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/CholakKDKFKGS92,
author = {Peter Cholak and
Efim B. Kinber and
Rodney G. Downey and
Martin Kummer and
Lance Fortnow and
Stuart A. Kurtz and
William I. Gasarch and
Theodore A. Slaman},
editor = {David Haussler},
title = {Degrees of Inferability},
booktitle = {Proceedings of the Fifth Annual {ACM} Conference on Computational
Learning Theory, {COLT} 1992, Pittsburgh, PA, USA, July 27-29, 1992},
pages = {180--192},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/130385.130406},
doi = {10.1145/130385.130406},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/CholakKDKFKGS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DowneyF92,
author = {Rodney G. Downey and
Michael R. Fellows},
editor = {Klaus Ambos{-}Spies and
Steven Homer and
Uwe Sch{\"{o}}ning},
title = {Fixed Parameter Tractability and Completeness},
booktitle = {Complexity Theory: Current Research, Dagstuhl Workshop, February 2-8,
1992},
pages = {191--225},
publisher = {Cambridge University Press},
year = {1992},
timestamp = {Mon, 15 Jul 2002 11:29:49 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyS91,
author = {Rod Downey and
Mike Stob},
title = {Jumps of Hemimaximal Sets},
journal = {Math. Log. Q.},
volume = {37},
number = {8},
pages = {113--120},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370802},
doi = {10.1002/MALQ.19910370802},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Downey91,
author = {Rodney G. Downey},
title = {On {\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\) Classes and their Ranked
Points},
journal = {Notre Dame J. Formal Log.},
volume = {32},
number = {4},
pages = {499--512},
year = {1991},
url = {https://doi.org/10.1305/ndjfl/1093635924},
doi = {10.1305/NDJFL/1093635924},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Downey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Downey91,
author = {Rodney G. Downey},
title = {On Computational Complexity and Honest Polynomial Degrees},
journal = {Theor. Comput. Sci.},
volume = {78},
number = {2},
pages = {305--317},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90354-5},
doi = {10.1016/0304-3975(91)90354-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Downey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChongD90,
author = {Chi Tat Chong and
Rodney G. Downey},
title = {Minimal Degrees Recursive in 1-Generic Degrees},
journal = {Ann. Pure Appl. Log.},
volume = {48},
number = {3},
pages = {215--225},
year = {1990},
url = {https://doi.org/10.1016/0168-0072(90)90020-3},
doi = {10.1016/0168-0072(90)90020-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ChongD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey90,
author = {Rodney G. Downey},
title = {Corrigendum: Correction to "Undecidability of L(F\({}_{\mbox{infty}}\))
and Other Lattices of r.e. Substructures"},
journal = {Ann. Pure Appl. Log.},
volume = {48},
number = {3},
pages = {299--301},
year = {1990},
url = {https://doi.org/10.1016/0168-0072(90)90025-W},
doi = {10.1016/0168-0072(90)90025-W},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey90a,
author = {Rodney G. Downey},
title = {Lattice Nonembeddings and Initial Segments of the Recursively Enumerable
Degrees},
journal = {Ann. Pure Appl. Log.},
volume = {49},
number = {2},
pages = {97--119},
year = {1990},
url = {https://doi.org/10.1016/0168-0072(90)90062-7},
doi = {10.1016/0168-0072(90)90062-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey89,
author = {Rodney G. Downey},
title = {Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part
{I:} Density},
journal = {Ann. Pure Appl. Log.},
volume = {41},
number = {1},
pages = {1--26},
year = {1989},
url = {https://doi.org/10.1016/0168-0072(89)90005-5},
doi = {10.1016/0168-0072(89)90005-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyS89,
author = {Rodney G. Downey and
Theodore A. Slaman},
title = {Completely Mitotic r.e. Degrees},
journal = {Ann. Pure Appl. Log.},
volume = {41},
number = {2},
pages = {119--152},
year = {1989},
url = {https://doi.org/10.1016/0168-0072(89)90011-0},
doi = {10.1016/0168-0072(89)90011-0},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyR89,
author = {Rodney G. Downey and
Jeffrey B. Remmel},
title = {Classification of Degree Classes Associated with r.e. Subspaces},
journal = {Ann. Pure Appl. Log.},
volume = {42},
number = {2},
pages = {105--124},
year = {1989},
url = {https://doi.org/10.1016/0168-0072(89)90051-1},
doi = {10.1016/0168-0072(89)90051-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey89a,
author = {Rodney G. Downey},
title = {Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part
{II:} Nonbounding},
journal = {Ann. Pure Appl. Log.},
volume = {44},
number = {3},
pages = {153--172},
year = {1989},
url = {https://doi.org/10.1016/0168-0072(89)90031-6},
doi = {10.1016/0168-0072(89)90031-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Downey89,
author = {Rodney G. Downey},
title = {Recursively Enumerable m- and tt-Degrees. {I:} The Quantity of m-
Degrees},
journal = {J. Symb. Log.},
volume = {54},
number = {2},
pages = {553--567},
year = {1989},
url = {https://doi.org/10.2307/2274869},
doi = {10.2307/2274869},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Downey89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Downey89a,
author = {Rodney G. Downey},
title = {On Hyper-Torre Isols},
journal = {J. Symb. Log.},
volume = {54},
number = {4},
pages = {1160--1166},
year = {1989},
url = {https://doi.org/10.1017/S0022481200041050},
doi = {10.1017/S0022481200041050},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Downey89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyM89,
author = {Rodney G. Downey and
Michael F. Moses},
title = {On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive
Linear Orders},
journal = {Math. Log. Q.},
volume = {35},
number = {3},
pages = {237--246},
year = {1989},
url = {https://doi.org/10.1002/malq.19890350307},
doi = {10.1002/MALQ.19890350307},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Downey89,
author = {Rod Downey},
title = {A Contiguous Nonbranching Degree},
journal = {Math. Log. Q.},
volume = {35},
number = {4},
pages = {375--383},
year = {1989},
url = {https://doi.org/10.1002/malq.19890350411},
doi = {10.1002/MALQ.19890350411},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Downey89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/DowneyHGM89,
author = {Rodney G. Downey and
Steven Homer and
William I. Gasarch and
Michael F. Moses},
title = {On Honest Polynomial Reductions, Relativizations, and P=NP},
booktitle = {Proceedings: Fourth Annual Structure in Complexity Theory Conference,
University of Oregon, Eugene, Oregon, USA, June 19-22, 1989},
pages = {196--207},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SCT.1989.41825},
doi = {10.1109/SCT.1989.41825},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/DowneyHGM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Downey88,
author = {Rodney G. Downey},
title = {Recursively enumerable \emph{m}- and \emph{tt}-degrees {II:} The distribution
of singular degrees},
journal = {Arch. Math. Log.},
volume = {27},
number = {2},
pages = {135--147},
year = {1988},
url = {https://doi.org/10.1007/BF01620762},
doi = {10.1007/BF01620762},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Downey88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Downey87,
author = {Rodney G. Downey},
title = {Localization of a theorem of Ambos-Spies and the strong anti-splitting
property},
journal = {Arch. Math. Log.},
volume = {26},
number = {1},
pages = {127--136},
year = {1987},
url = {https://doi.org/10.1007/BF02017497},
doi = {10.1007/BF02017497},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Downey87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey87,
author = {Rodney G. Downey},
title = {Maximal theories},
journal = {Ann. Pure Appl. Log.},
volume = {33},
pages = {245--282},
year = {1987},
url = {https://doi.org/10.1016/0168-0072(87)90083-2},
doi = {10.1016/0168-0072(87)90083-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyR87,
author = {Rodney G. Downey and
Jeffrey B. Remmel},
title = {Automorphisms and Recursive Structures},
journal = {Math. Log. Q.},
volume = {33},
number = {4},
pages = {339--345},
year = {1987},
url = {https://doi.org/10.1002/malq.19870330409},
doi = {10.1002/MALQ.19870330409},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey86a,
author = {Rodney G. Downey},
title = {Sound, totally sound, and unsound recursive equivalence types},
journal = {Ann. Pure Appl. Log.},
volume = {31},
pages = {1--20},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90060-6},
doi = {10.1016/0168-0072(86)90060-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyS86,
author = {Rodney G. Downey and
Michael Stob},
title = {Structural interactions of the recursively enumerable {T-} and W-degrees},
journal = {Ann. Pure Appl. Log.},
volume = {31},
pages = {205--236},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90071-0},
doi = {10.1016/0168-0072(86)90071-0},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Downey86,
author = {Rodney G. Downey},
title = {Undecidability of L(F\({}_{\mbox{{\(\infty\)}}}\)) and other lattices
of r.e. substructures},
journal = {Ann. Pure Appl. Log.},
volume = {32},
pages = {17--26},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90041-2},
doi = {10.1016/0168-0072(86)90041-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Downey86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyK86,
author = {Rodney G. Downey and
Stuart A. Kurtz},
title = {Recursion theory and ordered groups},
journal = {Ann. Pure Appl. Log.},
volume = {32},
pages = {137--151},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90049-7},
doi = {10.1016/0168-0072(86)90049-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyW86,
author = {Rodney G. Downey and
Lawrence V. Welch},
title = {Splitting Properties of R. E. Sets and Degrees},
journal = {J. Symb. Log.},
volume = {51},
number = {1},
pages = {88--109},
year = {1986},
url = {https://doi.org/10.2307/2273946},
doi = {10.2307/2273946},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Downey86,
author = {Rodney G. Downey},
title = {Bases of Supermaximal Subspaces and Steinitz Systems {II}},
journal = {Math. Log. Q.},
volume = {32},
number = {13-16},
pages = {203--210},
year = {1986},
url = {https://doi.org/10.1002/malq.19860321304},
doi = {10.1002/MALQ.19860321304},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Downey86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyH85,
author = {Rodney G. Downey and
Geoffrey R. Hird},
title = {Automorphisms of Supermaximal Subspaces},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {1--9},
year = {1985},
url = {https://doi.org/10.2307/2273783},
doi = {10.2307/2273783},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyK85,
author = {Rodney G. Downey and
Iraj Kalantari},
title = {Effective Extensions of Linear Forms on a Recursive Vector Space Over
a Recursive Field},
journal = {Math. Log. Q.},
volume = {31},
number = {13},
pages = {193--200},
year = {1985},
url = {https://doi.org/10.1002/malq.19850311302},
doi = {10.1002/MALQ.19850311302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Downey84,
author = {Rodney G. Downey},
title = {Co-Immune Subspaces and Complementation in {V}},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {528--538},
year = {1984},
url = {https://doi.org/10.2307/2274184},
doi = {10.2307/2274184},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Downey84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyR84,
author = {Rodney G. Downey and
Jeffrey B. Remmel},
title = {The Universal Complementation Property},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1125--1136},
year = {1984},
url = {https://doi.org/10.2307/2274265},
doi = {10.2307/2274265},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AshD84,
author = {Christopher J. Ash and
Rodney G. Downey},
title = {Decidable Subspaces and Recursively Enumerable Subspaces},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1137--1145},
year = {1984},
url = {https://doi.org/10.2307/2274266},
doi = {10.2307/2274266},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AshD84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Downey84a,
author = {Rodney G. Downey},
title = {Bases of Supermaximal Subspaces and Steinitz Systems. {I}},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1146--1159},
year = {1984},
url = {https://doi.org/10.2307/2274267},
doi = {10.2307/2274267},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Downey84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Downey84,
author = {Rod Downey},
title = {Some Remarks on a Theorem of Iraj Kalantari Concerning convexity and
Recursion Theory},
journal = {Math. Log. Q.},
volume = {30},
number = {19-24},
pages = {295--302},
year = {1984},
url = {https://doi.org/10.1002/malq.19840301903},
doi = {10.1002/MALQ.19840301903},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Downey84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Downey84a,
author = {Rodney G. Downey},
title = {A Note on Decompositions of Recursively Enumerable Subspaces},
journal = {Math. Log. Q.},
volume = {30},
number = {30},
pages = {465--470},
year = {1984},
url = {https://doi.org/10.1002/malq.19840303002},
doi = {10.1002/MALQ.19840303002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Downey84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Downey83,
author = {Rod Downey},
title = {On a Question of a. Retzlaff},
journal = {Math. Log. Q.},
volume = {29},
number = {6},
pages = {379--384},
year = {1983},
url = {https://doi.org/10.1002/malq.19830290605},
doi = {10.1002/MALQ.19830290605},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Downey83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-02 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
