Alexei Miasnikov

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 11

Top Topics

Related Problems

Computational Complexity

Directed Acyclic Graph

Top Venues

J. Comput. Syst. Sci.

Groups Complex. Cryptol.

Publications

Alexei Miasnikov, Andrey Nikolaev
On parameterized complexity of the word search problem in the Baumslag-Gersten group. ISSAC (2020)
Jeremy MacDonald, Alexei Miasnikov, Denis Ovchinnikov
Low-complexity computations for nilpotent subgroup problems. Int. J. Algebra Comput. 29 (4) (2019)
Alexei Miasnikov, Svetla Vassileva, Armin Weiß
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC 0. Theory Comput. Syst. 63 (4) (2019)
Sanjay Jain, Alexei Miasnikov, Frank Stephan
The complexity of verbal languages over groups. J. Comput. Syst. Sci. 101 (2019)
Albert Garreta, Alexei Miasnikov, Denis Ovchinnikov
Random nilpotent groups, polycyclic presentations, and Diophantine problems. Groups Complex. Cryptol. 9 (2) (2017)
Alexei Miasnikov, Svetla Vassileva, Armin Weiß
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in $${{\mathsf {T}}}{{\mathsf {C}}}^0$$. CSR (2017)
Alexei Miasnikov, Svetla Vassileva
Log-space conjugacy problem in the Grigorchuk group. Groups Complex. Cryptol. 9 (1) (2017)
Alexei Miasnikov, Paul E. Schupp
Computational complexity and the conjugacy problem. Comput. 6 (4) (2017)
Alexei Miasnikov, Alexander Ushakov
Generic case completeness. J. Comput. Syst. Sci. 82 (8) (2016)
Alexei Miasnikov, Alexander Ushakov
Generic case completeness. CoRR (2016)
Alexei Miasnikov, Svetla Vassileva, Armin Weiß
The conjugacy problem in free solvable groups and wreath product of abelian groups is in TC$^0$. CoRR (2016)
Alexei Miasnikov, Dmytro Savchuk
An example of an automatic graph of intermediate growth. Ann. Pure Appl. Log. 166 (10) (2015)
Jintai Ding, Alexei Miasnikov, Alexander Ushakov
A Linear Attack on a Key Exchange Protocol Using Extensions of Matrix Semigroups. IACR Cryptol. ePrint Arch. 2015 (2015)
Volker Diekert, Alexei Miasnikov, Armin Weiß
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits. CoRR (2013)
Alexei Miasnikov, Zoran Sunic
Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic. LATA (2012)
Sanjay Jain, Alexei Miasnikov, Frank Stephan
The Complexity of Verbal Languages over Groups. LICS (2012)
Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov
From automatic structures to automatic groups CoRR (2011)
Joel David Hamkins, Alexei Miasnikov
The Halting Problem Is Decidable on a Set of Asymptotic Probability One. Notre Dame J. Formal Log. 47 (4) (2006)