Verified Operational Transformation for Trees. - Sergey Sinchuk; Pavel Chuprikov; Konstantin Solomatov (ITP, 2016)

Decompositions of congruence subgroups of Chevalley groups. - Sergey Sinchuk; Andrei Smolensky (Int. J. Algebra Comput., 2018)