Irina Virbitskaite

发表

Proceedings of the 8th international conference on Perspectives of System Informatics

Andrei Voronkov, Edmund M. Clarke, Irina Virbitskaite, 2011 .

Open Maps and Trace Semantics for Timed Partial Order Models

Irina Virbitskaite, Natalya S. Gribovskaja, I. Virbitskaite, 2003, Ershov Memorial Conference.

A Categorical Observation of Timed Testing Equivalence

Irina Virbitskaite, Natalya Gribovskaya, 2007, PaCT.

Some characteristics of Nondeterministic Processes

Irina Virbitskaite, 1993, Parallel Process. Lett..

Behavioural Characterizations of Partial Order Logics

Irina Virbitskaite, Anzhelika Votintseva, 1997, FCT.

“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets

Louchka Popova-Zeugmann, Irina Virbitskaite, V. A. Borovlev, 2016, Programming and Computer Software.

A Categorical View of Timed Weak Bisimulation

Irina Virbitskaite, Natalya Gribovskaya, 2010, TAMC.

From Event-Oriented Models to Transition Systems

Eike Best, Irina Virbitskaite, Nataliya Gribovskaya, 2018, Petri Nets.

Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics

Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, 2006 .

Timed Equivalences for Timed Event Structures

Irina Virbitskaite, Maria V. Andreeva, 2005, PaCT.

Comparing Semantics Under Strong Timing of Petri Nets

Irina Virbitskaite, Dmitriy Bushin, 2014, Ershov Memorial Conference.

An Event Structure Model for Dataflow Computing

Irina Virbitskaite, 1999, Comput. Artif. Intell..

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Elisa Bertino, Nikolaj Bjørner, Andrei Voronkov, 2019, Ershov Informatics Conference.

Sixth International Conference “Perspectives of System Informatics”

Irina Virbitskaite, 2007, Programming and Computer Software.

Unifying behavioral equivalences of timed transition systems

Irina Virbitskaite, Natalya Gribovskaya, 2010, Programming and Computer Software.

Open Maps and Observational Equivalences for Timed Partial Order Models

Irina Virbitskaite, Natalya S. Gribovskaja, I. Virbitskaite, 2003, Fundam. Informaticae.

Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems

Irina Virbitskaite, Natalya Gribovskaya, I. Virbitskaite, 2009, Fundam. Informaticae.

Observing Some Properties of Event Structures

Irina Virbitskaite, I. Virbitskaite, 1993, Formal Methods in Programming and Their Applications.

Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Andrei Voronkov, Irina Virbitskaite, 2007, Ershov Memorial Conference.

A Categorical View of Timed Behaviours

Eike Best, Irina Virbitskaite, Natalya Gribovskaya, 2010, Fundam. Informaticae.

Semantic domains of timed event structures

Irina Virbitskaite, Roman S. Dubtsov, 2008, Programming and Computer Software.

Observational Equivalences for Timed Stable Event Structures

Irina Virbitskaite, Maria V. Andreeva, 2006, Fundam. Informaticae.

Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures

Irina Virbitskaite, Evgeny Erofeev, E. N. Bozhenkova, 2015, CS&P.

True Concurrent Equivalences in Time Petri Nets

Eike Best, Irina Virbitskaite, Dmitriy Bushin, 2016, Fundam. Informaticae.

On Varieties of Density and Crossing Properties for Event Structures

Irina Virbitskaite, Vadim E. Kotov, S. A. Starkova, 1995, Comput. Artif. Intell..

Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict

Eike Best, Irina Virbitskaite, Nataliya S. Gribovskaya, 2017, SOFSEM.

Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Andrei Voronkov, Edmund M. Clarke, Irina Virbitskaite, 2012 .

Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Amir Pnueli, Andrei Voronkov, Irina Virbitskaite, 2010, Ershov Memorial Conference.

Analysis of Timed Concurrent Models Based on Testing Equivalence

Irina Virbitskaite, Elena N. Bozhenkova, Maria V. Andreeva, 2000, Fundam. Informaticae.

Parametric Behaviour Analysis for Time Petri Nets

Irina Virbitskaite, E. Pokozy, 1999, PaCT.

PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations

Andrei Voronkov, Irina Virbitskaite, 2014, Ershov Memorial Conference.

On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics

Irina Virbitskaite, 1998, Electron. Notes Theor. Comput. Sci..

A Domain View of Timed Behaviors

Irina Virbitskaite, Elena S. Oshevskaya, Roman S. Dubtsov, 2013, CS&P.

Comparative trace semantics of time Petri nets

Irina Virbitskaite, Dmitriy Bushin, 2015, Programming and Computer Software.

Towards Parametric Verification of Prioritized Time Petri Nets

Irina Virbitskaite, Anna Dedova, 2009, PaCT.

Analysis of equivalence relations of event structures with continuous time

Irina Virbitskaite, Elena N. Bozhenkova, 2007, Programming and Computer Software.

A Partial Order Method for the Verification of Time Petri Nets

Irina Virbitskaite, E. Pokozy, I. Virbitskaite, 1999, FCT.

Branching Processes of Timed Petri Nets

Louchka Popova-Zeugmann, Irina Virbitskaite, Victor Borovlyov, 2015, Ershov Memorial Conference.

Characterizing Timed Net Processes Categorically

Irina Virbitskaite, I. Virbitskaite, 2001, PaCT.

Preserving Behavior in Transition Systems from Event Structure Models

Irina Virbitskaite, Nataliya Gribovskaya, 2018, CS&P.

Perspectives of System Informatics

Irina Virbitskaite, Andrei Voronkov, A. Voronkov, 2014, Lecture Notes in Computer Science.

Observational Semantics for Timed Event Structures

Irina Virbitskaite, 2001, Ershov Memorial Conference.

On the Category of Event Structures with Dense Time

Irina Virbitskaite, Nataly S. Moskaljova, 2001, FCT.

Time Process Equivalences for Time Petri Nets

Irina Virbitskaite, Dmitriy Bushin, 2014, CS&P.

Unifying Equivalences for Timed Transition Systems

Eike Best, Irina Virbitskaite, Natalya Gribovskaya, 2012, Turing-100.

Information Announcement on Sixth International Andrei Ershov Memorial Conference “Perspectives of System Informatics,” 27–30 June 2006, Novosibirsk, Akademgorodok, Russia

Irina Virbitskaite, 2005, Programming and Computer Software.

Unifying Equivalences for Higher Dimensional Automata

Eike Best, Irina Virbitskaite, Elena S. Oshevskaya, 2012, Fundam. Informaticae.