Open Maps Bisimulations for Higher Dimensional Automata Models. - Elena S. Oshevskaya (FCT, 2009)

Unifying Equivalences for Higher Dimensional Automata. - Elena S. Oshevskaya; Irina B. Virbitskaite; Eike Best (Fundam. Informaticae, 2012)

A Domain View of Timed Behaviors. - Roman S. Dubtsov; Elena S. Oshevskaya; Irina B. Virbitskaite (Fundam. Informaticae, 2014)