Effective categoricity of equivalence structures W Calvert, D Cenzer, V Harizanov, A Morozov Annals of Pure and Applied Logic 141 (1-2), 61-78, 2006 | 94 | 2006 |

Comparing classes of finite structures W Calvert, D Cummins, JF Knight, S Miller Algebra and Logic 43 (6), 374-392, 2004 | 93 | 2004 |

Index sets of computable structures W Calvert, VS Harizanov, JF Knight, S Miller Algebra and Logic 45 (5), 306-325, 2006 | 57 | 2006 |

The isomorphism problem for computable Abelian p-groups of bounded length W Calvert The Journal of Symbolic Logic 70 (1), 331-345, 2005 | 55 | 2005 |

The isomorphism problem for classes of computable fields W Calvert Archive for Mathematical Logic 43 (3), 327-336, 2004 | 52 | 2004 |

Classification from a computable viewpoint W Calvert, JF Knight Bulletin of Symbolic Logic 12 (2), 191-218, 2006 | 36 | 2006 |

Computable trees of Scott rank ω1CK, and computable approximation W Calvert, JF Knight, J Millar The Journal of Symbolic Logic 71 (1), 283-298, 2006 | 34 | 2006 |

Effective categoricity of abelian p-groups W Calvert, D Cenzer, VS Harizanov, A Morozov Annals of Pure and Applied Logic 159 (1-2), 187-197, 2009 | 31 | 2009 |

Index sets for classes of high rank structures W Calvert, E Fokina, SS Goncharov, JF Knight, O Kudinov, AS Morozov, ... The Journal of Symbolic Logic 72 (4), 1418-1432, 2007 | 26 | 2007 |

Turing degrees of isomorphism types of algebraic objects W Calvert, V Harizanov, A Shlapentokh Journal of the London Mathematical Society 75 (2), 273-286, 2007 | 23 | 2007 |

Computable structures of Scott rank wCK1 in familiar classes W Calvert, SS Goncharov, JF Knight Contemporary mathematics 425, 49-66, 2007 | 21* | 2007 |

Algebraic structure and computable structure WC Calvert University of Notre Dame, 2005 | 13 | 2005 |

Abelian groups as aec’s J Baldwin, W Calvert, J Goodrick, A Villaveces, A Walczak-Typke preprint 200, 2007 | 11 | 2007 |

Interpreting a field in its Heisenberg group R Alvir, W Calvert, G Goodman, V Harizanov, J Knight, R Miller, ... The Journal of Symbolic Logic 87 (3), 1215-1230, 2022 | 7 | 2022 |

Densely computable structures W Calvert, D Cenzer, V Harizanov Journal of Logic and Computation 32 (3), 581-607, 2022 | 7 | 2022 |

PAC learning, VC dimension, and the arithmetic hierarchy W Calvert Archive for Mathematical Logic 54 (7), 871-883, 2015 | 7 | 2015 |

Metric structures and probabilistic computation W Calvert Theoretical computer science 412 (25), 2766-2775, 2011 | 7 | 2011 |

Noncomputable functions in the Blum-Shub-Smale model R Miller, K Kramer, W Calvert Logical Methods in Computer Science 7, 2011 | 7 | 2011 |

Real computable manifolds and homotopy groups W Calvert, R Miller International Conference on Unconventional Computation, 98-109, 2009 | 7 | 2009 |

Categoricity of computable infinitary theories W Calvert, SS Goncharov, JF Knight, J Millar Archive for Mathematical Logic 48 (1), 25-38, 2009 | 7 | 2009 |