Joseph S. Miller

54 papers A 2C 3Journal 47Unranked 2

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