Observing Some Properties of Event Structures. - Irina B. Virbitskaite (Formal Methods in Programming and Their Applications, 1993)

Some characteristics of Nondeterministic Processes. - Irina B. Virbitskaite (Parallel Process. Lett., 1993)

On Varieties of Density and Crossing Properties for Event Structures. - V. E. Kotov; S. A. Starkova; Irina B. Virbitskaite (Comput. Artif. Intell., 1995)

Behavioural Characterizations of Partial Order Logics. - Irina B. Virbitskaite; Anzhelika Votintseva (FCT, 1997)

On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. - Irina B. Virbitskaite (MFCS Workshop on Concurrency, 1998)

A Partial Order Method for the Verification of Time Petri Nets. - Irina B. Virbitskaite; E. Pokozy (FCT, 1999)

Parametric Behaviour Analysis for Time Petri Nets. - Irina B. Virbitskaite; E. Pokozy (PaCT, 1999)

An Event Structure Model for Dataflow Computing. - Irina B. Virbitskaite (Comput. Artif. Intell., 1999)

Analysis of Timed Concurrent Models Based on Testing Equivalence. - Maria V. Andreeva; Elena N. Bozhenkova; Irina B. Virbitskaite (Fundam. Informaticae, 2000)

Analysis of equivalence relations of event structures with continuous time. - Elena N. Bozhenkova; Irina B. Virbitskaite (Program. Comput. Softw., 2000)

Observational Semantics for Timed Event Structures. - Irina B. Virbitskaite (Ershov Memorial Conference, 2001)

On the Category of Event Structures with Dense Time. - Nataly S. Moskaljova; Irina B. Virbitskaite (FCT, 2001)

Characterizing Timed Net Processes Categorically. - Irina B. Virbitskaite (PaCT, 2001)

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)

Timed Equivalences for Timed Event Structures. - Maria V. Andreeva; Irina B. Virbitskaite (PaCT, 2005)

Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia. - Irina B. Virbitskaite (Program. Comput. Softw., 2005)

Observational Equivalences for Timed Stable Event Structures. - Maria V. Andreeva; Irina B. Virbitskaite (Fundam. Informaticae, 2006)

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

Sixth International Conference "Perspectives of System Informatics". - Irina B. Virbitskaite (Program. Comput. Softw., 2007)

Semantic domains of timed event structures. - Irina B. Virbitskaite; Roman S. Dubtsov (Program. Comput. Softw., 2008)

Towards Parametric Verification of Prioritized Time Petri Nets. - Anna Dedova; Irina B. Virbitskaite (PaCT, 2009)

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)

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

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

Time Process Equivalences for Time Petri Nets. - Dmitriy Bushin; Irina B. Virbitskaite (CS&P, 2014)

Comparing Semantics Under Strong Timing of Petri Nets. - Irina B. Virbitskaite; Dmitriy Bushin (Ershov Memorial Conference, 2014)

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

Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures. - Irina B. Virbitskaite; Elena N. Bozhenkova; Evgeny Erofeev (CS&P, 2015)

Branching Processes of Timed Petri Nets. - Irina B. Virbitskaite; Victor Borovlyov; Louchka Popova-Zeugmann (Ershov Memorial Conference, 2015)

Comparative trace semantics of time Petri nets. - Dmitriy Bushin; Irina B. Virbitskaite (Program. Comput. Softw., 2015)

True Concurrent Equivalences in Time Petri Nets. - Irina B. Virbitskaite; Dmitriy Bushin; Eike Best (Fundam. Informaticae, 2016)

"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets. - Irina B. Virbitskaite; V. A. Borovlev; Louchka Popova-Zeugmann (Program. Comput. Softw., 2016)

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)

Causality-Based Testing in Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite; Louchka Popova-Zeugmann (Ershov Informatics Conference, 2019)

Testing Equivalences of Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite (Program. Comput. Softw., 2020)

On Semantics for Testing in Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite (CS&P, 2021)

Extended Future in Testing Semantics for Time Petri Nets. - Elena N. Bozhenkova; Irina B. Virbitskaite (CS&P (Revised Selected Papers), 2021)

'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies. - Irina B. Virbitskaite; Andrey Yu Zubarev (Program. Comput. Softw., 2021)

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