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 | EE | Natalya Gribovskaya,
Irina Virbitskaite:
A Categorical Observation of Timed Testing Equivalence.
PaCT 2007: 35-46 |
16 | EE | Irina Virbitskaite:
Sixth International Conference "Perspectives of System Informatics".
Programming and Computer Software 33(3): 174-179 (2007) |
2006 |
15 | EE | Maria V. Andreeva,
Irina Virbitskaite:
Observational Equivalences for Timed Stable Event Structures.
Fundam. Inform. 72(1-3): 1-19 (2006) |
2005 |
14 | EE | Maria V. Andreeva,
Irina Virbitskaite:
Timed Equivalences for Timed Event Structures.
PaCT 2005: 16-26 |
13 | EE | 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 | EE | 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 | EE | Irina Virbitskaite,
Natalya S. Gribovskaja:
Open Maps and Trace Semantics for Timed Partial Order Models.
Ershov Memorial Conference 2003: 248-259 |
2001 |
10 | EE | Irina Virbitskaite:
Observational Semantics for Timed Event Structures.
Ershov Memorial Conference 2001: 214-224 |
9 | EE | Nataly S. Moskaljova,
Irina Virbitskaite:
On the Category of Event Structures with Dense Time.
FCT 2001: 287-298 |
8 | EE | 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 | EE | Irina Virbitskaite,
E. Pokozy:
A Partial Order Method for the Verification of Time Petri Nets.
FCT 1999: 547-558 |
5 | EE | Irina Virbitskaite,
E. Pokozy:
Parametric Behaviour Analysis for Time Petri Nets.
PaCT 1999: 134-140 |
1998 |
4 | EE | 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) |