| Publication | Date of Publication | Type |
|---|
| Quantifying separability in limit groups via representations | 2025-01-06 | Paper |
| First-order sentences in random groups. I: Universal sentences | 2024-10-30 | Paper |
| Groups elementary equivalent to finitely generated free metabelian | 2023-09-15 | Paper |
| Quantifying separability in limit groups via representations | 2023-03-06 | Paper |
| First-order sentences in random groups II: $\forall\exists$-sentences | 2022-12-22 | Paper |
| On the Generalized Membership Problem in Relatively Hyperbolic Groups | 2022-11-09 | Paper |
| Rich groups, weak second order logic, and applications | 2021-09-27 | Paper |
| 3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group | 2021-08-26 | Paper |
| 4 Rich groups, weak second-order logic, and applications | 2021-08-26 | Paper |
| Non-∀-homogeneity in free groups | 2021-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5133147 | 2020-11-12 | Paper |
| The Diophantine problem in some metabelian groups | 2020-06-15 | Paper |
| On countable elementary free groups | 2020-06-03 | Paper |
| Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups | 2020-05-11 | Paper |
| Non-$\forall$-homogeneity in free groups | 2020-01-27 | Paper |
| Fraïssé limits of limit groups | 2019-12-27 | Paper |
| On the generalized membership problem in relatively hyperbolic groups | 2019-08-09 | Paper |
| Bi-interpretability of some monoids with the arithmetic and applications | 2019-07-16 | Paper |
| Low complexity algorithms in knot theory | 2019-05-08 | Paper |
| Diophantine Problem in Some Metabelian Groups | 2019-03-24 | Paper |
| Equations in Algebras | 2019-01-18 | Paper |
| Undecidability of equations in free Lie algebras | 2019-01-10 | Paper |
| UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS | 2018-10-26 | Paper |
| What does a group algebra of a free group ``know about the group? | 2018-04-06 | Paper |
| Tarski-type problems for free associative algebras | 2018-02-28 | Paper |
| Algorithmically complex residually finite groups | 2017-11-29 | Paper |
| Beyond Serre's "Trees" in two directions: $\Lambda$--trees and products of trees | 2017-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5371234 | 2017-10-25 | Paper |
| Stallings graphs for quasi-convex subgroups | 2017-09-04 | Paper |
| Quadratic equations in hyperbolic groups are NP-complete | 2017-06-14 | Paper |
| Random Burnside Groups | 2017-05-22 | Paper |
| Efim Isaakovich Zelmanov is 60 years old | 2017-01-05 | Paper |
| SLP compression for solutions of equations with constraints in free and hyperbolic groups | 2015-04-21 | Paper |
| Infinite words and universal free actions. | 2014-07-02 | Paper |
| From automatic structures to automatic groups. | 2014-06-19 | Paper |
| Tame Automorphisms of Elementary Free Groups | 2014-05-23 | Paper |
| On Tarski's Decidability Problem | 2014-02-03 | Paper |
| Effective embedding of residually hyperbolic groups into direct products of extensions of centralizers | 2014-01-23 | Paper |
| ℤ n -free groups are CAT(0) | 2014-01-07 | Paper |
| ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS | 2013-04-26 | Paper |
| DEFINABLE SETS IN A HYPERBOLIC GROUP | 2013-04-22 | Paper |
| Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group | 2013-03-04 | Paper |
| A WHITEHEAD ALGORITHM FOR TORAL RELATIVELY HYPERBOLIC GROUPS | 2013-01-30 | Paper |
| Regular completions of $\mathbb{Z}^n$-free groups | 2012-08-22 | Paper |
| Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group | 2012-07-08 | Paper |
| Groups with free regular length functions in $\mathbb{Z}^{n}$ | 2012-05-29 | Paper |
| LINEAR ESTIMATES FOR SOLUTIONS OF QUADRATIC EQUATIONS IN FREE GROUPS | 2012-05-04 | Paper |
| APPROXIMATION OF GEODESICS IN METABELIAN GROUPS | 2012-04-24 | Paper |
| Limits of relatively hyperbolic groups and Lyndon's completions. | 2012-04-20 | Paper |
| Equations and fully residually free groups | 2010-09-14 | Paper |
| The solvability problem for quadratic equations over free groups is NP-complete | 2010-08-13 | Paper |
| Groups acting freely on $\Lambda$-trees | 2009-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3537433 | 2008-11-06 | Paper |
| Exponential extensions of groups | 2008-02-26 | Paper |
| The isomorphism problem for finitely generated fully residually free groups. | 2007-01-09 | Paper |
| Elementary theory of free non-abelian groups. | 2006-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702493 | 2005-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702494 | 2005-11-01 | Paper |
| Implicit function theorem over free groups. | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656957 | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529472 | 2002-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502521 | 2001-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4240568 | 1999-06-13 | Paper |
| Equations in the Q-completion of a torsion-free hyperbolic group | 1999-05-19 | Paper |
| Tarski’s problem about the elementary theory of free groups has a positive solution | 1999-03-22 | Paper |
| Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz | 1998-11-23 | Paper |
| Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups | 1998-11-23 | Paper |
| Hyperbolic groups and free constructions | 1998-03-24 | Paper |
| Equations in a free 𝐐-group | 1998-03-24 | Paper |
| CSA-groups and separated free constructions | 1996-06-02 | Paper |
| ALGORITHMIC PROBLEMS IN VARIETIES | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867085 | 1996-03-19 | Paper |
| The word problem for the Burnside varieties | 1996-02-06 | Paper |
| THE WORD PROBLEM FOR SOME VARIETIES OF SOLVABLE LIE ALGEBRAS | 1995-09-14 | Paper |
| On a family of one-relator pro-p-groups | 1995-06-08 | Paper |
| Varieties of lie algebras with solvable word problem | 1993-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027044 | 1993-02-21 | Paper |
| IDENTITIES IN THE VARIETY OF CENTER-BY-${\mathfrak R}_2 {\mathfrak U}$ LIE ALGEBRAS | 1993-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012135 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470627 | 1990-01-01 | Paper |
| THE WORD PROBLEM FOR SOLVABLE LIE ALGEBRAS AND GROUPS | 1990-01-01 | Paper |
| Finitely presented solvable groups and Lie algebras with unsolvable word problem | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033961 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033962 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3831180 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3810800 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826726 | 1988-01-01 | Paper |
| The word problem for subvarieties of the variety \({\mathfrak N}_ 2{\mathfrak A}\) | 1987-01-01 | Paper |
| The word problem in varieties of semigroups, rings, and Lie algebras | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723961 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3223013 | 1984-01-01 | Paper |
| Universal theory of the class of finite nilpotent groups is undecidable | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663518 | 1983-01-01 | Paper |
| A FINITELY PRESENTED SOLVABLE GROUP WITH UNSOLVABLE WORD PROBLEM | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944763 | 1981-01-01 | Paper |
| First-order sentences in random groups I: universal sentences | N/A | Paper |
| Quantifying separability in RAAGs via representations | N/A | Paper |
