(with D. Cummins, J. F. Knight, and S. Miller) ``Comparing classes of
finite structures,'' Algebra and Logic43 (2004) 374--392.
(with J. F. Knight) ``Classification from a computable viewpoint,'' Bulletin of Symbolic Logic12 (2006), 191--218.
(with V. S. Harizanov and A. Shlapentokh) ``Turing degrees of
isomorphism types of algebraic objects,'' Journal of the London Mathematical Society, 75 (2007), 273--286.
(with D. Cenzer, V. S. Harizanov, and A. Morozov) ``Effective categoricity of Abelian p-groups,'' Annals of Pure and Applied Logic159 (2009), 187--197.
"Metric structures and probabilistic computation," Theoretical
Computer Science412 (2011), 2766--2755.