| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rod Downey |
A Parameterized Complexity Tutorial.  |
LATA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Brodhead, Rod Downey, Keng Meng Ng |
Bounded Randomness. |
Computation, Physics and Beyond |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Verónica Becher, Laurent Bienvenu, Rodney G. Downey, Elvira Mayordomo |
Computability, Complexity and Randomness (Dagstuhl Seminar 12021). |
Dagstuhl Reports |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara F. Csima, Rod Downey, Keng Meng Ng |
Limits on jump inversion for strong reducibilities. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | George Barmpalias, Rod Downey, Keng Meng Ng |
Jump inversions inside effectively closed sets and applications to randomness. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Dimitrios M. Thilikos |
Confronting intractability via parameters. |
Computer Science Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Asher M. Kach |
Euclidean Functions of Computable Euclidean Domains. |
Notre Dame Journal of Formal Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Noam Greenberg, Carl G. Jockusch Jr., Kevin G. Milans |
Binary subtrees with few labeled paths. |
Combinatorica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Dimitrios M. Thilikos |
Confronting Intractability via Parameters |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Keng Meng Ng |
Effective Packing Dimension and Traceability. |
Notre Dame Journal of Formal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky |
Decidability and Computability of Certain Torsion-Free Abelian Groups. |
Notre Dame Journal of Formal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Laurent Bienvenu, Rod Downey |
Kolmogorov Complexity and Solovay Functions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Laurent Bienvenu, Rod Downey |
Kolmogorov Complexity and Solovay Functions. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Keng Meng Ng |
Lowness for Demuth Randomness. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Bart Kastermans, Steffen Lempp |
On computable self-embeddings of computable linear orderings. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin |
On problems without polynomial kernels. |
J. Comput. Syst. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin |
Space complexity of Abelian groups. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Noam Greenberg |
Turing degrees of reals of positive effective packing dimension. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Noam Greenberg, Joseph S. Miller |
The upward closure of a perfect thin class. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (eds.) |
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 |
Algorithmic-Logical Theory of Infinite Structures |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Catherine McCartin, Frances A. Rosamond |
Parameterized approximation of dominating set problems. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Cholak, Rodney G. Downey, Leo Harrington |
The Complexity of Orbits of Computably Enumerable Sets. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Michael A. Langston |
The Computer Journal Special Issue on Parameterized Complexity: Foreword by the Guest Editors. |
Comput. J. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Danny Hermelin |
On Problems without Polynomial Kernels (Extended Abstract). |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer |
Bounded fixed-parameter tractability and reducibility. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey |
Foreword. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Catherine McCartin |
Online promise problems with online width metrics. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte |
Undecidability of the structure of the Solovay degrees of c.e. reals. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Jan Reimann |
Algorithmic randomness. |
Scholarpedia |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Michael A. Langston, Rolf Niedermeier |
Editorial. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller |
Every 1-generic computes a properly 1-generic. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, André Nies, Rebecca Weber, Liang Yu |
Lowness and Pi20 nullsets. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Liang Yu |
Arithmetical Sacks Forcing. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991) Primary 03D28, Secondary 03D65 |
| 1 | Rod Downey, Noam Greenberg |
Totally < ωω Computably Enumerable and m-topped Degrees. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Wolfgang Merkle, Jan Reimann |
Schnorr dimension. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Sebastiaan Terwijn |
Calibrating Randomness. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Robert Goldblatt |
Foreword. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Carl G. Jockusch Jr., Joseph S. Miller |
On self-embeddings of computable linear orderings. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Catherine McCartin |
Parameterized Approximation Problems. |
IWPEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger (eds.) |
Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005 |
Exact Algorithms and Fixed-Parameter Tractability |
2006 |
DBLP BibTeX RDF |
|
| 1 | Richard Coles, Rodney G. Downey, Carl G. Jockusch Jr., Geoffrey LaForte |
Completing pseudojump operators. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger |
05301 Summary - Exact Algorithms and Fixed-Parameter Tractability. |
Exact Algorithms and Fixed-Parameter Tractability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger |
05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability. |
Exact Algorithms and Fixed-Parameter Tractability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Catherine McCartin |
Bounded Persistence Pathwidth. |
CATS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Wolfgang Merkle, Jan Reimann |
Schnorr Dimension. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Evan J. Griffiths, Geoffrey LaForte |
On Schnorr and computable randomness, martingales, and machines. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Guohua Wu, Xizhong Zheng |
Degrees of d. c. e. reals. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Liang Yu |
There Are No Maximal Low D.C.E. Degrees. |
Notre Dame Journal of Formal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Angsheng Li, Guohua Wu |
Complementing cappable degrees in the difference hierarchy. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Evan J. Griffiths, Stephanie Reid |
On Kurtz randomness. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Evan J. Griffiths |
Schnorr randomness. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Liang Yu, Decheng Ding, Rodney G. Downey |
The Kolmogorov complexity of random reals. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte |
Randomness and reducibility. |
J. Comput. Syst. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey |
Some Recent Progress in Algorithmic Randomness. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Catherine McCartin |
Online Problems, Pathwidth, and Persistence. |
IWPEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Frank K. H. A. Dehne (eds.) |
Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings |
IWPEC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Catherine McCartin |
Some New Directions and Questions in Parameterized Complexity. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Lance Fortnow |
Uniformly hard languages. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Geoffrey LaForte, Richard A. Shore |
Decomposition and infima in the computably enumerable degrees. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Vladimir Estivill-Castro, Michael R. Fellows, Elena Prieto, Frances A. Rosamond |
Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Sebastiaan Terwijn |
Computably Enumerable Reals and Uniformly Presentable Ideals. |
Math. Log. Q. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Geoffrey LaForte |
Presentations of computably enumerable reals. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey |
Roman Murawski, Recursive Functions and Metamathematics. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Steffen Lempp |
Contiguity and Distributivity in The Enumerable Turing Degrees - Corrigendum. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Peter Cholak, Rodney G. Downey, Stephen Walk |
Maximal Contiguous Degrees. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan |
Trivial Reals. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Evan J. Griffiths |
Schnorr Randomness. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, André Nies |
Randomness, Computability, and Density. |
SIAM J. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy Gale, Rodney G. Downey |
On Genericity and Ershov's Hierarchy. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon |
A delta02 Set with No Infinite Low Subset in Either It or Its Complement. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter Cholak, Rodney G. Downey, Eberhard Herrmann |
Some orbits for E. |
Ann. Pure Appl. Logic |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows |
Index sets and parametric reductions. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Index set, Parameterized complexity |
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte |
Randomness and Reducibility. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, André Nies |
Randomness, Computability, and Density. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Cattell, Michael J. Dinneen, Rodney G. Downey, Michael R. Fellows, Michael A. Langston |
On computing graph minor obstruction sets. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Venkatesh Raman |
The complexity of irredundant sets parameterized by size. |
Discrete Applied Mathematics |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, André Nies |
Undecidability Results for Low Complexity Time Classes. |
J. Comput. Syst. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Geoffrey LaForte, Steffen Lempp |
A Delta02 Set With Barely Sigma02 Degree. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Carl G. Jockusch Jr. |
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Ulrike Stege |
Computational Tractability: The View From Mars. |
Bulletin of the EATCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Alexander Vardy, Geoff Whittle |
The Parametrized Complexity of Some Fundamental Problems in Coding Theory. |
SIAM J. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows |
Threshold Dominating Sets and an Improved Characterization of W[2]. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows, Kenneth W. Regan |
Parameterized Circuit Complexity and the W Hierarchy. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Richard A. Shore |
Splitting Theorems and the Jump Operator. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Geoffrey LaForte, André Nies |
Computably Enumerable Sets and Quasi-Reducibility. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Zoltán Füredi, Carl G. Jockusch Jr., Lee A. Rubel |
Difference Sets and Computability Theory. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Lance Fortnow |
Uniformly Hard Languages. (PDF / PS) |
IEEE Conference on Computational Complexity |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey |
On the Universal Splitting Property. |
Math. Log. Q. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Rich Blaylock, Rodney G. Downey, Steffen Lempp |
Infima in the Recursively Enumerable Weak Truth Table Degrees. |
Notre Dame Journal of Formal Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Steffen Lempp |
Contiguity and Distributivity in the Enumerable Turing Degrees. |
J. Symb. Log. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bruno Courcelle, Rodney G. Downey, Michael R. Fellows |
A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows |
Advice Classes of Parameterized Tractability. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows |
On the parameterized complexity of short computation and factorization. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, André Nies |
Undecidability Results for Low Complexity Degree Structures. (PDF / PS) |
IEEE Conference on Computational Complexity |
1997 |
DBLP DOI BibTeX RDF |
undecidability results, low complexity degree structures, EXPTIME degrees, polynomial time Turing, many-one reducibility, coding method, ideal lattices, hyper-polynomial time classes, Boolean algebra, Boolean algebras |
| 1 | Rodney G. Downey, Leo Harrington |
There is No Fat Orbit. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, Harold T. Wareham |
The Parameterized Complexity of Sequence Alignment and Consensus. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Michael R. Fellows |
Fixed-Parameter Tractability and Completeness II: On Completeness for W[1]. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows |
On the Structure of Parameterized Problems in NP. |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")