| 2008 |
|---|
| 8 | EE | Peter Koepke,
Russell Miller:
An Enhanced Theory of Infinite Time Register Machines.
CiE 2008: 306-315 |
| 7 | EE | Russell Miller,
Dustin Mulcahey:
Perfect Local Computability and Computable Simulations.
CiE 2008: 447-456 |
| 2007 |
|---|
| 6 | EE | Joel David Hamkins,
David Linetsky,
Russell Miller:
The Complexity of Quickly ORM-Decidable Sets.
CiE 2007: 488-496 |
| 2005 |
|---|
| 5 | EE | 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 | EE | 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) |
