1. Groups Whose Universal Theory is Axiomatizable by Quasi-Identities (with B.Fine, A.M.Gaglione and D.Spellman), to appear in J. Group Theory.

2. Foldings, graphs of groups and the membership problem (with I.Kapovich and R.Weidmann), to appear in Internat. Journal Algebra Comput.

3. Pattern Recognition and Minimal Words in Free Groups of Rank 2 (with R.M.Haralick and A.D.Miasnikov), to appear in J. Group Theory.

4. Big powers and free constructions (with A.Kvaschuk). to appear in Contemporary Mathematics.

5. Conjugacy problem in HNN-extensions of groups (with A. Borovik and V. Remeslennikov), to appear in Contemporary Mathematics.

6. Conjugacy problem in Miller's groups (with A. Borovik and V. Remeslennikov), to appear in Contemporary Mathematics.

7. Complexity of the conjugacy problem in amalgamated products of free groups (with A. Borovik and V. Remeslennikov), to appear in Contemporary Mathematics.

8. Regular free length functions on Lyndon's free Z[t]-group F^Z[t] (with V. Remeslennikov and D.Serbin), to appear in Contemporary Mathematics.

9. Algebraic geometry over free groups: lifting solutions into generic points (with O.Kharlampovich), to appear in Contemporary Mathematics.

10. Effective JSJ decompositions (with O.Kharlampovich), to appear in Contemporary Mathematics.

11. Average-case complexity for the word and membership problems in group theory (with I.Kapovich, P.Schupp and V.Shpilrain).

12. Heuristics for Whitehead Minimization Problem (with R.M.Haralick and A.D.Miasnikov.

13. Implicit function theorems over free groups (with O.Kharlampovich).

14. Elementary theory of free groups. The Tarski problem. (with O.Kharlampovich).

15. Algebraic geometry over groups III: Elements of model theory (with A.Kvaschuk and V. Remeslennikov).

16. On the Hanna Newmann Conjecture (with T.Jitsukawa and B.Khan).