 | 2011 |
| 16 |  | Wesley Calvert,
Russell Miller,
Jennifer Chubb Reimann:
The Distance Function on a Computable Graph
CoRR abs/1111.2480: (2011) |
| 15 |  | Wesley Calvert,
Ken Kramer,
Russell Miller:
Noncomputable functions in the Blum-Shub-Smale model
Logical Methods in Computer Science 7(2): (2011) |
| 14 |  | Wesley Calvert:
Metric structures and probabilistic computation.
Theor. Comput. Sci. 412(25): 2766-2775 (2011) |
| 2010 |
| 13 |  | Wesley Calvert,
Ken Kramer,
Russell Miller:
The Cardinality of an Oracle in Blum-Shub-Smale Computation
CCA 2010: 56-66 |
| 12 |  | Wesley Calvert:
Computability of julia sets by Mark Braverman and Michael Yampolsky, Publisher: Springer, 2009.
SIGACT News 41(1): 51-53 (2010) |
| 2009 |
| 11 |  | Wesley Calvert,
Russell Miller:
Real Computable Manifolds and Homotopy Groups.
UC 2009: 98-109 |
| 10 |  | Wesley Calvert,
Douglas A. Cenzer,
Valentina S. Harizanov,
Andrei S. Morozov:
Effective categoricity of Abelian p-groups.
Ann. Pure Appl. Logic 159(1-2): 187-197 (2009) |
| 9 |  | Wesley Calvert,
Sergei S. Goncharov,
Julia F. Knight,
Jessica Millar:
Categoricity of computable infinitary theories.
Arch. Math. Log. 48(1): 25-38 (2009) |
| 2008 |
| 8 |  | Wesley Calvert,
John E. Porter:
Infinitary Queries in Spatial Databases
CoRR abs/0803.3404: (2008) |
| 7 |  | Wesley Calvert:
Metric Structures and Probabilistic Computation
CoRR abs/0806.0398: (2008) |
| 2007 |
| 6 |  | Wesley Calvert,
Ekaterina B. Fokina,
Sergei S. Goncharov,
Julia F. Knight,
Oleg V. Kudinov,
Andrei S. Morozov,
V. Puzarenko:
Index sets for classes of high rank structures.
J. Symb. Log. 72(4): 1418-1432 (2007) |
| 2006 |
| 5 |  | Wesley Calvert,
Douglas Cenzer,
Valentina S. Harizanov,
Andrei S. Morozov:
Effective categoricity of equivalence structures.
Ann. Pure Appl. Logic 141(1-2): 61-78 (2006) |
| 4 |  | Wesley Calvert,
Julia F. Knight:
Classification from a Computable Viewpoint.
Bulletin of Symbolic Logic 12(2): 191-218 (2006) |
| 3 |  | Wesley Calvert,
Julia F. Knight,
Jessica Millar:
Computable trees of Scott rank omega 1CK, and computable approximation.
J. Symb. Log. 71(1): 283-298 (2006) |
| 2005 |
| 2 |  | Wesley Calvert:
The isomorphism problem for computable Abelian p-groups of bounded length.
J. Symb. Log. 70(1): 331-345 (2005) |
| 2004 |
| 1 |  | Wesley Calvert:
The isomorphism problem for classes of computable fields.
Arch. Math. Log. 43(3): 327-336 (2004) |