Irina Virbitskaite

Elena S. Oshevskaya, Irina Virbitskaite, Eike Best: Unifying Equivalences for Higher Dimensional Automata. Fundam. Inform. 119(3-4): 357-372 (2012)

Edmund M. Clarke, Irina Virbitskaite, Andrei Voronkov (Eds.): Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7162, Springer 2012, isbn 978-3-642-29708-3

Irina Virbitskaite, Natalya Gribovskaya, Eike Best: A Categorical View of Timed Behaviours. Fundam. Inform. 102(1): 129-143 (2010)

Irina Virbitskaite, Natalya Gribovskaya: Unifying behavioral equivalences of timed transition systems. Programming and Computer Software 36(3): 138-148 (2010)

Natalya Gribovskaya, Irina Virbitskaite: A Categorical View of Timed Weak Bisimulation. TAMC 2010: 443-454

Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (Eds.): Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Lecture Notes in Computer Science 5947, Springer 2010, isbn 978-3-642-11485-4

Natalya Gribovskaya, Irina Virbitskaite: Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. Fundam. Inform. 93(1-3): 127-142 (2009)

Anna Dedova, Irina Virbitskaite: Towards Parametric Verification of Prioritized Time Petri Nets. PaCT 2009: 19-25

I. B. Virbitskaite, Roman S. Dubtsov: Semantic domains of timed event structures. Programming and Computer Software 34(3): 125-137 (2008)

Irina Virbitskaite: Sixth International Conference "Perspectives of System Informatics". Programming and Computer Software 33(3): 174-179 (2007)

Natalya Gribovskaya, Irina Virbitskaite: A Categorical Observation of Timed Testing Equivalence. PaCT 2007: 35-46

Irina Virbitskaite, Andrei Voronkov (Eds.): Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Lecture Notes in Computer Science 4378, Springer 2007, isbn 978-3-540-70880-3

Maria V. Andreeva, Irina Virbitskaite: Observational Equivalences for Timed Stable Event Structures. Fundam. Inform. 72(1-3): 1-19 (2006)

Irina Virbitskaite: Information Announcement on Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics, " 27-30 June 2006, Novosibirsk, Akademgorodok, Russia. Programming and Computer Software 31(6): 347-349 (2005)

Maria V. Andreeva, Irina Virbitskaite: Timed Equivalences for Timed Event Structures. PaCT 2005: 16-26

Irina Virbitskaite, Natalya S. Gribovskaja: Open Maps and Observational Equivalences for Timed Partial Order Models. Fundam. Inform. 60(1-4): 383-399 (2004)

Irina Virbitskaite, Natalya S. Gribovskaja: Open Maps and Trace Semantics for Timed Partial Order Models. Ershov Memorial Conference 2003: 248-259

Irina Virbitskaite: Observational Semantics for Timed Event Structures. Ershov Memorial Conference 2001: 214-224

Nataly S. Moskaljova, Irina Virbitskaite: On the Category of Event Structures with Dense Time. FCT 2001: 287-298

Irina Virbitskaite: Characterizing Timed Net Processes Categorically. PaCT 2001: 128-141

Maria V. Andreeva, Elena N. Bozhenkova, Irina Virbitskaite: Analysis of Timed Concurrent Models Based on Testing Equivalence. Fundam. Inform. 43(1-4): 1-20 (2000)

I. B. Virbitskaite: An Event Structure Model for Dataflow Computing. Computers and Artificial Intelligence 18(1) (1999)

Irina Virbitskaite, E. Pokozy: A Partial Order Method for the Verification of Time Petri Nets. FCT 1999: 547-558

Irina Virbitskaite, E. Pokozy: Parametric Behaviour Analysis for Time Petri Nets. PaCT 1999: 134-140

Irina Virbitskaite: On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. Electr. Notes Theor. Comput. Sci. 18: 207-222 (1998)

Irina Virbitskaite, Anzhelika Votintseva: Behavioural Characterizations of Partial Order Logics. FCT 1997: 463-474

V. E. Kotov, S. A. Starkova, I. B. Virbitskaite: On Varieties of Density and Crossing Properties for Event Structures. Computers and Artificial Intelligence 14(6) (1995)

Irina Virbitskaite: Some characteristics of Nondeterministic Processes. Parallel Processing Letters 3: 99-106 (1993)

Irina Virbitskaite: Observing Some Properties of Event Structures. Formal Methods in Programming and Their Applications 1993: 239-250