Alexei G. Myasnikov

Affiliations:
  • Stevens Institute of Technology, Hoboken, NJ, USA


According to our database1, Alexei G. Myasnikov authored at least 73 papers between 1996 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Parallel complexity for nilpotent groups.
Int. J. Algebra Comput., 2022

2021
Hierarchy for groups acting on hyperbolic ℤn-spaces.
Int. J. Algebra Comput., 2021

2020
The Diophantine problem in some metabelian groups.
Math. Comput., 2020

On parameterized complexity of the word search problem in the Baumslag-Gersten group.
Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC 0.
Theory Comput. Syst., 2019

The complexity of verbal languages over groups.
J. Comput. Syst. Sci., 2019

Low-complexity computations for nilpotent subgroup problems.
Int. J. Algebra Comput., 2019

Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups.
Groups Complex. Cryptol., 2019

Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131).
Dagstuhl Reports, 2019

2018
Undecidability of the First order Theories of Free Noncommutative Lie Algebras.
J. Symb. Log., 2018

Characterization of finitely generated groups by types.
Int. J. Algebra Comput., 2018

Equations in Algebras.
Int. J. Algebra Comput., 2018

Algebraic geometry over algebraic structures X: Ordinal dimension.
Int. J. Algebra Comput., 2018

The tree property at the double successor of a singular cardinal with a larger gap.
Ann. Pure Appl. Log., 2018

2017
ω-stability and Morley Rank of Bilinear Maps, Rings and Nilpotent Groups.
J. Symb. Log., 2017

Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem.
J. Symb. Comput., 2017

Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group.
Int. J. Algebra Comput., 2017

Log-space conjugacy problem in the Grigorchuk group.
Groups Complex. Cryptol., 2017

Random nilpotent groups, polycyclic presentations, and Diophantine problems.
Groups Complex. Cryptol., 2017

TC^0 circuits for algorithmic problems in nilpotent groups.
CoRR, 2017

Computational complexity and the conjugacy problem.
Comput., 2017

TC<sup>0</sup> Circuits for Algorithmic Problems in Nilpotent Groups.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in $${{\mathsf {T}}}{{\mathsf {C}}}^0$$.
Proceedings of the Computer Science - Theory and Applications, 2017

2016
Generic case completeness.
J. Comput. Syst. Sci., 2016

The conjugacy problem in free solvable groups and wreath product of abelian groups is in TC$^0$.
CoRR, 2016

Conjugacy in Baumslag's Group, Generic Case Complexity, and Division in Power Circuits.
Algorithmica, 2016

2015
Knapsack problems in groups.
Math. Comput., 2015

Groups acting on hyperbolic Λ-metric spaces.
Int. J. Algebra Comput., 2015

A Linear Attack on a Key Exchange Protocol Using Extensions of Matrix Semigroups.
IACR Cryptol. ePrint Arch., 2015

A linear decomposition attack.
Groups Complex. Cryptol., 2015

Non-commutative lattice problems.
CoRR, 2015

Logspace and compressed-word computations in nilpotent groups.
CoRR, 2015

An example of an automatic graph of intermediate growth.
Ann. Pure Appl. Log., 2015

2014
Verbal subgroups of hyperbolic groups have infinite width.
J. Lond. Math. Soc., 2014

Diophantine cryptography in free metabelian groups: Theoretical base.
Groups Complex. Cryptol., 2014

Infinite words and universal free actions.
Groups Complex. Cryptol., 2014

2013
On Rationality of Verbal Subsets in a Group.
Theory Comput. Syst., 2013

Actions, Length Functions, and Non-Archimedean Words.
Int. J. Algebra Comput., 2013

Definable Sets in a hyperbolic Group.
Int. J. Algebra Comput., 2013

The Post correspondence problem in groups.
CoRR, 2013

2012
Group Extensions over Infinite Words.
Int. J. Found. Comput. Sci., 2012

Power Circuits, exponential Algebra, and Time Complexity.
Int. J. Algebra Comput., 2012

Preface.
Int. J. Algebra Comput., 2012

Cyclic rewriting and conjugacy problems.
Groups Complex. Cryptol., 2012

Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic.
Proceedings of the Language and Automata Theory and Applications, 2012

2011
Random van Kampen diagrams and algorithmic problems in groups.
Groups Complex. Cryptol., 2011

Random equations in free groups.
Groups Complex. Cryptol., 2011

From automatic structures to automatic groups
CoRR, 2011

Groups elementarily equivalent to a free nilpotent group of finite rank.
Ann. Pure Appl. Log., 2011

Solving Word Problems in Group Extensions over Infinite Words.
Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2010
The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete.
Theory Comput. Syst., 2010

2009
Generic Subgroups of Group Amalgams.
Groups Complex. Cryptol., 2009

2008
Generic complexity of undecidable problems.
J. Symb. Log., 2008

Random subgroups and analysis of the length-based and quotient attacks.
J. Math. Cryptol., 2008

2007
On Positive Theories of Groups with Regular Free Length Functions.
Int. J. Algebra Comput., 2007

The Conjugacy Problem in Amalgamated Products I: Regular Elements and Black Holes.
Int. J. Algebra Comput., 2007

Generic Complexity of the Conjugacy Problem in HNN-Extensions and Algorithmic Stratification of Miller's Groups.
Int. J. Algebra Comput., 2007

Report on Generic Case Complexity
CoRR, 2007

Generic Complexity of Undecidable Problems.
Proceedings of the Computer Science, 2007

2006
The Halting Problem Is Decidable on a Set of Asymptotic Probability One.
Notre Dame J. Formal Log., 2006

Fully Residually Free Groups and Graphs Labeled by Infinite Words.
Int. J. Algebra Comput., 2006

Random Subgroups of Braid Groups: An Approach to Cryptanalysis of a Braid Group Based Cryptographic Protocol.
Proceedings of the Public Key Cryptography, 2006

2005
Foldings, Graphs of Groups and the Membership Problem.
Int. J. Algebra Comput., 2005

Heuristics for the Whitehead Minimization Problem.
Exp. Math., 2005

A Practical Attack on a Braid Group Based Cryptographic Protocol.
Proceedings of the Advances in Cryptology, 2005

2003
Multiplicative Measures on Free Groups.
Int. J. Algebra Comput., 2003

The Andrews-Curtis Conjecture and Black Box Groups.
Int. J. Algebra Comput., 2003

Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture
CoRR, 2003

Whitehead method and Genetic Algorithms
CoRR, 2003

2002
Average-case complexity and decision problems in group theory
CoRR, 2002

Generic-case complexity, decision problems in group theory and random walks
CoRR, 2002

1999
Malnormality is Decidable in Free Groups.
Int. J. Algebra Comput., 1999

1996
Exponential Groups 2: Extensions of Centralizers and Tensor Completion of CSA-Groups.
Int. J. Algebra Comput., 1996


  Loading...