Russell Miller

Publication Activity (10 Years)

Years Active: 2001-2021
Publications (10 Years): 6

Top Topics

Classification Systems

Coding Efficiency

Keynote Address

Top Venues

Arch. Math. Log.

Computability and Complexity

Publications

Russell Miller
Computable Procedures for Fields. CiE (2021)
Russell Miller
Non-coding Enumeration Operators. CiE (2020)
Russell Miller
Isomorphism and classification for countable structures. Comput. 8 (2) (2019)
Russell Miller, Victor Ocasio González
Degree spectra of real closed fields. Arch. Math. Log. 58 (3-4) (2019)
Russell Miller
Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey. Computability and Complexity (2017)
Russell Miller
Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q. CiE (2016)
Russell Miller, Alexey Ovchinnikov
Adapting Rabin's Theorem for Differential Fields. CiE (2011)
Russell Miller
An introduction to computable model theory on groups and fields. Groups Complex. Cryptol. 3 (1) (2011)
Russell Miller
Boolean subalgebras and computable copies. J. Symb. Log. 76 (3) (2011)
Russell Miller
d-computable categoricity for algebraic fields. J. Symb. Log. 74 (4) (2009)
Russell Miller, Dustin Mulcahey
Perfect Local Computability and Computable Simulations. CiE (2008)
Russell Miller
The computable dimension of trees of infinite height. J. Symb. Log. 70 (1) (2005)
Richard Schroeppel, Cheryl L. Beaver, Rita Gonzales, Russell Miller, Timothy Draelos
A Low-Power Design for an Elliptic Curve Digital Signature Chip. CHES (2002)
Russell Miller
Orbits of computably enumerable sets: low sets can avoid an upper cone. Ann. Pure Appl. Log. 118 (1-2) (2002)
Russell Miller
Definable Incompleteness and Friedberg Splittings. J. Symb. Log. 67 (2) (2002)
Russell Miller
-Spectrum of A Linear Order. J. Symb. Log. 66 (2) (2001)