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 | 356* | 1998 |
Elementary theory of free non-abelian groups O Kharlampovich, A Myasnikov Journal of Algebra 302 (2), 451-552, 2006 | 309 | 2006 |
Algorithmic problems in varieties OG Kharlampovich, MV Sapir International Journal of Algebra and Computation 5 (04n05), 379-602, 1995 | 275 | 1995 |
Hyperbolic groups and free constructions O Kharlampovich, A Myasnikov Transactions of the American Mathematical Society 350 (2), 571-613, 1998 | 126 | 1998 |
A finitely presented solvable group with unsolvable word problem OG Kharlampovich Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 45 (4), 852-873, 1981 | 98 | 1981 |
Implicit function theorem over free groups O Kharlampovich, A Myasnikov Journal of Algebra 290 (1), 1-203, 2005 | 86 | 2005 |
Effective JSJ decompositions O Kharlampovich, A Myasnikov arXiv preprint math/0407089, 2004 | 69 | 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 | 59 | 1998 |
CSA-groups and separated free constructions D Gildenhuys, O Kharlampovich, A Myasnikov Bulletin of the Australian Mathematical Society 52 (1), 63-84, 1995 | 56 | 1995 |
From automatic structures to automatic groups O Kharlampovich, B Khoussainov, A Miasnikov Groups, Geometry, and Dynamics 8 (1), 157-198, 2014 | 54 | 2014 |
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 | 47 | 2007 |
Subgroups of fully residually free groups: algorithmic OG Kharlampovich, AG Myasnikov, VN Remeslennikov, DE Serbin Group Theory, Statistics, and Cryptography: AMS Special Session …, 2004 | 44 | 2004 |
Algebraic geometry over free groups: Lifting solutions into generic points O Kharlampovich, A Myasnikov arXiv preprint math/0407110, 2004 | 40 | 2004 |
Description of fully residually free groups and irreducible affine varieties over a free group O Kharlampovich, A Myasnikov CRM Proceedings and Lecture notes, 71-80, 1998 | 37 | 1998 |
Definable sets in a hyperbolic group O Kharlampovich, A Myasnikov International Journal of Algebra and Computation 23 (01), 91-110, 2013 | 34 | 2013 |
Stallings graphs for quasi-convex subgroups O Kharlampovich, A Miasnikov, P Weil Journal of Algebra 488, 442-483, 2017 | 29 | 2017 |
Equations and fully residually free groups O Kharlampovich, AG Myasnikov Combinatorial and Geometric Group Theory: Dortmund and Ottawa-Montreal …, 2010 | 28 | 2010 |
Quadratic equations over free groups are NP-complete O Kharlampovich, IG Lysėnok, AG Myasnikov, NWM Touikan arXiv preprint arXiv:0802.3839, 2008 | 27 | 2008 |
Limits of relatively hyperbolic groups and Lyndon's completions. O Kharlampovich, A Myasnikov Journal of the European Mathematical Society (EMS Publishing) 14 (3), 2012 | 26 | 2012 |
Algorithmically complex residually finite groups O Kharlampovich, A Myasnikov, M Sapir Bulletin of Mathematical Sciences 7, 309-352, 2017 | 25 | 2017 |