The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape. - Alexander A. Letichevsky; Arsen S. Shoukourian; Samvel K. Shoukourian (LATA, 2010)

Equivalence of Processes in Partially Commutative Object-Oriented Environments. - Hayk A. Grigoryan; Arsen S. Shoukourian (Fundam. Informaticae, 2010)