| Formal approaches to modality S Kaufmann, C Condoravdi, V Harizanov The expression of modality 1, 71, 2006 | 167 | 2006 |
| Enumerations in computable structure theory S Goncharov, V Harizanov, J Knight, C McCoy, R Miller, R Solomon Annals of Pure and Applied logic 136 (3), 219-246, 2005 | 145 | 2005 |
| Pure computable model theory VS Harizanov Studies in Logic and the Foundations of Mathematics 138, 3-114, 1998 | 115 | 1998 |
| 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 |
| Isomorphism relations on computable structures EB Fokina, SD Friedman, V Harizanov, JF Knight, C McCoy, A Montalbán The Journal of Symbolic Logic 77 (1), 122-132, 2012 | 77 | 2012 |
| Computable model theory. EB Fokina, VS Harizanov, AG Melnikov Turing's Legacy, 124-194, 2014 | 67 | 2014 |
| Index sets of computable structures W Calvert, VS Harizanov, JF Knight, S Miller Algebra and Logic 45 (5), 306-325, 2006 | 57 | 2006 |
| Some effects of Ash–Nerode and other decidability conditions on degree spectra VS Harizanov Annals of Pure and Applied Logic 55 (1), 51-65, 1991 | 57 | 1991 |
| Frequency computations and the cardinality theorem V Harizanov, M Kummer, J Owings The Journal of Symbolic Logic 57 (2), 682-687, 1992 | 46 | 1992 |
| The possible Turing degree of the nonzero member in a two element degree spectrum VS Harizanov Annals of Pure and Applied Logic 60 (1), 1-30, 1993 | 43 | 1993 |
| Spectra of highn and non-lown degrees A Frolov, I Kalimullin, V Harizanov, O Kudinov, R Miller Journal of Logic and Computation 22 (4), 755-777, 2010 | 40 | 2010 |
| Intrinsic bounds on complexity and definability at limit levels J Chisholm, EB Fokina, SS Goncharov, VS Harizanov, JF Knight, S Quinn The Journal of Symbolic Logic 74 (3), 1047-1060, 2009 | 40 | 2009 |
| Uncountable degree spectra VS Harizanov Annals of Pure and Applied Logic 54 (3), 255-263, 1991 | 36 | 1991 |
| DEGREE SPECTRUM OF A RECURSIVE RELATION ON A RECURSIVE STRUCTURE. VS Harizanov | 36 | 1988 |
| Describing free groups J Carson, V Harizanov, J Knight, K Lange, C McCoy, A Morozov, S Quinn, ... Transactions of the American Mathematical Society 364 (11), 5715-5728, 2012 | 34 | 2012 |
| Σ10 and Π10 equivalence structures D Cenzer, V Harizanov, JB Remmel Annals of Pure and Applied Logic 162 (7), 490-503, 2011 | 32* | 2011 |
| 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 |
| Spectra of structures and relations VS Harizanov, RG Miller The Journal of Symbolic Logic 72 (1), 324-348, 2007 | 31 | 2007 |
| Π11 relations and paths through SS Goncharov, VS Harizanov, JF Knight, RA Shore The Journal of Symbolic Logic 69 (2), 585-611, 2004 | 31 | 2004 |
| Degree spectra of the successor relation of computable linear orderings J Chubb, A Frolov, V Harizanov Archive for Mathematical Logic 48 (1), 7-13, 2009 | 29 | 2009 |
