Irina B. Virbitskaite

According to our database, Irina B. Virbitskaite authored at least 45 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures.

Nataliya Gribovskaya, Irina B. Virbitskaite

Proceedings of the 16th International Conference on Automata and Formal Languages, 2023

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

Extended Future in Testing Semantics for Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite

Proceedings of the Concurrency, Specification and Programming, 2021

On Semantics for Testing in Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite

Proceedings of the 29th International Workshop on Concurrency, 2021

2020

Testing Equivalences of Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite

Program. Comput. Softw., 2020

2019

Causality-Based Testing in Time Petri Nets.

Elena N. Bozhenkova, Irina B. Virbitskaite, Louchka Popova-Zeugmann

Proceedings of the Perspectives of System Informatics, 2019

2018

Preserving Behavior in Transition Systems from Event Structure Models.

Irina B. Virbitskaite, Nataliya Gribovskaya

Proceedings of the 27th International Workshop on Concurrency, 2018

From Event-Oriented Models to Transition Systems.

Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

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

Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2016

"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.

Irina B. Virbitskaite, V. A. Borovlev, Louchka Popova-Zeugmann

Program. Comput. Softw., 2016

True Concurrent Equivalences in Time Petri Nets.

Irina B. Virbitskaite, Dmitriy Bushin, Eike Best

Fundam. Informaticae, 2016

2015

Comparative trace semantics of time Petri nets.

Dmitriy Bushin, Irina B. Virbitskaite

Program. Comput. Softw., 2015

Branching Processes of Timed Petri Nets.

Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann

Proceedings of the Perspectives of System Informatics, 2015

Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures.

Irina B. Virbitskaite, Elena N. Bozhenkova, Evgeny Erofeev

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

A Domain View of Timed Behaviors.

Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite

Fundam. Informaticae, 2014

Comparing Semantics Under Strong Timing of Petri Nets.

Irina B. Virbitskaite, Dmitriy Bushin

Proceedings of the Perspectives of System Informatics, 2014

Time Process Equivalences for Time Petri Nets.

Dmitriy Bushin, Irina B. Virbitskaite

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2012

Unifying Equivalences for Higher Dimensional Automata.

Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best

Fundam. Informaticae, 2012

Unifying Equivalences for Timed Transition Systems.

Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best

Proceedings of the Turing-100, 2012

2010

Unifying behavioral equivalences of timed transition systems.

Irina B. Virbitskaite, Natalya Gribovskaya

Program. Comput. Softw., 2010

A Categorical View of Timed Behaviours.

Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best

Fundam. Informaticae, 2010

A Categorical View of Timed Weak Bisimulation.

Natalya Gribovskaya, Irina B. Virbitskaite

Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010

2009

Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.

Natalya Gribovskaya, Irina B. Virbitskaite

Fundam. Informaticae, 2009

Towards Parametric Verification of Prioritized Time Petri Nets.

Anna Dedova, Irina B. Virbitskaite

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

2008

Semantic domains of timed event structures.

Irina B. Virbitskaite, Roman S. Dubtsov

Program. Comput. Softw., 2008

2007

Sixth International Conference "Perspectives of System Informatics".

Irina B. Virbitskaite

Program. Comput. Softw., 2007

A Categorical Observation of Timed Testing Equivalence.

Natalya Gribovskaya, Irina B. Virbitskaite

Proceedings of the Parallel Computing Technologies, 2007

2006

Observational Equivalences for Timed Stable Event Structures.

Maria V. Andreeva, Irina B. Virbitskaite

Fundam. Informaticae, 2006

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

Timed Equivalences for Timed Event Structures.

Maria V. Andreeva, Irina B. Virbitskaite

Proceedings of the Parallel Computing Technologies, 2005

2004

Open Maps and Observational Equivalences for Timed Partial Order Models.

Irina B. Virbitskaite, Natalya S. Gribovskaja

Fundam. Informaticae, 2004

2003

Open Maps and Trace Semantics for Timed Partial Order Models.

Irina B. Virbitskaite, Natalya S. Gribovskaja

Proceedings of the Perspectives of Systems Informatics, 2003

2001

Characterizing Timed Net Processes Categorically.

Irina B. Virbitskaite

Proceedings of the Parallel Computing Technologies, 2001

On the Category of Event Structures with Dense Time.

Nataly S. Moskaljova, Irina B. Virbitskaite

Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001

Observational Semantics for Timed Event Structures.

Irina B. Virbitskaite

Proceedings of the Perspectives of System Informatics, 2001

2000

Analysis of equivalence relations of event structures with continuous time.

Elena N. Bozhenkova, Irina B. Virbitskaite

Program. Comput. Softw., 2000

Analysis of Timed Concurrent Models Based on Testing Equivalence.

Maria V. Andreeva, Elena N. Bozhenkova, Irina B. Virbitskaite

Fundam. Informaticae, 2000

1999

An Event Structure Model for Dataflow Computing.

Irina B. Virbitskaite

Comput. Artif. Intell., 1999

Parametric Behaviour Analysis for Time Petri Nets.

Irina B. Virbitskaite, E. Pokozy

Proceedings of the Parallel Computing Technologies, 1999

A Partial Order Method for the Verification of Time Petri Nets.

Irina B. Virbitskaite, E. Pokozy

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998

On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.

Irina B. Virbitskaite

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1997

Behavioural Characterizations of Partial Order Logics.

Irina B. Virbitskaite, Anzhelika Votintseva

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1995

On Varieties of Density and Crossing Properties for Event Structures.

V. E. Kotov, S. A. Starkova, Irina B. Virbitskaite

Comput. Artif. Intell., 1995

1993

Some characteristics of Nondeterministic Processes.

Irina B. Virbitskaite

Parallel Process. Lett., 1993

Observing Some Properties of Event Structures.

Irina B. Virbitskaite

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993