If you made any changes in Pure, your changes will be visible here soon.

Research Output 1980 2019

2019

Algebraic Geometry Over Algebraic Structures. IX. Principal Universal Classes and Dis-Limits

Daniyarova, E. Y. U., Miasnikov, A. & Remeslennikov, V. N., Jan 15 2019, In : Algebra and Logic. 57, 6, p. 414-428 15 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Algebraic Geometry
Algebraic Structure
Quasivariety
Universal Algebra
Model Theory

Low-complexity computations for nilpotent subgroup problems

MacDonald, J., Miasnikov, A. & Ovchinnikov, D., Jun 1 2019, In : International Journal of Algebra and Computation. 29, 4, p. 639-661 23 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Low Complexity
Subgroup
Straight-line Programs
Normalizer
Nilpotency

The complexity of verbal languages over groups

Jain, S., Miasnikov, A. & Stephan, F., May 1 2019, In : Journal of Computer and System Sciences. 101, p. 68-85 18 p.

Research output: Contribution to journalArticle

Formal languages
Context sensitive languages
Context free languages
Pattern Language
Context-free Languages

The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC 0

Miasnikov, A., Vassileva, S. & Weiß, A., May 15 2019, In : Theory of Computing Systems. 63, 4, p. 809-832 24 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Conjugacy Problem
Wreath Product
Solvable Group
Free Group
Torsional stress

Undecidability of equations in free lie algebras

Kharlampovich, O. & Miasnikov, A., Jan 1 2019, In : Transactions of the American Mathematical Society. 371, 4, p. 2987-2999 13 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Free Lie Algebra
Undecidability
Integral domain
Algebra
System of equations
2018

Algebraic geometry over algebraic structures X: Ordinal dimension

Daniyarova, E. Y. E., Miasnikov, A. & Remeslennikov, V. N., Dec 1 2018, In : International Journal of Algebra and Computation. 28, 8, p. 1425-1448 24 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Algebraic Geometry
Algebraic Structure
Krull Dimension
Algebraic Variety
Signature
1 Citation (Scopus)

Characterization of finitely generated groups by types

Miasnikov, A. & Romanovskii, N. S., Dec 1 2018, In : International Journal of Algebra and Computation. 28, 8, p. 1613-1632 20 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Finitely Generated Group
Finitely Generated
Polycyclic Group
Metabelian group
Solvable Group
3 Citations (Scopus)

Divisible Rigid Groups. II. Stability, Saturation, and Elementary Submodels

Miasnikov, A. & Romanovskii, N. S., Mar 1 2018, In : Algebra and Logic. 57, 1, p. 29-38 10 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Elementary Submodel
Divisible
Saturation
Quotient
Quantifier Elimination

Elementary equivalence of rings with finitely generated additive groups

Miasnikov, A., Oger, F. & Sohrabi, M., Jun 1 2018, In : Annals of Pure and Applied Logic. 169, 6, p. 514-522 9 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Finitely Generated
Equivalence
Ring
Finitely Generated Group
Nilpotent Group
2 Citations (Scopus)

Equations in Algebras

Kharlampovich, O. & Miasnikov, A., Dec 1 2018, In : International Journal of Algebra and Computation. 28, 8, p. 1517-1533 17 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Relatively Hyperbolic Groups
Right-angled Artin Group
Free Associative Algebras
Graph of Groups
Torsion-free Group
3 Citations (Scopus)

Tarski-type problems for free associative algebras

Kharlampovich, O. & Miasnikov, A., Apr 15 2018, In : Journal of Algebra. 500, p. 589-643 55 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Free Associative Algebras
Finite Rank
Weak Order
First-order
Ring

Undecidability of the First Order Theories of Free Noncommutative Lie Algebras

Kharlampovich, O. & Miasnikov, A., Sep 1 2018, In : Journal of Symbolic Logic. 83, 3, p. 1204-1216 13 p.

Research output: Contribution to journalArticle

Noncommutative Algebra
Undecidability
Lie Algebra
First-order
Ring
1 Citation (Scopus)

What does a group algebra of a free group “know” about the group?

Kharlampovich, O. & Miasnikov, A., Jun 1 2018, In : Annals of Pure and Applied Logic. 169, 6, p. 523-547 25 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Group Algebra
Free Group
Second-order Logic
Weak Order
Geodesic
2017
4 Citations (Scopus)

Algebraic Geometry Over Algebraic Structures. VI. Geometrical Equivalence

Daniyarova, E. Y., Miasnikov, A. & Remeslennikov, V. N., Sep 1 2017, In : Algebra and Logic. 56, 4, p. 281-294 14 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Algebraic Geometry
Algebraic Structure
Equivalence
Algebraic Set
Classification Problems
4 Citations (Scopus)

Algorithmically complex residually finite groups

Kharlampovich, O., Miasnikov, A. & Sapir, M., Aug 1 2017, In : Bulletin of Mathematical Sciences. 7, 2, p. 309-352 44 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Residually Finite Groups
Dehn Function
Recursive Functions
Class

Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem

Diekert, V., Miasnikov, A. & Weiß, A., Nov 1 2017, In : Journal of Symbolic Computation. 83, p. 147-165 19 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Conjugacy Problem
Amenability
HNN Extension
Polynomials
Graph in graph theory

Computational complexity and the conjugacy problem

Miasnikov, A. & Schupp, P., Jan 1 2017, In : Computability. 6, 4, p. 307-318 12 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Conjugacy Problem
Computational complexity
Computational Complexity
Mirrors
Linear Time
Finitely Generated Group
Nilpotent Group
Torsion-free
Torsion-free Group
Heisenberg Group
1 Citation (Scopus)

Log-space complexity of the conjugacy problem in wreath products

Miasnikov, A., Vassileva, S. & Weiss, A., Dec 26 2017, Infinite Group Theory: From The Past To The Future. World Scientific Publishing Co. Pte Ltd, p. 215-236 22 p.

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingChapter

Conjugacy Problem
Wreath Product
Space Complexity
Solvable Group
Free Group

Log-space conjugacy problem in the Grigorchuk group

Miasnikov, A. & Vassileva, S., May 1 2017, In : Groups, Complexity, Cryptology. 9, 1, p. 77-85 9 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Conjugacy Problem
Space Complexity
2 Citations (Scopus)

Model-Theoretic Aspects of the Theory of Divisible Rigid Soluble Groups

Miasnikov, A. & Romanovskii, N. S., Mar 1 2017, In : Algebra and Logic. 56, 1, p. 82-84 3 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

2 Citations (Scopus)

Random nilpotent groups, polycyclic presentations, and Diophantine problems

Garreta, A., Miasnikov, A. & Ovchinnikov, D., Nov 1 2017, In : Groups, Complexity, Cryptology. 9, 2, p. 99-115 17 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Nilpotent Group
Torsional stress
Torsion-free
Finitely Generated
Presentation

Stallings graphs for quasi-convex subgroups

Kharlampovich, O., Miasnikov, A. & Weil, P., Oct 15 2017, In : Journal of Algebra. 488, p. 442-483 42 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Quasiconvex
Subgroup
Graph in graph theory
Relatively Hyperbolic Groups
Right-angled Artin Group
1 Citation (Scopus)

TC0 circuits for algorithmic problems in nilpotent groups

Miasnikov, A. & Weiß, A., Nov 1 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J-F. & Bodlaender, H. L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 83).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Networks (circuits)
2 Citations (Scopus)

The conjugacy problem in free solvable groups and wreath products of Abelian groups is in TC0

Miasnikov, A., Vassileva, S. & Weiß, A., Jan 1 2017, Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Proceedings. Springer Verlag, p. 217-231 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10304 LNCS).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Conjugacy Problem
Wreath Product
Solvable Group
Free Group
Torsional stress
2 Citations (Scopus)

Universal geometrical equivalence of the algebraic structures of common signature

Daniyarova, E. Y., Miasnikov, A. & Remeslennikov, V. N., Sep 1 2017, In : Siberian Mathematical Journal. 58, 5, p. 801-812 12 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Algebraic Structure
Signature
Equivalence
Algebraic Geometry
Affine transformation

Vitaliy sushchansky

Artamonov, V., Artemovych, O., Bahturin, Y., Banakh, T., Bartholdi, L., Bezushchak, O., Bondarenko, I., Ceccherini-Silberstein, T., Drozd, Y., Futorny, V., De Giovanni, F., Grigorchuk, R., Hołubowski, W., Ivanov, S., Kashu, A., Kharlampovich, O., Khukhro, E., Kirichenko, V., Kurdachenko, L., Lavrenyuk, Y. & 23 others, Macedońska, O., Miasnikov, A., Nagnibeda, T., Nekrashevych, V., Oliynyk, A., Oliynyk, B., Olshanskii, A., Perestyuk, M., Petravchuk, A., Protasov, I., Romanovskii, N., Savchuk, D., Sapir, M., Semko, M., Shestakov, I., Sidki, S., Steinberg, B., Subbotin, I., Sysak, Y., Vyshensky, V., Zelmanov, E., Zhuchok, A. & Zhuchok, Y., Jan 1 2017, In : Algebra and Discrete Mathematics. 23, 2

Stevens Institute of Technology

Research output: Contribution to journalComment/debate

Group Theory
Stable Map
Bilinear Map
Structure Theorem
Nilpotent Group
Algebraic Structure
2016

Conjugacy in Baumslag’s Group, Generic Case Complexity, and Division in Power Circuits

Diekert, V., Miasnikov, A. & Weiß, A., Dec 1 2016, In : Algorithmica. 76, 4, p. 961-988 28 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Conjugacy Problem
Conjugacy
Division
Computability and decidability
Networks (circuits)

Generic case completeness

Miasnikov, A. & Ushakov, A., Dec 1 2016, In : Journal of Computer and System Sciences. 82, 8, p. 1268-1282 15 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Completeness
Computational complexity
NP-complete problem
Halting Problem
3 Citations (Scopus)

Non-commutative lattice problems

Miasnikov, A., Nikolaev, A. & Ushakov, A., May 1 2016, In : Journal of Group Theory. 19, 3, p. 455-475 21 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Subgroup
Coxeter Group
Nilpotent Group
Free Group
Polynomial-time Algorithm

Quadratic equations in the grigorchuk group

Lysenok, I., Miasnikov, A. & Ushakov, A., Jan 1 2016, In : Groups, Geometry, and Dynamics. 10, 1, p. 201-239 39 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Quadratic equation
Commutator
Corollary
2015
10 Citations (Scopus)

A linear decomposition attack

Miasnikov, A. & Roman'Kov, V., May 1 2015, In : Groups, Complexity, Cryptology. 7, 1, p. 81-94 14 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Cryptography
Attack
Polynomials
Decomposition
Decompose
1 Citation (Scopus)

Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem

Diekert, V., Miasnikov, A. & Weiß, A., Jun 24 2015, ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 141-148 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; vol. 2015-June).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

HNN Extension
Conjugacy Problem
Amenability
Graph in graph theory
Finitely Generated
1 Citation (Scopus)

Generic Theories as a Method for Approximating Elementary Theories

Miasnikov, A. & Remeslennikov, V. N., Jan 1 2015, In : Algebra and Logic. 53, 6, p. 512-519 8 p.

Research output: Contribution to journalArticle

Groups acting on hyperbolic-metric spaces

Grecianu, A. P., Kvaschuk, A. V., Miasnikov, A. & Serbin, D., Sep 1 2015, In : International Journal of Algebra and Computation. 25, 6, p. 977-1042 66 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Hyperbolic Metric
Metric space
Group Action
Hyperbolic Structure
Ordered Group

On asymptotic properties of verbal subsets in a group

Miasnikov, A. & Roman’kov, V., Oct 1 2015, In : Lobachevskii Journal of Mathematics. 36, 4, p. 399-402 4 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Asymptotic Density
Free Group
Asymptotic Properties
Exponent
Subset
2014
6 Citations (Scopus)

Conjugacy in baumslag's group, generic case complexity, and division in power circuiats

Diekert, V., Miasnikov, A. & Weiß, A., Jan 1 2014, LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Proceedings. Springer Verlag, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8392 LNCS).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Conjugacy Problem
Conjugacy
Division
Networks (circuits)
Polynomials
1 Citation (Scopus)

Dimension in universal algebraic geometry

Daniyarova, E. Y., Miasnikov, A. & Remeslennikov, V. N., Jan 1 2014, In : Doklady Mathematics. 90, 1, p. 450-452 3 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

2 Citations (Scopus)

Diophantine cryptography in free metabelian groups: Theoretical base

Miasnikov, A. & Roman'Kov, V., Nov 1 2014, In : Groups, Complexity, Cryptology. 6, 2, p. 103-120 18 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Metabelian group
Free Group
Cryptography
Endomorphism
Hardness
4 Citations (Scopus)

Finitely presented expansions of groups, semigroups, and algebras

Khoussainov, B. & Miasnikov, A., Jan 2 2014, In : Transactions of the American Mathematical Society. 366, 3, p. 1455-1474 20 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Algebra
Semigroup
Finitely Generated
Computer science
Equality
16 Citations (Scopus)

From automatic structures to automatic groups

Kharlampovich, O., Khoussainov, B. & Miasnikov, A., Jan 1 2014, In : Groups, Geometry, and Dynamics. 8, 1, p. 157-198 42 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Graph in graph theory
Metabelian group
Word problem
Free Product
Cayley Graph
1 Citation (Scopus)

Infinite words and universal free actions

Kharlampovich, O., Miasnikov, A. & Serbin, D., Jan 1 2014, In : Groups, Complexity, Cryptology. 6, 1, p. 55-69 15 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Free Action
Infinite Words
Ordered Group
Group Action
Abelian group
15 Citations (Scopus)

Knapsack problems in groups

Miasnikov, A., Nikolaev, A. & Ushakov, A., Jan 1 2014, In : Mathematics of Computation. 84, 292, p. 987-1016 30 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Knapsack Problem
Subset Sum Problem
Computational complexity
Finitely Presented Groups
Hyperbolic Groups
5 Citations (Scopus)

Logical aspects of the theory of divisible rigid groups

Miasnikov, A. & Romanovskii, N. S., Jan 1 2014, In : Doklady Mathematics. 90, 3, p. 697-698 2 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

1 Citation (Scopus)

Tame Automorphisms of Elementary Free Groups

Fine, B., Kharlampovich, O. G., Miasnikov, A., Remeslennikov, V. N. & Rosenberger, G., Aug 1 2014, In : Communications in Algebra. 42, 8, p. 3386-3394 9 p.

Research output: Contribution to journalArticle

Free Group
Automorphism Group
Finitely Generated
Automorphisms
4 Citations (Scopus)

The Post correspondence problem in groups

Miasnikov, A., Nikolaev, A. & Ushakov, A., Nov 1 2014, In : Journal of Group Theory. 17, 6, p. 981-1008 28 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Correspondence Problem
Word problem
Free Group
Conjugacy Problem
Polynomial time
8 Citations (Scopus)

Verbally closed subgroups of free groups

Miasnikov, A. & Roman'Kov, V., Jan 1 2014, In : Journal of Group Theory. 17, 1, p. 29-40 12 p.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Retract
Finite Rank
Free Group
Subgroup
Closed
3 Citations (Scopus)
Relatively Hyperbolic Groups
Hyperbolic Groups
Subgroup
Class
2013
6 Citations (Scopus)

Actions, length functions, and non-archimedean words

Kharlampovich, O., Miasnikov, A. & Serbin, D., Mar 1 2013, In : International Journal of Algebra and Computation. 23, 2, p. 325-455 131 p.

Stevens Institute of Technology

Research output: Contribution to journalReview article

Finitely Presented Groups
Free Group
Corollary
Face