Open Maps and Trace Semantics for Timed Partial Order Models. - Irina B. Virbitskaite; Natalya S. Gribovskaja (Ershov Memorial Conference, 2003)

Open Maps and Observational Equivalences for Timed Partial Order Models. - Irina B. Virbitskaite; Natalya S. Gribovskaja (Fundam. Informaticae, 2004)

A Categorical Observation of Timed Testing Equivalence. - Natalya Gribovskaya; Irina B. Virbitskaite (PaCT, 2007)

Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. - Natalya Gribovskaya; Irina B. Virbitskaite (Fundam. Informaticae, 2009)

A Categorical View of Timed Weak Bisimulation. - Natalya Gribovskaya; Irina B. Virbitskaite (TAMC, 2010)

A Categorical View of Timed Behaviours. - Irina B. Virbitskaite; Natalya Gribovskaya; Eike Best (Fundam. Informaticae, 2010)

Unifying behavioral equivalences of timed transition systems. - Irina B. Virbitskaite; Natalya Gribovskaya (Program. Comput. Softw., 2010)

A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences. - Natalya Gribovskaya (Ershov Memorial Conference, 2011)

Unifying Equivalences for Timed Transition Systems. - Irina B. Virbitskaite; Natalya Gribovskaya; Eike Best (Turing-100, 2012)

Timed History Preserving Bisimulation and Open Maps. - Nataliya S. Gribovskaya (Ershov Memorial Conference, 2014)

Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. - Eike Best; Nataliya S. Gribovskaya; Irina B. Virbitskaite (SOFSEM, 2017)

From Event-Oriented Models to Transition Systems. - Eike Best; Nataliya Gribovskaya; Irina B. Virbitskaite (Petri Nets, 2018)

Preserving Behavior in Transition Systems from Event Structure Models. - Irina B. Virbitskaite; Nataliya Gribovskaya (CS&P, 2018)

Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures. - Nataliya Gribovskaya; Irina B. Virbitskaite (AFL, 2023)