 | 2009 |
|---|
| 20 |       | Anna Dedova,
Irina Virbitskaite:
Towards Parametric Verification of Prioritized Time Petri Nets.
PaCT 2009: 19-25 |
| 19 | | Natalya Gribovskaya,
Irina Virbitskaite:
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.
Fundam. Inform. 93(1-3): 127-142 (2009) |
| 2007 |
|---|
| 18 |  | Irina Virbitskaite,
Andrei Voronkov:
Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Springer 2007 |
| 17 | | Natalya Gribovskaya,
Irina Virbitskaite:
A Categorical Observation of Timed Testing Equivalence.
PaCT 2007: 35-46 |
| 16 | | Irina Virbitskaite:
Sixth International Conference "Perspectives of System Informatics".
Programming and Computer Software 33(3): 174-179 (2007) |
| 2006 |
|---|
| 15 | | Maria V. Andreeva,
Irina Virbitskaite:
Observational Equivalences for Timed Stable Event Structures.
Fundam. Inform. 72(1-3): 1-19 (2006) |
| 2005 |
|---|
| 14 | | Maria V. Andreeva,
Irina Virbitskaite:
Timed Equivalences for Timed Event Structures.
PaCT 2005: 16-26 |
| 13 | | 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) |
| 2004 |
|---|
| 12 | | Irina Virbitskaite,
Natalya S. Gribovskaja:
Open Maps and Observational Equivalences for Timed Partial Order Models.
Fundam. Inform. 60(1-4): 383-399 (2004) |
| 2003 |
|---|
| 11 | | Irina Virbitskaite,
Natalya S. Gribovskaja:
Open Maps and Trace Semantics for Timed Partial Order Models.
Ershov Memorial Conference 2003: 248-259 |
| 2001 |
|---|
| 10 | | Irina Virbitskaite:
Observational Semantics for Timed Event Structures.
Ershov Memorial Conference 2001: 214-224 |
| 9 | | Nataly S. Moskaljova,
Irina Virbitskaite:
On the Category of Event Structures with Dense Time.
FCT 2001: 287-298 |
| 8 | | Irina Virbitskaite:
Characterizing Timed Net Processes Categorically.
PaCT 2001: 128-141 |
| 2000 |
|---|
| 7 | | 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) |
| 1999 |
|---|
| 6 | | Irina Virbitskaite,
E. Pokozy:
A Partial Order Method for the Verification of Time Petri Nets.
FCT 1999: 547-558 |
| 5 | | Irina Virbitskaite,
E. Pokozy:
Parametric Behaviour Analysis for Time Petri Nets.
PaCT 1999: 134-140 |
| 1998 |
|---|
| 4 | | Irina Virbitskaite:
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.
Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 1997 |
|---|
| 3 | | Irina Virbitskaite,
Anzhelika Votintseva:
Behavioural Characterizations of Partial Order Logics.
FCT 1997: 463-474 |
| 1993 |
|---|
| 2 | | Irina Virbitskaite:
Observing Some Properties of Event Structures.
Formal Methods in Programming and Their Applications 1993: 239-250 |
| 1 | | Irina Virbitskaite:
Some characteristics of Nondeterministic Processes.
Parallel Processing Letters 3: 99-106 (1993) |
