Research Output per year
Research Output 1980 2019
- 1 - 50 out of 134 results
- Publication Year, Title (descending)
Low-complexity computations for nilpotent subgroup problems
Macdonald, J., Miasnikov, A. & Ovchinnikov, D., Jan 1 2019, (Accepted/In press) In : International Journal of Algebra and Computation.Stevens Institute of Technology
Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
The complexity of verbal languages over groups
Jain, S., Miasnikov, A. & Stephan, F., Jan 1 2018, (Accepted/In press) In : Journal of Computer and System Sciences. 101, p. 68-85 18 p.Research output: Contribution to journal › Article
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC0
Miasnikov, A., Vassileva, S. & Weiß, A., Feb 12 2018, (Accepted/In press) In : Theory of Computing Systems. p. 1-24 24 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group
Gul, F., Miasnikov, A. & Sohrabi, M., Sep 1 2017, In : International Journal of Algebra and Computation. 27, 6, p. 633-653 21 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
ω-Stability and morley rank of bilinear maps, rings and nilpotent groups
Miasnikov, A. & Sohrabi, M., Jun 1 2017, In : Journal of Symbolic Logic. 82, 2, p. 754-777 24 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
A linear decomposition attack
Miasnikov, A. & Roman'Kov, V., Jan 1 2015, In : Groups, Complexity, Cryptology. 7, 1, p. 81-94 14 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
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 journal › Article
Groups acting on hyperbolic-metric spaces
Grecianu, A. P., Kvaschuk, A. V., Miasnikov, A. & Serbin, D., Jan 1 2015, In : International Journal of Algebra and Computation. 25, 6, p. 977-1042 66 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
Diophantine cryptography in free metabelian groups: Theoretical base
Miasnikov, A. & Roman'Kov, V., Jan 1 2014, In : Groups, Complexity, Cryptology. 6, 2, p. 103-120 18 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
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 journal › Article
Verbal subgroups of hyperbolic groups have infinite width
Miasnikov, A. & Nikolaev, A., Oct 1 2014, In : Journal of the London Mathematical Society. 90, 2, p. 573-591 19 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Definable sets in a hyperbolic group
Kharlampovich, O. & Miasnikov, A., Feb 1 2013, In : International Journal of Algebra and Computation. 23, 1, p. 91-110 20 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
On Rationality of Verbal Subsets in a Group
Miasnikov, A. & Roman'kov, V., Jan 1 2013, In : Theory of Computing Systems. 52, 4, p. 587-598 12 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Algebraic geometry over algebraic structures. II. Foundations
Daniyarova, E. Y., Miasnikov, A. & Remeslennikov, V. N., Aug 1 2012, In : Journal of Mathematical Sciences (United States). 185, 3, p. 389-416 28 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Algebraic geometry over algebraic structures. V. The case of arbitrary signature
Daniyarova, E. Y., Miasnikov, A. & Remeslennikov, V. N., Mar 1 2012, In : Algebra and Logic. 51, 1, p. 28-40 13 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Amalgamated free product of groups: Normal forms and measures
Miasnikov, A., Remeslennikov, V. N. & Frenkel', E. V., Apr 1 2012, In : Mathematical Notes. 91, 3-4, p. 592-596 5 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Amalgamated products of groups: Measures of random normal forms
Miasnikov, A., Remeslennikov, V. N. & Frenkel, E. V., Jul 27 2012, In : Journal of Mathematical Sciences (United States). 185, 2, p. 300-320 21 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Cyclic rewriting and conjugacy problems
Diekert, V., Duncan, A. & Miasnikov, A., Dec 1 2012, In : Groups, Complexity, Cryptology. 4, 2, p. 321-355 35 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Group extensions over infinite words
Diekert, V. & Miasnikov, A., Aug 1 2012, In : International Journal of Foundations of Computer Science. 23, 5, p. 1001-1019 19 p.Stevens Institute of Technology
Research output: Contribution to journal › Article
Groups with free regular length functions in Z n
Kharlampovich, O., Miasnikov, A., Remeslennikov, V. & Serbin, D., Mar 6 2012, In : Transactions of the American Mathematical Society. 364, 6, p. 2847-2882 36 p.Stevens Institute of Technology
Research output: Contribution to journal › Article