Joseph S. Miller

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 20

Top Topics

Continuous Functions

Randomly Distributed

Merging Operators

Symmetric Difference

Top Venues

Ann. Pure Appl. Log.

Publications

Noam Greenberg, Matthew Harrison-Trainor, Joseph S. Miller, Dan Turetsky
Enumerations of families closed under finite differences. Comput. 13 (1) (2024)
Steffen Lempp, Joseph S. Miller, Arno Pauly, Mariya Ivanova Soskova, Manlio Valenti
Minimal covers in the Weihrauch degrees. CoRR (2023)
Steffen Lempp, Joseph S. Miller, André Nies, Mariya Ivanova Soskova
Maximal Towers and Ultrafilter Bases in Computability Theory. J. Symb. Log. 88 (3) (2023)
Uri Andrews, Julia F. Knight, Rutger Kuyper, Joseph S. Miller, Mariya Ivanova Soskova
Expanding the Reals by continuous Functions Adds no Computational Power. J. Symb. Log. 88 (3) (2023)
Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova
Pa Relative to an Enumeration Oracle. J. Symb. Log. 88 (4) (2023)
Uri Andrews, Peter M. Gerdes, Steffen Lempp, Joseph S. Miller, Noah David Schweber
Computability and the Symmetric Difference Operator. Log. J. IGPL 30 (3) (2022)
Hristo Aleksndrov Ganchev, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova
A Structural Dichotomy in the Enumeration Degrees. J. Symb. Log. 87 (2) (2022)
Rupert Hölzl, Wolfgang Merkle, Joseph S. Miller, Frank Stephan, Liang Yu
Chaitin's ω as a continuous function. J. Symb. Log. 85 (1) (2020)
Noam Greenberg, Joseph S. Miller, André Nies
Computing from projections of random points. J. Math. Log. 20 (1) (2020)
Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
Connected choice and the Brouwer fixed point theorem. J. Math. Log. 19 (1) (2019)
Joseph S. Miller, Mariya Ivanova Soskova
Corrigendum to "Advice classes of parameterized tractability" [Ann. Pure Appl. Logic 84 (1) (1997) 119-138]. Ann. Pure Appl. Log. 169 (5) (2018)
Noam Greenberg, Joseph S. Miller, Benoit Monin, Daniel Turetsky
-Triviality. Notre Dame J. Formal Log. 59 (2) (2018)
Noam Greenberg, Joseph S. Miller, Alexander Shen, Linda Brown Westrick
Dimension 1 sequences are close to randoms. Theor. Comput. Sci. 705 (2018)
Mushfeq Khan, Joseph S. Miller
Forcing with Bushy Trees. Bull. Symb. Log. 23 (2) (2017)
Noam Greenberg, Joseph S. Miller, Alexander Shen, Linda Brown Westrick
Dimension 1 sequences are close to randoms. CoRR (2017)
Rutger Kuyper, Joseph S. Miller
Nullifying randomness and genericity using symmetric difference. Ann. Pure Appl. Log. 168 (9) (2017)
Joseph S. Miller
On Work of Barmpalias and Lewis-Pye: A Derivation on the D.C.E. Reals. Computability and Complexity (2017)
Uri Andrews, Mingzhong Cai, Iskander Sh. Kalimullin, Steffen Lempp, Joseph S. Miller, Antonio Montalbán
The complements of Lower cones of Degrees and the degree spectra of Structures. J. Symb. Log. 81 (3) (2016)
Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly
The Brouwer Fixed Point Theorem Revisited. CiE (2016)
Mingzhong Cai, Steffen Lempp, Joseph S. Miller, Mariya Ivanova Soskova
On Kalimullin pairs. Comput. 5 (2) (2016)
Joseph S. Miller, Jason Rute
Energy randomness. CoRR (2015)
Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
Counting the changes of random Δ20 sets. J. Log. Comput. 25 (4) (2015)
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies
Denjoy, Demuth and density. J. Math. Log. 14 (1) (2014)
Steffen Lempp, Joseph S. Miller, Keng Meng Ng, Daniel D. Turetsky, Rebecca Weber
Lowness for effective Hausdorff dimension. J. Math. Log. 14 (2) (2014)
Mingzhong Cai, Rodney G. Downey, Rachel Epstein, Steffen Lempp, Joseph S. Miller
Random strings and tt-degrees of Turing complete C.E. sets. Log. Methods Comput. Sci. 10 (3) (2014)
Uri Andrews, Steffen Lempp, Joseph S. Miller, Keng Meng Ng, Luca San Mauro, Andrea Sorbi
Universal computably Enumerable Equivalence Relations. J. Symb. Log. 79 (1) (2014)
Laurent Bienvenu, Adam R. Day, Noam Greenberg, Antonín Kucera, Joseph S. Miller, André Nies, Dan Turetsky
Computing k-Trivial Sets by Incomplete Random Sets. Bull. Symb. Log. 20 (1) (2014)
Uri Andrews, Peter Gerdes, Joseph S. Miller
The degrees of bi-hyperhyperimmune sets. Ann. Pure Appl. Log. 165 (3) (2014)
Laurent Bienvenu, Noam Greenberg, Antonín Kucera, Joseph S. Miller, André Nies, Daniel Turetsky
Joining non-low C.E. sets with diagonally non-computable functions. J. Log. Comput. 23 (6) (2013)
Bjørn Kjos-Hanssen, Joseph S. Miller, Reed Solomon
Lowness notions, measure and domination. J. Lond. Math. Soc. 85 (3) (2012)
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies
The Denjoy alternative for computable functions. STACS (2012)
Laurent Bienvenu, Joseph S. Miller
Randomness and lowness notions via open covers. Ann. Pure Appl. Log. 163 (5) (2012)
Vasco Brattka, Joseph S. Miller, André Nies
Randomness and Differentiability. CoRR (2011)
Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
Sets. CiE (2010)
Noam Greenberg, Joseph S. Miller
Lowness for Kurtz randomness. J. Symb. Log. 74 (2) (2009)
Joseph S. Miller
Sets. Notre Dame J. Formal Log. 50 (4) (2009)
Santiago Figueira, Joseph S. Miller, André Nies
Indifferent Sets. J. Log. Comput. 19 (2) (2009)
Rod Downey, Noam Greenberg, Joseph S. Miller
The upward closure of a perfect thin class. Ann. Pure Appl. Log. 156 (1) (2008)
Rodney G. Downey, Carl G. Jockusch Jr., Joseph S. Miller
On self-embeddings of computable linear orderings. Ann. Pure Appl. Log. 138 (1-3) (2006)
Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller
Randomness and halting probabilities. J. Symb. Log. 71 (4) (2006)
Joseph S. Miller, André Nies
Randomness and Computability: Open Questions. Bull. Symb. Log. 12 (3) (2006)
Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller
Every 1-generic computes a properly 1-generic. J. Symb. Log. 71 (4) (2006)
Peter Cholak, Noam Greenberg, Joseph S. Miller
Uniform almost everywhere domination. J. Symb. Log. 71 (3) (2006)
Wolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan
Kolmogorov-Loveland randomness and stochasticity. Ann. Pure Appl. Log. 138 (1-3) (2006)
Wolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan
Kolmogorov-Loveland Randomness and Stochasticity. STACS (2005)
Joseph S. Miller, Lawrence S. Moss
The Undecidability of Iterated Modal Relativization. Stud Logica 79 (3) (2005)
Rod Downey, Denis R. Hirschfeldt, Joseph S. Miller, André Nies
Relativizing Chaitin's Halting Probability. J. Math. Log. 5 (2) (2005)
Joseph S. Miller
Every 2-random real is Kolmogorov random. J. Symb. Log. 69 (3) (2004)
Joseph S. Miller
Degrees of unsolvability of continuous functions. J. Symb. Log. 69 (2) (2004)
Joseph S. Miller, Reed Solomon
Effectiveness for infinite variable words and the Dual Ramsey Theorem. Arch. Math. Log. 43 (4) (2004)
Joseph S. Miller
Effectiveness for Embedded Spheres and Balls. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Joseph S. Miller
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. HSCC (2000)