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

Polynomial algorithm for equivalence problem of deterministic multitape finite automata. - Hayk A. Grigoryan; Samvel K. Shoukourian (Theor. Comput. Sci., 2020)

Some Results on Regular Events for Multitape Finite Automata: A Preliminary Report. - Alexander Godlevsky; Hayk A. Grigoryan; Tigran Grigoryan; Samvel K. Shoukourian (Bull. EATCS, 2021)