On Bounded Generation of SLN(Z). - Sergei I. Adian; J. G. Mennicke (Int. J. Algebra Comput., 1992)

On some Algorithmic Problems for Groups and Monoids. - Sergei I. Adian (RTA, 1993)

Defining Relations and the Algebraic Structure of the Group SL2 over Integral Hamilton Quaternions. - Sergei I. Adian; I. G. Lysionok; J. G. Mennicke (Int. J. Algebra Comput., 1997)

Editorial. - Sergei I. Adian; Matthias Baaz; Lev D. Beklemishev (J. Log. Comput., 2005)

Divisibility problem for one relator monoids. - Sergei I. Adian (Theor. Comput. Sci., 2005)

Proof and Computation. - Sergei I. Adian; Lev D. Beklemishev; Albert Visser (J. Log. Comput., 2011)