The delta02-Spectrum of A Linear Order. - Russell Miller 001 (J. Symb. Log., 2001)

A Low-Power Design for an Elliptic Curve Digital Signature Chip. - Richard Schroeppel; Cheryl L. Beaver; Rita Gonzales; Russell Miller 001; Timothy Draelos (CHES, 2002)

Orbits of computably enumerable sets: low sets can avoid an upper cone. - Russell Miller 001 (Ann. Pure Appl. Log., 2002)

Definable Incompleteness and Friedberg Splittings. - Russell Miller 001 (J. Symb. Log., 2002)

Enumerations in computable structure theory. - Sergei S. Goncharov; Valentina S. Harizanov; Julia F. Knight; Charles F. D. McCoy; Russell G. Miller; Reed Solomon (Ann. Pure Appl. Log., 2005)

Computable categoricity of trees of finite height. - Steffen Lempp; Charles F. D. McCoy; Russell G. Miller; Reed Solomon (J. Symb. Log., 2005)

The computable dimension of trees of infinite height. - Russell Miller 001 (J. Symb. Log., 2005)

The Complexity of Quickly ORM-Decidable Sets. - Joel David Hamkins; David Linetsky; Russell G. Miller (CiE, 2007)

Post's Problem for Ordinal Register Machines. - Joel David Hamkins; Russell G. Miller (CiE, 2007)

Locally Computable Structures. - Russell G. Miller (CiE, 2007)

Spectra of structures and relations. - Valentina S. Harizanov; Russell G. Miller (J. Symb. Log., 2007)

Order-Computable Sets. - Denis R. Hirschfeldt; Russell G. Miller; Sergei Podzorov (Notre Dame J. Formal Log., 2007)

An Enhanced Theory of Infinite Time Register Machines. - Peter Koepke; Russell G. Miller (CiE, 2008)

Perfect Local Computability and Computable Simulations. - Russell Miller 001; Dustin Mulcahey (CiE, 2008)

Spectra of Algebraic Fields and Subfields. - Andrey N. Frolov; Iskander Sh. Kalimullin; Russell G. Miller (CiE, 2009)

Real Computable Manifolds and Homotopy Groups. - Wesley Calvert; Russell G. Miller (UC, 2009)

Post's Problem for ordinal register machines: An explicit approach. - Joel David Hamkins; Russell G. Miller (Ann. Pure Appl. Log., 2009)

d-computable categoricity for algebraic fields. - Russell Miller 001 (J. Symb. Log., 2009)

The basic theory of infinite time register machines. - Merlin Carl; Tim Fischbach; Peter Koepke; Russell G. Miller; Miriam Nasfi; Gregor Weckbecker (Arch. Math. Log., 2010)

Degrees of categoricity of computable structures. - Ekaterina B. Fokina; Iskander Sh. Kalimullin; Russell G. Miller (Arch. Math. Log., 2010)

The Cardinality of an Oracle in Blum-Shub-Smale Computation - Wesley Calvert; Ken Kramer; Russell G. Miller (CCA, 2010)

Adapting Rabin's Theorem for Differential Fields. - Russell Miller 001; Alexey Ovchinnikov (CiE, 2011)

Noncomputable functions in the Blum-Shub-Smale model - Wesley Calvert; Ken Kramer; Russell G. Miller (Log. Methods Comput. Sci., 2011)

The Distance Function on a Computable Graph - Wesley Calvert; Russell G. Miller; Jennifer Chubb Reimann (CoRR, 2011)

An introduction to computable model theory on groups and fields. - Russell Miller 001 (Groups Complex. Cryptol., 2011)

Computability of Fraïssé limits. - Barbara F. Csima; Valentina S. Harizanov; Russell G. Miller; Antonio Montalbán (J. Symb. Log., 2011)

Low5 Boolean subalgebras and computable copies. - Russell Miller 001 (J. Symb. Log., 2011)

The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility. - Samuel Coskey; Joel David Hamkins; Russell G. Miller (Comput., 2012)

Spectra of highn and non-lown degrees. - Andrey N. Frolov; Iskander Sh. Kalimullin; Valentina S. Harizanov; Oleg V. Kudinov; Russell G. Miller (J. Log. Comput., 2012)

Local Computability for Ordinals. - Johanna N. Y. Franklin; Asher M. Kach; Russell G. Miller; Reed Solomon (CiE, 2013)

Computably Categorical Fields via Fermat's Last Theorem. - Russell G. Miller; Hans Schoutens (Comput., 2013)

Classes of structures with universe a subset of ω1. - Ekaterina B. Fokina; Sy-David Friedman; Julia F. Knight; Russell G. Miller (J. Log. Comput., 2013)

Isomorphisms of Non-Standard Fields and Ash's Conjecture. - Rumen D. Dimitrov; Valentina S. Harizanov; Russell G. Miller; K. J. Mourad (CiE, 2014)

On the Effectiveness of Symmetry Breaking. - Russell G. Miller; Reed Solomon; Rebecca M. Steiner (CiE, 2014)

Complexity of Equivalence Relations and Preorders from Computability Theory. - Egor Ianovski; Russell G. Miller; Keng Meng Ng; André Nies (J. Symb. Log., 2014)

Baire Category Theory and Hilbert's Tenth Problem Inside mathbb Q Q. - Russell Miller 001 (CiE, 2016)

Finitary Reducibility on Equivalence Relations. - Russell G. Miller; Keng Meng Ng (J. Symb. Log., 2016)

Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey. - Russell Miller 001 (Computability and Complexity, 2017)

Computable Transformations of Structures. - Russell G. Miller (CiE, 2017)

Computable Functors and Effective interpretability. - Matthew Harrison-Trainor; Alexander G. Melnikov; Russell G. Miller; Antonio Montalbán (J. Symb. Log., 2017)

Turing degree spectra of differentially Closed Fields. - David Marker; Russell G. Miller (J. Symb. Log., 2017)

Borel Functors and Infinitary Interpretations. - Matthew Harrison-Trainor; Russell G. Miller; Antonio Montalbán (J. Symb. Log., 2018)

A Computable Functor from graphs to Fields. - Russell G. Miller; Bjorn Poonen; Hans Schoutens; Alexandra Shlapentokh (J. Symb. Log., 2018)

Classifications of Computable Structures. - Karen M. Lange; Russell G. Miller; Rebecca M. Steiner (Notre Dame J. Formal Log., 2018)

Degree Spectra for Transcendence in Fields. - Iskander Sh. Kalimullin; Russell G. Miller; Hans Schoutens (CiE, 2019)

Degree spectra of real closed fields. - Russell Miller 001; Victor Ocasio-González (Arch. Math. Log., 2019)

Isomorphism and classification for countable structures. - Russell Miller 001 (Comput., 2019)

Non-coding Enumeration Operators. - Russell Miller 001 (CiE, 2020)

Computable Procedures for Fields. - Russell Miller 001 (CiE, 2021)

Model completeness and relative decidability. - Jennifer Chubb; Russell G. Miller; Reed Solomon (Arch. Math. Log., 2021)

On existential definitions of c.e. subsets of rings of functions of characteristic 0. - Russell G. Miller; Alexandra Shlapentokh (Ann. Pure Appl. Log., 2022)

Effectivizing Lusin's Theorem. - Russell G. Miller (J. Log. Anal., 2022)

Interpreting a field in its Heisenberg Group. - Rachael Alvir; Wesley Calvert; Grant Goodman; Valentina S. Harizanov; Julia F. Knight; Russell G. Miller; Andrey S. Morozov; Alexandra A. Soskova; Rose Weisshaar (J. Symb. Log., 2022)

Htp-Complete Rings of rational numbers. - Russell G. Miller (J. Symb. Log., 2022)

Direct Construction of Scott Ideals. - Russell G. Miller (CiE, 2023)

A Topological Approach to Undefinability in Algebraic Extensions of. - Kirsten Eisenträger; Russell Miller 001; Caleb Springer; Linda Westrick (Bull. Symb. Log., 2023)