| Elementary theory of free non-abelian groups O Kharlampovich, A Myasnikov Journal of Algebra 302 (2), 451-552, 2006 | 255 | 2006 |
| Irreducible affine varieties over a free group: II. Systems in triangular quasi-quadratic form and description of residually free groups O Kharlampovich, A Myasnikov Journal of Algebra 200 (2), 517-570, 1998 | 251 | 1998 |
| Algorithmic problems in varieties OG Kharlampovich, MV Sapir International Journal of Algebra and Computation 5 (04n05), 379-602, 1995 | 238 | 1995 |
| Irreducible affine varieties over a free group O Kharlampovich, A Myasnikov Journal of Algebra 200 (2), 472-516, 1998 | 222 | 1998 |
| Hyperbolic groups and free constructions O Kharlampovich, A Myasnikov Transactions of the American mathematical society 350 (2), 571-613, 1998 | 110 | 1998 |
| A finitely presented solvable group with unsolvable word problem OG Kharlampovich Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 45 (4), 852-873, 1981 | 89 | 1981 |
| Implicit function theorem over free groups O Kharlampovich, A Myasnikov Journal of Algebra 290 (1), 1-203, 2005 | 82 | 2005 |
| Effective JSJ decompositions O Kharlampovich, A Myasnikov arXiv preprint math/0407089, 2004 | 66 | 2004 |
| Tarski’s problem about the elementary theory of free groups has a positive solution O Kharlampovich, A Myasnikov Electronic Research Announcements of the American Mathematical Society 4 (14 …, 1998 | 51 | 1998 |
| From automatic structures to automatic groups O Kharlampovich, B Khoussainov, A Miasnikov arXiv preprint arXiv:1107.3645, 2011 | 48 | 2011 |
| CSA-groups and separated free constructions D Gildenhuys, O Kharlampovich, A Myasnikov Bulletin of the Australian Mathematical Society 52 (1), 63-84, 1995 | 48 | 1995 |
| A FAST ALGORITHM FOR STALLINGS'FOLDING PROCESS NWM Touikan International Journal of Algebra and Computation 16 (06), 1031-1045, 2006 | 40 | 2006 |
| The isomorphism problem for finitely generated fully residually free groups I Bumagin, O Kharlampovich, A Miasnikov Journal of Pure and Applied Algebra 208 (3), 961-977, 2007 | 37 | 2007 |
| Solvability of equations in graph groups is decidable V Diekert, A Muscholl International Journal of Algebra and Computation 16 (06), 1047-1069, 2006 | 37 | 2006 |
| Subgroups of fully residually free groups: algorithmic OG Kharlampovich, AG Myasnikov, VN Remeslennikov, DE Serbin Group Theory, Statistics, and Cryptography: AMS Special Session …, 2004 | 35 | 2004 |
| Description of fully residually free groups and irreducible affine varieties over a free group O Kharlampovich, A Myasnikov Summer School in Group Theory in Banff 17, 71-80, 1996 | 34 | 1996 |
| Definable sets in a hyperbolic group O Kharlampovich, A Myasnikov International Journal of Algebra and Computation 23 (01), 91-110, 2013 | 32 | 2013 |
| Algebraic geometry over free groups: Lifting solutions into generic points O Kharlampovich, A Myasnikov arXiv preprint math/0407110, 2004 | 32 | 2004 |
| Equations and fully residually free groups O Kharlampovich, AG Myasnikov Combinatorial and geometric group theory, 203-242, 2010 | 28 | 2010 |
| Algorithms and classification in combinatorial group theory G Baumslag, F Charles III Springer Science & Business Media, 2012 | 24 | 2012 |
