| Publication | Date of Publication | Type |
|---|
| Varieties of exponential \(R\)-groups | 2024-02-23 | Paper |
| Generic types and generic elements in divisible rigid groups | 2024-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6181466 | 2024-01-02 | Paper |
| Groups elementary equivalent to finitely generated free metabelian | 2023-09-15 | Paper |
| Decomposing Finite $\mathbb{Z}$-Algebras | 2023-08-03 | Paper |
| Description of coordinate groups of irreducible algebraic sets over free 2-nilpotent groups | 2022-07-15 | Paper |
| Parallel complexity for nilpotent groups | 2022-06-24 | Paper |
| The Diophantine problem in the classical matrix groups | 2022-02-24 | Paper |
| Hierarchy for groups acting on hyperbolic ℤn-spaces | 2022-01-13 | Paper |
| Rich groups, weak second order logic, and applications | 2021-09-27 | Paper |
| Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures | 2021-09-23 | 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 |
| Diophantine problems in solvable groups | 2021-06-30 | Paper |
| Complete first-order theories of some classical matrix groups over algebraic integers | 2021-06-03 | Paper |
| Metabelian groups: full-rank presentations, randomness and Diophantine problems | 2021-05-11 | Paper |
| The Diophantine problem in finitely generated commutative rings | 2020-12-17 | Paper |
| Explicit universal axioms for Kaplansky groups | 2020-08-21 | Paper |
| The Diophantine problem in some metabelian groups | 2020-06-15 | Paper |
| TC^0 circuits for algorithmic problems in nilpotent groups | 2020-05-26 | Paper |
| Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity | 2020-05-11 | Paper |
| Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups | 2020-05-11 | Paper |
| Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$ | 2020-04-06 | Paper |
| Fraïssé limits of limit groups | 2019-12-27 | Paper |
| Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits | 2019-12-06 | Paper |
| Low-complexity computations for nilpotent subgroup problems | 2019-07-12 | Paper |
| The conjugacy problem in free solvable groups and wreath products of abelian groups is in \(\mathsf{TC}^0\) | 2019-07-04 | Paper |
| Diophantine Problem in Some Metabelian Groups | 2019-03-24 | Paper |
| The complexity of verbal languages over groups | 2019-01-25 | Paper |
| Algebraic geometry over algebraic structures X: Ordinal dimension | 2019-01-18 | Paper |
| Equations in Algebras | 2019-01-18 | Paper |
| Characterization of finitely generated groups by types | 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 |
| Divisible rigid groups. II: Stability, saturation, and elementary submodels | 2018-10-11 | Paper |
| Studying the Diophantine problem in finitely generated rings and algebras via bilinear maps | 2018-05-07 | Paper |
| Elementary equivalence of rings with finitely generated additive groups | 2018-04-06 | Paper |
| What does a group algebra of a free group ``know about the group? | 2018-04-06 | Paper |
| Algebraic geometry over algebraic structures. VI: Geometrical equivalence | 2018-03-02 | Paper |
| Tarski-type problems for free associative algebras | 2018-02-28 | Paper |
| Universal geometrical equivalence of the algebraic structures of common signature | 2018-02-06 | Paper |
| Computational complexity and the conjugacy problem | 2018-01-18 | Paper |
| Algorithmically complex residually finite groups | 2017-11-29 | Paper |
| Random nilpotent groups, polycyclic presentations, and Diophantine problems | 2017-11-06 | Paper |
| Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group | 2017-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5371234 | 2017-10-25 | Paper |
| Model-theoretic aspects of the theory of divisible rigid soluble groups | 2017-09-04 | Paper |
| Stallings graphs for quasi-convex subgroups | 2017-09-04 | Paper |
| The conjugacy problem in free solvable groups and wreath products of abelian groups is in \({\mathsf {TC}^0}\) | 2017-08-22 | Paper |
| ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS | 2017-08-03 | Paper |
| Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem | 2017-06-01 | Paper |
| Random Burnside Groups | 2017-05-22 | Paper |
| The Complexity of Verbal Languages over Groups | 2017-05-16 | Paper |
| Log-space conjugacy problem in the Grigorchuk group | 2017-05-03 | Paper |
| Random presentations and random subgroups: a survey | 2017-02-07 | Paper |
| Efim Isaakovich Zelmanov is 60 years old | 2017-01-05 | Paper |
| Conjugacy in Baumslag's group, generic case complexity, and division in power circuits | 2016-12-21 | Paper |
| Hierarchy for groups acting on hyperbolic $\mathbf{Z}^n$-spaces | 2016-11-01 | Paper |
| On groups elementarily equivalent to a group of triangular matrices $T_n(R)$ | 2016-09-30 | Paper |
| On elementary equivalence of rings with a finitely generated additive group | 2016-09-30 | Paper |
| Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem | 2016-09-29 | Paper |
| Generic case completeness | 2016-08-04 | Paper |
| On asymptotic properties of verbal subsets in a group. | 2016-04-13 | Paper |
| Quadratic equations in the Grigorchuk group. | 2016-03-18 | Paper |
| Groups acting on hyperbolic Λ-metric spaces | 2015-11-20 | Paper |
| Generic theories as a method for approximating elementary theories | 2015-07-28 | Paper |
| Logical aspects of the theory of divisible rigid groups. | 2015-07-07 | Paper |
| An example of an automatic graph of intermediate growth | 2015-06-30 | Paper |
| A linear decomposition attack | 2015-05-12 | Paper |
| Dimension in universal algebraic geometry. | 2014-12-17 | Paper |
| Diophantine cryptography in free metabelian groups: theoretical base. | 2014-11-18 | Paper |
| Verbally closed subgroups of free groups | 2014-09-17 | Paper |
| The elementary theory of groups. A guide through the proofs of the Tarski conjectures. | 2014-08-22 | Paper |
| A polynomial bound on solutions of quadratic equations in free groups. | 2014-08-04 | 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 |
| Conjugacy in Baumslag's group, generic case complexity, and division in power circuits | 2014-03-31 | Paper |
| Finitely presented expansions of groups, semigroups, and algebras | 2014-03-12 | Paper |
| Amalgamated free product of groups: normal forms and measures. | 2014-02-21 | Paper |
| On Tarski's Decidability Problem | 2014-02-03 | Paper |
| Cyclic rewriting and conjugacy problems | 2014-01-30 | Paper |
| Elementary coordinatization of finitely generated nilpotent groups | 2013-11-06 | Paper |
| On rationality of verbal subsets in a group | 2013-08-01 | 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 |
| GROUP EXTENSIONS OVER INFINITE WORDS | 2013-01-18 | Paper |
| Amalgamated products of groups: measures of random normal forms. | 2013-01-10 | Paper |
| Algebraic geometry over algebraic structures. II: Foundations | 2013-01-10 | Paper |
| Erratum to: ``A classification of conjugately separated abelian, commutative transitive and restricted Gromov one-relator groups | 2013-01-10 | Paper |
| Universal theories for rigid soluble groups. | 2012-12-17 | Paper |
| Algebraic geometry over algebraic structures. V: The case of arbitrary signature | 2012-12-11 | Paper |
| POWER CIRCUITS, EXPONENTIAL ALGEBRA, AND TIME COMPLEXITY | 2012-11-22 | Paper |
| Regular completions of $\mathbb{Z}^n$-free groups | 2012-08-22 | Paper |
| Random equations in nilpotent groups. | 2012-07-13 | Paper |
| Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group | 2012-07-08 | Paper |
| Groups elementarily equivalent to a free 2-nilpotent group of finite rank. | 2012-06-29 | Paper |
| Pregroups and the big powers condition. | 2012-06-29 | Paper |
| Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic | 2012-06-08 | Paper |
| Groups with free regular length functions in $\mathbb{Z}^{n}$ | 2012-05-29 | Paper |
| Random equations in free groups | 2012-05-18 | Paper |
| Random van Kampen diagrams and algorithmic problems in groups | 2012-05-07 | Paper |
| Limits of relatively hyperbolic groups and Lyndon's completions. | 2012-04-20 | Paper |
| The word problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable. | 2012-04-10 | Paper |
| Universal algebraic geometry | 2012-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101433 | 2011-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101028 | 2011-11-22 | Paper |
| Algorithmically finite groups. | 2011-10-21 | Paper |
| Groups elementarily equivalent to a free nilpotent group of finite rank | 2011-09-22 | Paper |
| Solving Word Problems in Group Extensions over Infinite Words | 2011-07-29 | Paper |
| Algebraic geometry over algebraic structures. IV: Equational domains and codomains | 2011-06-08 | Paper |
| Exponentially generic subsets of groups | 2011-04-28 | Paper |
| The conjugacy problem in the Grigorchuk group is polynomial time decidable. | 2011-04-21 | Paper |
| Krull dimension of solvable groups. | 2011-01-21 | Paper |
| The word and geodesic problems in free solvable groups | 2010-09-27 | Paper |
| Geodesic rewriting systems and pregroups | 2010-09-14 | Paper |
| Regular sets and counting in free groups | 2010-09-14 | 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 |
| A geometric zero-one law | 2009-09-29 | Paper |
| Solving one-variable equations in free groups | 2009-04-08 | Paper |
| Generic Subgroups of Group Amalgams | 2009-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3537433 | 2008-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3525453 | 2008-09-12 | Paper |
| Random subgroups and analysis of the length-based and quotient attacks | 2008-08-11 | Paper |
| Generic complexity of undecidable problems | 2008-06-09 | Paper |
| Generic Complexity of Undecidable Problems | 2008-06-03 | Paper |
| Group-based cryptography | 2008-05-29 | Paper |
| THE CONJUGACY PROBLEM IN AMALGAMATED PRODUCTS I: REGULAR ELEMENTS AND BLACK HOLES | 2008-05-20 | Paper |
| GENERIC COMPLEXITY OF THE CONJUGACY PROBLEM IN HNN-EXTENSIONS AND ALGORITHMIC STRATIFICATION OF MILLER'S GROUPS | 2008-05-14 | Paper |
| A Practical Attack on a Braid Group Based Cryptographic Protocol | 2008-03-17 | Paper |
| A classification of conjugately separated abelian, commutative transitive, and restricted Gromov one-relator groups. | 2008-03-14 | Paper |
| Exponential extensions of groups | 2008-02-26 | Paper |
| The halting problem is decidable on a set of asymptotic probability one | 2007-08-01 | Paper |
| ON POSITIVE THEORIES OF GROUPS WITH REGULAR FREE LENGTH FUNCTIONS | 2007-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3442582 | 2007-05-18 | Paper |
| The Finitary Andrews-Curtis Conjecture | 2007-05-11 | Paper |
| Public Key Cryptography - PKC 2006 | 2007-05-02 | Paper |
| Heuristics for the Whitehead Minimization Problem | 2007-02-05 | Paper |
| The isomorphism problem for finitely generated fully residually free groups. | 2007-01-09 | Paper |
| Some metric properties of automorphisms of groups. | 2006-12-07 | Paper |
| Elementary theory of free non-abelian groups. | 2006-12-07 | Paper |
| FULLY RESIDUALLY FREE GROUPS AND GRAPHS LABELED BY INFINITE WORDS | 2006-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5488871 | 2006-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702491 | 2005-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702493 | 2005-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702494 | 2005-11-01 | Paper |
| Pattern recognition and minimal words in free groups of rank 2 | 2005-09-05 | Paper |
| Implicit function theorem over free groups. | 2005-08-22 | Paper |
| Algebraic geometry over groups. III: Elements of model theory. | 2005-06-10 | Paper |
| FOLDINGS, GRAPHS OF GROUPS AND THE MEMBERSHIP PROBLEM | 2005-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656957 | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656975 | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656976 | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656978 | 2005-03-14 | Paper |
| Average-case complexity and decision problems in group theory. | 2005-01-11 | Paper |
| THE ANDREWS–CURTIS CONJECTURE AND BLACK BOX GROUPS | 2004-08-06 | Paper |
| MULTIPLICATIVE MEASURES ON FREE GROUPS | 2004-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463893 | 2004-06-08 | Paper |
| Discriminating groups and c-dimension | 2004-03-30 | Paper |
| Automorphic orbits in free groups. | 2003-11-19 | Paper |
| Generic-case complexity, decision problems in group theory, and random walks. | 2003-07-30 | Paper |
| MALNORMAL SUBGROUPS OF FREE GROUPS | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781979 | 2003-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152680 | 2003-02-23 | Paper |
| On the Hanna Neumann Conjecture | 2003-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529472 | 2002-10-15 | Paper |
| Stallings foldings and subgroups of free groups | 2002-09-26 | Paper |
| Discriminating completions of hyperbolic groups | 2002-09-18 | Paper |
| Groups whose universal theory is axiomatizable by quasi-identities | 2002-08-19 | Paper |
| Discriminating groups | 2002-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2759634 | 2002-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152673 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946210 | 2001-09-19 | Paper |
| Algebraic geometry over groups. II: Logical foundations | 2001-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942269 | 2001-06-20 | Paper |
| Discriminating and co-discriminating groups | 2001-05-08 | Paper |
| MALNORMALITY IS DECIDABLE IN FREE GROUPS | 2000-12-04 | Paper |
| Centroids of groups | 2000-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942268 | 2000-08-01 | Paper |
| Algebraic geometry over groups. I: Algebraic sets and ideal theory | 1999-12-20 | 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 |
| A classification of fully residually free groups of rank three or less | 1998-09-09 | Paper |
| Hyperbolic groups and free constructions | 1998-03-24 | Paper |
| Equations in a free 𝐐-group | 1998-03-24 | Paper |
| Two theorems about equationally Noetherian groups | 1997-11-24 | Paper |
| Formal power series representations of free exponential groups | 1997-10-05 | Paper |
| EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS | 1997-07-13 | Paper |
| Groups with exponents. I: Fundamentals of the theory and tensor completions | 1996-11-24 | Paper |
| CSA-groups and separated free constructions | 1996-06-02 | Paper |
| Toward a generalized computability theory | 1995-04-20 | Paper |
| Admissible sets in group theory | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4015766 | 1993-01-16 | Paper |
| Definable invariants of bilinear mappings | 1992-06-25 | Paper |
| The theory of models of bilinear mappings | 1992-06-25 | Paper |
| THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS | 1990-01-01 | Paper |
| Elementary theory of a module over a local ring | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197992 | 1989-01-01 | Paper |
| RECURSIVEp-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-p-GROUPS | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3818466 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3496404 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764340 | 1987-01-01 | Paper |
| Elementary group equivalence with the integral length function | 1986-01-01 | Paper |
| Extended Nielsen transformations and triviality of a group | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3344361 | 1984-01-01 | Paper |
| Formularity of sets of Mal'tsev bases, and elementary theories of finite- dimensional algebras. II | 1983-01-01 | Paper |
| Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I | 1982-01-01 | Paper |
| Approximability of outer automorphism groups of free groups of finite rank | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663521 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4750853 | 1981-01-01 | Paper |
