Alexei Miasnikov

19 papers A* 1B 1C 1Misc 1Journal 15
YearRankTypeTitle / Venue / Authors
2024 J jnl
U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in LLMs.
CoRR
Konstantin Chernyshev, Vitaliy Polshkov, Ekaterina Artemova, Alexey D. Myasnikov, Vlad Stepanov, Alexei Miasnikov, Sergei Tilga
2020 B conf
On parameterized complexity of the word search problem in the Baumslag-Gersten group.
ISSAC
Alexei Miasnikov, Andrey Nikolaev
2019 J jnl
Low-complexity computations for nilpotent subgroup problems.
Int. J. Algebra Comput.
Jeremy MacDonald, Alexei Miasnikov, Denis Ovchinnikov
2019 J jnl
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC 0.
Theory Comput. Syst.
Alexei Miasnikov, Svetla Vassileva, Armin Weiß
2019 J jnl
The complexity of verbal languages over groups.
J. Comput. Syst. Sci.
Sanjay Jain, Alexei Miasnikov, Frank Stephan
2017 J jnl
Computational complexity and the conjugacy problem.
Comput.
Alexei Miasnikov, Paul E. Schupp
2017 J jnl
Log-space conjugacy problem in the Grigorchuk group.
Groups Complex. Cryptol.
Alexei Miasnikov, Svetla Vassileva
2017 J jnl
Random nilpotent groups, polycyclic presentations, and Diophantine problems.
Groups Complex. Cryptol.
Albert Garreta, Alexei Miasnikov, Denis Ovchinnikov
2017 Misc conf
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in $${{\mathsf {T}}}{{\mathsf {C}}}^0$$.
CSR
Alexei Miasnikov, Svetla Vassileva, Armin Weiß
2016 J jnl
Generic case completeness.
CoRR
Alexei Miasnikov, Alexander Ushakov
2016 J jnl
Generic case completeness.
J. Comput. Syst. Sci.
Alexei Miasnikov, Alexander Ushakov
2016 J jnl
The conjugacy problem in free solvable groups and wreath product of abelian groups is in TC$^0$.
CoRR
Alexei Miasnikov, Svetla Vassileva, Armin Weiß
2015 J jnl
A Linear Attack on a Key Exchange Protocol Using Extensions of Matrix Semigroups.
IACR Cryptol. ePrint Arch.
Jintai Ding, Alexei Miasnikov, Alexander Ushakov
2015 J jnl
An example of an automatic graph of intermediate growth.
Ann. Pure Appl. Log.
Alexei Miasnikov, Dmytro Savchuk
2013 J jnl
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits.
CoRR
Volker Diekert, Alexei Miasnikov, Armin Weiß
2012 C conf
Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic.
LATA
Alexei Miasnikov, Zoran Sunic
2012 A* conf
The Complexity of Verbal Languages over Groups.
LICS
Sanjay Jain, Alexei Miasnikov, Frank Stephan
2011 J jnl
From automatic structures to automatic groups
CoRR
Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov
2006 J jnl
The Halting Problem Is Decidable on a Set of Asymptotic Probability One.
Notre Dame J. Formal Log.
Joel David Hamkins, Alexei Miasnikov