\item B.Fine, A.M.Gaglione, A.Myasnikov, D.Spellman. {\it Groups Whose
Universal
Theory is Axiomatizable by Quasi-Identities}, to appear in J. of
Group Theory.
\item I.Kapovich, A.Myasnikov, P.Schupp, V.Shpilrain {\it
Average-case complexity for the word and membership problems in
group theory}
\item Alexei D. Miasnikov, Alexei G. Myasnikov {\it Whitehead
method and Genetic Algorithms}, Contemporary Mathematics, 2004
\item Robert M. Haralick, Alexei D. Miasnikov, Alexei G. Myasnikov
{\it Pattern Recognition and Minimal Words in Free Groups of Rank
2.} Journal of Group Theory.
\item A. Kvaschuk, A. Myasnikov, {\it Big powers and free
constructions}, to appear in Contemporary Mathematics.
\item A. V. Borovik, A. G. Myasnikov and V. N. Remeslennikov, {\it
Conjugacy problem in HNN-extensions of groups}, to appear in Contemporary
Mathematics.
\item A. V. Borovik, A. G. Myasnikov and V. N. Remeslennikov, {\it
Conjugacy problem in Miller's groups}, Contemporary Mathematics.
\item A. V. Borovik, A. G. Myasnikov and V. N. Remeslennikov, {\it
Complexity of the conjugacy problem in amalgamated products of
free groups,} to appear in Contemporary Mathematics.
\item A.Myasnikov, V.Remeslennikov, D.Serbin {\it Regular free
length functions on Lyndon's free $Z[t]$-group $F^{Z[t]}$}, to
appear in Contemporary Mathematics.
\item R.Gilman and A.Myasnikov {\it One Variable Equations
in Free Groups via Context Free Languages}, to
appear in Contemporary Mathematics.
\item Robert M. Haralick, Alexei D. Miasnikov, Alexei G. Myasnikov
{\it Pattern Recognition Approaches to Solving Combinatorial
Problems in Free Groups}, to appear in Contemporary Mathematics.
\item O.Kharlampovich and A.Myasnikov {\it Algebraic Geometry over
Free Groups: Lifting Solutions into Generic Points}, to appear in
Contemporary Mathematics.
\item O.Kharlampovich and A.Myasnikov {\it Effective JSJ
decompositions}, to appear in Contemporary Mathematics.
\item O. Kharlampovich, A.Myasnikov, Serbin {\it Malnormal
subgroups in fully residually free groups}, to appear in
Contemporary Mathematics.
\item A.D. Miasnikov, A.G. Myasnikov and R.M Haralick {\it
Heuristics for Whitehead Minimization Problem}
\item O.Kharlampovich, A. Myasnikov. {\it Implicit function theorems
over
free groups.}
\item O.Kharlampovich, A. Myasnikov. {\it Elementary theory of free
groups.
The Tarski problem.}
\item A.Borovik, A. Lubotzky, A.Myasnikov {\it Finitary
Andrews-Curtis conjecture}
\item A. Kvaschuk, A. Myasnikov, V.Remeslennikov {\it Algebraic
geometry over groups III: Elements of model theory}
\item Robert M. Haralick, Alexei D. Miasnikov, Alexei G. Myasnikov
{\it Pattern Recognition and Minimal Words in Free Groups of Rank
2.} Journal of Group Theory.
\item T.Jitsukawa, B.Khan, A.Myasnikov {\it On the Hanna Newmann
Conjecture}, Journal of group theory.