I. B. Virbitskaite

Available identifiers

zbMath Open virbitskaite.irina-bMaRDI QIDQ174077

List of research outcomes

Publication	Date of Publication	Type
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures	2024-04-09	Paper
Testing equivalences of time Petri nets	2020-12-18	Paper
``Truly concurrent and nondeterministic semantics of discrete-time Petri nets	2020-12-16	Paper
From event-oriented models to transition systems	2019-12-18	Paper
True Concurrent Equivalences in Time Petri Nets*	2017-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q2979817	2017-04-26	Paper
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict	2017-04-04	Paper
Branching Processes of Timed Petri Nets	2016-12-21	Paper
Comparative trace semantics of time Petri nets	2016-06-27	Paper
Comparing Semantics Under Strong Timing of Petri Nets	2015-12-03	Paper
A Domain View of Timed Behaviors	2014-12-22	Paper
Unifying behavioral equivalences of timed transition systems	2012-11-16	Paper
Unifying Equivalences for Higher Dimensional Automata	2012-10-29	Paper
A Categorical View of Timed Behaviours	2011-06-14	Paper
A Categorical View of Timed Weak Bisimulation	2010-06-17	Paper
Perspectives of System Informatics	2010-01-05	Paper
Semantic domains of timed event structures	2009-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q5192929	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5486046	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4818753	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q3043824	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4782718	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4778629	2002-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4529614	2002-05-05	Paper
A method for parametric verification of the behavior of time Petri nets	2001-11-06	Paper
The use of partial-order technique for verification of time Petri nets	2001-04-26	Paper
Analysis of equivalence relations of event structures with continuous time	2001-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4517366	2000-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4934360	2000-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4507811	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4951403	2000-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4947227	2000-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4947311	2000-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4947319	2000-04-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: I. B. Virbitskaite