Year 2004
\item Belyaev V., Myasnikov A. {\it Theorems on hierarchy in generalized
recursion theory.} 1997.
\item O. Kharlampovich and A. Myasnikov.
{\it Hyperbolic groups and free constructions.}
Transactions of Math., 350(1998), 2, pp.571-613.
\item O.Kharlampovich, A. Myasnikov. {\it Equations in a free $\bf
Q$-group.}
Transactions of Math., 350(1998), 3, pp. 947-974.
\item O.Kharlampovich, A.Myasnikov. {\it Irreducible affine varieties
over a free
group. I: Irreducibility of quadratic equations and Nullstellensatz.}
J. of Algebra, 1998, v. 200, n. 2, p.472-516.
\item O.Kharlampovich, A.Myasnikov. {\it Irreducible affine varieties
over a free
group. II: Systems in triangular quasi-quadratic form and description
of
residually free groups.} J. of Algebra, 1998,v. 200, n. 2, p. 517-570.
\item A.Gaglione, B.Fine, A.Myasnikov, G.Rosenberger, D.Spellman.
{\it A classification of fully residually free groups of rank three
or less.}
Journal of Algebra, 1998, v. 200, n. 2, p. 571-605.
\item O.Kharlampovich, A.Myasnikov. {\it Description of Fully Residually
Free Groups and
irreducible affine varieties over a free group.}
CRM Proceedings and Lecture Notes, 1998, v. 17, p. 71-80.
\item G.Baumslag, A.Myasnikov, V.Remeslennikov. {\it Dimensions and
coordinate groups
for a product of irreducible algebraic sets.} In Combinatorial and computational
methods in mathematics. Omsk, 1998, p.24-26.
\item G.Baumslag, A.Myasnikov, V.Remeslennikov. {\it Algebraic geometry
over
groups I. Algebraic sets and ideal theory.} Journal of Algebra, 1999,
v.219,
pp.16-79.
\item O.Kharlampovich, E. Lyutikova, A. Myasnikov. {\it Equations over
$Q$-completions of hyperbolic groups.} Transactions of Math.,
1999.
\item G.Baumslag, A.G.Myasnikov, V. Shpilrain,
{\it Open problems in combinatorial group theory.} In: Groups, Languages
and
Geometry. Amer. Math. Soc., Contemporary Math. 250, 1999, pp.1-27.
\item G.Baumslag, A.Myasnikov, V.Remeslennikov. {\it Malnormality is
decidable
in free groups.} Intern. Journal of Algebra and Computation, v.9, 6,
1999.
\item K.Bencsath, B.Fine, A.Gaglione, A.Myasnikov, G.Rosenberger,
D.Spellman. {\it Aspects of the theory of free groups.} Algorithmic
problems
in groups and semigroups, Birkhauser, Trends in Math., Boston, Basel,
Berlin,
pp.35-50.
\item G.Baumslag, A.Myasnikov, V.Remeslennikov. {\it Algebraic geometry
over
groups.} Algorithmic problems
in groups and semigroups, Birkhauser, Trends in Math., Boston, Basel,
Berlin,
2000, pp.51-90.
\item S.Lioutikov and A.Myasnikov. {\it Centroids of groups} Journal
of
Group Theory, v.3, iss.2 (2000), pp. 177-197.
\item A.Myasnikov, V.Remeslennikov. {\it Algebraic geometry 2: logical
foundations.} Journal of Algebra 234 (2000), p. 225-276.
\item G.Baumslag, A.Myasnikov, V.Remeslennikov. {\it Discriminating
and co-discriminating groups}.
\textit{J. of Group Theory}, v. 3, no. 4 (2000), p. 467–479 .
\item A.D.Miasnikov and A.G.Myasnikov. {\it Balanced presentations of
the
trivial group on two generators and the Andrews-Curtis
conjecture}, In Groups and Computation III, Proceedings of the
International Conference at The Ohio State University, June 15-19,
1999. Walter de Gruyter, Berlin New York 2001, p.257-263.
\item A.Borovik, A.Myasnikov, V.Shpilrain {\it Measuring sets in infinite
groups},
Manchester Centre for Pure Mathematics, 2001, no. 15, 20 pp. (ISSN
1472-9210).
\item O.Kharlampovich, A. Myasnikov. {\it Implicit function theorem
over free groups
and genus problem.} AMS/IP Studies in Advanced Mathematics, v.24,
2001, pp.77-83.
\item B.Fine, A.M.Gaglione, A.Myasnikov, D.Spellman. {\it
Discriminating groups}, J. of Group Theory 4 (2001), pp.463-474.
\item I.Kapovich and A.Myasnikov {\it Stallings foldings and
subgroups of free groups}. Journal of Algebra, 248 (2002),
pp.608--668.
\item A.D. Miasnikov, A. G. Myasnikov, V. Shpilrain {\it On the
Andrews-Curtis equivalence}, In: Combinatorial and Geometric Group
Theory. Amer. Math. Soc., Contemp. Math., 296, (2002), pp.183-198.
\item G. Baumslag, A.G. Myasnikov, V. Shpilrain,
{\it Open problems in combinatorial group theory. Second edition}.
In: Combinatorial and Geometric Group Theory. Amer. Math. Soc.,
Contemporary Math. 296 (2002), pp.1-38.
\item A. Borovik, A. Myasnikov, V. Shpilrain
{\it Measuring sets in infinite groups}. In: Computational and
Statistical Group Theory. Amer. Math. Soc.,
Contemporary Math. 298 (2002), pp.21-42.
\item G. Baumslag, A. Myasnikov, V. Remeslennikov. {\it
Discriminating completions of hyperbolic groups}, Geometriae
Dedicata (2002), p.1-29.
\item I.Kapovich, A.Myasnikov, P.Schupp, V.Shpilrain {\it
Generic-case complexity and decision problems in group theory} J.
of Algebra, 264 (2003), pp.665-694.
\item A.Myasnikov, V.Shpilrain {\it Automorphic orbits in free
groups}, J. of Algebra Volume, 269 (2003),Issue 1, pp. 18-27.
\item A. V. Borovik, E. I. Khukhro and A. G. Myasnikov {\it The
Andrews-Curtis Conjecture and Black Box Groups}, Int. J. of
Algebra and Computation, v.13, n.4 (2003), p.415-436.
\item A. Borovik, A. Myasnikov, V. Remeslennikov {\it
Multiplicative measures on free groups}, International Journal of
Algebra and Computation, v.13, n.6 (2003), p.705-731.
\item Ilya Kapovich, Alexei Myasnikov, Richard Weidmann {\it
Foldings, graphs of groups and the membership problem}, appeared.
\item B. Fine, A. Gaglione, A. Myasnikov, D. Spellman {\it
Elementary theory of free groups}, Proceedings of Int. Conf on
Combinatorial group theory, Oxford, 2001.
\item A.Myasnikov and P. Shumyatsky {\it Discriminating groups and
c-dimension}, Journal of Group Theory, Volume 7, Issue 1 (2004),
p. 135–142.