| Publication | Date of Publication | Type |
|---|
Algebraic structure of tensor completions of 2-nilpotent torsion-free groups
Algebra and Logic | 2026-06-22 | Paper |
Mal'tsev correspondence and bi-interpretability
Algebra and Logic | 2026-05-27 | Paper |
Algorithmic problems in tensor completions of 2-nilpotent finitely generated torsion-free groups
Transactions of A. Razmadze Mathematical Institute | 2026-04-29 | Paper |
Groups elementarily equivalent to metabelian Baumslag-Solitar groups and regular bi-interpretability
Annals of Pure and Applied Logic | 2026-02-12 | Paper |
The structure of the free two-generated \(R\)-group of nilpotency class 2, where \(R=\mathbb{Q}[t]\)
Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics | 2025-12-18 | Paper |
Andrews-Curtis groups
Journal of Groups, Complexity, Cryptology | 2025-11-13 | Paper |
Groups elementarily equivalent to a finitely generated free metabelian group
Groups, Geometry, and Dynamics | 2025-09-26 | Paper |
| Groups elementarily equivalent to the classical matrix groups | 2025-06-05 | Paper |
| Log-space complexity of the conjugacy problem in wreath products | 2024-09-09 | Paper |
Varieties of exponential R-groups
Algebra and Logic | 2024-02-23 | Paper |
Generic types and generic elements in divisible rigid groups
Algebra and Logic | 2024-01-16 | Paper |
| scientific article; zbMATH DE number 7782798 (Why is no real title available?) | 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
Doklady Mathematics | 2022-07-15 | Paper |
Parallel complexity for nilpotent groups
International Journal of Algebra and Computation | 2022-06-24 | Paper |
The Diophantine problem in the classical matrix groups
Izvestiya: Mathematics | 2022-02-24 | Paper |
Hierarchy for groups acting on hyperbolic ℤn-spaces
International Journal of Algebra and Computation | 2022-01-13 | Paper |
Rich groups, weak second order logic, and applications
(available as arXiv preprint) | 2021-09-27 | Paper |
Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures
Journal of Mathematical Sciences (New York) | 2021-09-23 | Paper |
3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group
Groups and Model Theory | 2021-08-26 | Paper |
4 Rich groups, weak second-order logic, and applications
Groups and Model Theory | 2021-08-26 | Paper |
Diophantine problems in solvable groups
Bulletin of Mathematical Sciences | 2021-06-30 | Paper |
Complete first-order theories of some classical matrix groups over algebraic integers
Journal of Algebra | 2021-06-03 | Paper |
Metabelian groups: full-rank presentations, randomness and Diophantine problems
Journal of Group Theory | 2021-05-11 | Paper |
| The Diophantine problem in finitely generated commutative rings | 2020-12-17 | Paper |
Explicit universal axioms for Kaplansky groups
Elementary Theory of Groups and Group Rings, and Related Topics | 2020-08-21 | Paper |
The Diophantine problem in some metabelian groups
Mathematics of Computation | 2020-06-15 | Paper |
\(\mathsf{TC}^0\) circuits for algorithmic problems in nilpotent groups
(available as arXiv preprint) | 2020-05-26 | Paper |
Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity
Journal of Algebra | 2020-05-11 | Paper |
Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups
Groups - Complexity - Cryptology | 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
Journal of Algebra | 2019-12-27 | Paper |
Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits
Algebra and Logic | 2019-12-06 | Paper |
Low-complexity computations for nilpotent subgroup problems
International Journal of Algebra and Computation | 2019-07-12 | Paper |
The conjugacy problem in free solvable groups and wreath products of abelian groups is in \(\mathsf{TC}^0\)
Theory of Computing Systems | 2019-07-04 | Paper |
Diophantine Problem in Some Metabelian Groups
(available as arXiv preprint) | 2019-03-24 | Paper |
The complexity of verbal languages over groups
Journal of Computer and System Sciences | 2019-01-25 | Paper |
Algebraic geometry over algebraic structures. X: Ordinal dimensions
International Journal of Algebra and Computation | 2019-01-18 | Paper |
Equations in algebras
International Journal of Algebra and Computation | 2019-01-18 | Paper |
Characterization of finitely generated groups by types
International Journal of Algebra and Computation | 2019-01-18 | Paper |
Undecidability of equations in free Lie algebras
Transactions of the American Mathematical Society | 2019-01-10 | Paper |
Undecidability of the first order theories of free noncommutative Lie algebras
Journal of Symbolic Logic | 2018-10-26 | Paper |
Divisible rigid groups. II: Stability, saturation, and elementary submodels
Algebra and Logic | 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
Annals of Pure and Applied Logic | 2018-04-06 | Paper |
What does a group algebra of a free group ``know'' about the group?
Annals of Pure and Applied Logic | 2018-04-06 | Paper |
Algebraic geometry over algebraic structures. VI: Geometrical equivalence
Algebra and Logic | 2018-03-02 | Paper |
Tarski-type problems for free associative algebras
Journal of Algebra | 2018-02-28 | Paper |
Universal geometrical equivalence of the algebraic structures of common signature
Siberian Mathematical Journal | 2018-02-06 | Paper |
Computational complexity and the conjugacy problem
Computability | 2018-01-18 | Paper |
Algorithmically complex residually finite groups
Bulletin of Mathematical Sciences | 2017-11-29 | Paper |
Random nilpotent groups, polycyclic presentations, and Diophantine problems
Groups - Complexity - Cryptology | 2017-11-06 | Paper |
Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group
International Journal of Algebra and Computation | 2017-11-03 | Paper |
| Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems | 2017-10-25 | Paper |
Model-theoretic aspects of the theory of divisible rigid soluble groups
Algebra and Logic | 2017-09-04 | Paper |
Stallings graphs for quasi-convex subgroups
Journal of Algebra | 2017-09-04 | Paper |
The conjugacy problem in free solvable groups and wreath products of abelian groups is in \({\mathsf {TC}^0}\)
(available as arXiv preprint) | 2017-08-22 | Paper |
<i>ω</i>-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS
Journal of Symbolic Logic | 2017-08-03 | Paper |
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem
Journal of Symbolic Computation | 2017-06-01 | Paper |
| Random Burnside Groups | 2017-05-22 | Paper |
The complexity of verbal languages over groups
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Log-space conjugacy problem in the Grigorchuk group
Groups - Complexity - Cryptology | 2017-05-03 | Paper |
Random presentations and random subgroups: a survey
(available as arXiv preprint) | 2017-02-07 | Paper |
Efim Isaakovich Zelmanov is 60 years old
Russian Mathematical Surveys | 2017-01-05 | Paper |
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits
Algorithmica | 2016-12-21 | Paper |
Hierarchy for groups acting on hyperbolic $\mathbf{Z}^n$-spaces
(available as arXiv preprint) | 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.
Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Generic case completeness
Journal of Computer and System Sciences | 2016-08-04 | Paper |
Non-commutative lattice problems
Journal of Group Theory | 2016-05-19 | Paper |
On asymptotic properties of verbal subsets in a group.
Lobachevskii Journal of Mathematics | 2016-04-13 | Paper |
Quadratic equations in the Grigorchuk group.
Groups, Geometry, and Dynamics | 2016-03-18 | Paper |
Groups acting on hyperbolic \(\Lambda\)-metric spaces
International Journal of Algebra and Computation | 2015-11-20 | Paper |
Generic theories as a method for approximating elementary theories
Algebra and Logic | 2015-07-28 | Paper |
Logical aspects of the theory of divisible rigid groups.
Doklady Mathematics | 2015-07-07 | Paper |
An example of an automatic graph of intermediate growth
Annals of Pure and Applied Logic | 2015-06-30 | Paper |
A linear decomposition attack
Groups - Complexity - Cryptology | 2015-05-12 | Paper |
Dimension in universal algebraic geometry.
Doklady Mathematics | 2014-12-17 | Paper |
Diophantine cryptography in free metabelian groups: theoretical base.
Groups - Complexity - Cryptology | 2014-11-18 | Paper |
Verbal subgroups of hyperbolic groups have infinite width.
Journal of the London Mathematical Society. Second Series | 2014-10-15 | Paper |
Verbally closed subgroups of free groups
Journal of Group Theory | 2014-09-17 | Paper |
The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
De Gruyter Expositions in Mathematics | 2014-08-22 | Paper |
A polynomial bound on solutions of quadratic equations in free groups.
Proceedings of the Steklov Institute of Mathematics | 2014-08-04 | Paper |
Infinite words and universal free actions.
Groups - Complexity - Cryptology | 2014-07-02 | Paper |
From automatic structures to automatic groups.
Groups, Geometry, and Dynamics | 2014-06-19 | Paper |
Tame automorphisms of elementary free groups.
Communications in Algebra | 2014-05-23 | Paper |
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Finitely presented expansions of groups, semigroups, and algebras
Transactions of the American Mathematical Society | 2014-03-12 | Paper |
Amalgamated free product of groups: normal forms and measures.
Mathematical Notes | 2014-02-21 | Paper |
| On Tarski's Decidability Problem | 2014-02-03 | Paper |
Cyclic rewriting and conjugacy problems.
Groups, Complexity, Cryptology | 2014-01-30 | Paper |
| Elementary coordinatization of finitely generated nilpotent groups | 2013-11-06 | Paper |
On rationality of verbal subsets in a group
Theory of Computing Systems | 2013-08-01 | Paper |
ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
International Journal of Algebra and Computation | 2013-04-26 | Paper |
Definable sets in a hyperbolic group.
International Journal of Algebra and Computation | 2013-04-22 | Paper |
| Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group | 2013-03-04 | Paper |
GROUP EXTENSIONS OVER INFINITE WORDS
International Journal of Foundations of Computer Science | 2013-01-18 | Paper |
Amalgamated products of groups: measures of random normal forms.
Journal of Mathematical Sciences (New York) | 2013-01-10 | Paper |
