 | 2009 |
|---|
| 10 |       | Andrey Frolov,
Iskander Sh. Kalimullin,
Russell Miller:
Spectra of Algebraic Fields and Subfields.
CiE 2009: 232-241 |
| 9 | | Wesley Calvert,
Russell Miller:
Real Computable Manifolds and Homotopy Groups.
UC 2009: 98-109 |
| 2008 |
|---|
| 8 | | Peter Koepke,
Russell Miller:
An Enhanced Theory of Infinite Time Register Machines.
CiE 2008: 306-315 |
| 7 | | Russell Miller,
Dustin Mulcahey:
Perfect Local Computability and Computable Simulations.
CiE 2008: 447-456 |
| 2007 |
|---|
| 6 | | Joel David Hamkins,
David Linetsky,
Russell Miller:
The Complexity of Quickly ORM-Decidable Sets.
CiE 2007: 488-496 |
| 2005 |
|---|
| 5 | | Sergei S. Goncharov,
Valentina S. Harizanov,
Julia F. Knight,
Charles F. D. McCoy,
Russell Miller,
Reed Solomon:
Enumerations in computable structure theory.
Ann. Pure Appl. Logic 136(3): 219-246 (2005) |
| 2002 |
|---|
| 4 | | Richard Schroeppel,
Cheryl L. Beaver,
Rita Gonzales,
Russell Miller,
Timothy Draelos:
A Low-Power Design for an Elliptic Curve Digital Signature Chip.
CHES 2002: 366-380 |
| 3 |  | Russell Miller:
Orbits of computably enumerable sets: low sets can avoid an upper cone.
Ann. Pure Appl. Logic 118(1-2): 61-85 (2002) |
| 2 | | Russell Miller:
Definable Incompleteness and Friedberg Splittings.
J. Symb. Log. 67(2): 679-696 (2002) |
| 2001 |
|---|
| 1 | | Russell Miller:
The delta02-Spectrum of A Linear Order.
J. Symb. Log. 66(2): 470-486 (2001) |
