default search action
BibTeX records: Rodney G. Downey
@book{DBLP:series/utcs/Downey24, author = {Rod Downey}, title = {Computability and Complexity - Foundations and Tools for Pursuing Scientific Applications}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-53744-8}, doi = {10.1007/978-3-031-53744-8}, isbn = {978-3-031-53743-1}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/utcs/Downey24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computability/AmbosSpiesDM24, author = {Klaus Ambos{-}Spies and Rod Downey and Martin Monath}, title = {Lowness properties for strong reducibilities and the computational power of maximal sets}, journal = {Comput.}, volume = {13}, number = {1}, pages = {1--56}, year = {2024}, url = {https://doi.org/10.3233/COM-220432}, doi = {10.3233/COM-220432}, timestamp = {Thu, 02 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computability/AmbosSpiesDM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/DowneyGQ24, author = {Rod Downey and Noam Greenberg and Long Qian}, editor = {Ludovic Levy Patey and Elaine Pimentel and Lorenzo Galeotti and Florin Manea}, title = {Some Open Questions and Recent Results on Computable Banach Spaces}, booktitle = {Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14773}, pages = {10--26}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-64309-5\_2}, doi = {10.1007/978-3-031-64309-5\_2}, timestamp = {Sat, 20 Jul 2024 12:56:19 +0200}, biburl = {https://dblp.org/rec/conf/cie/DowneyGQ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Sat, 08 Jun 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 = {Sun, 04 Aug 2024 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 = {Wed, 17 Apr 2024 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 = {Thu, 08 Aug 2024 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 {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 = {Fri, 07 Jun 2024 01:00:00 +0200}, 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/lfcs/HallettW94, author = {Bruce M. Kapron and Michael R. Fellows and Rodney G. Downey and Michael T. Hallett and Harold T. Wareham}, editor = {Anil Nerode and Yuri V. Matiyasevich}, title = {The Parameterized Complexity of Some Problems in Logic and Linguistics}, booktitle = {Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {813}, pages = {89--100}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58140-5\_10}, doi = {10.1007/3-540-58140-5\_10}, timestamp = {Sat, 06 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/HallettW94.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 {III:} Some Structural Aspects of the {W} Hierarchy}, booktitle = {Complexity Theory: Current Research, Dagstuhl Workshop, February 2-8, 1992}, pages = {191--225}, publisher = {Cambridge University Press}, year = {1992}, timestamp = {Tue, 04 Jun 2024 01:00:00 +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} }
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.