dblp.uni-trier.dewww.uni-trier.de

Irina Virbitskaite Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Maria V. Andreeva [7] [14] [15]
2Elena N. Bozhenkova [7]
3Anna Dedova [20]
4Natalya S. Gribovskaja [11] [12]
5Natalya Gribovskaya [17] [19]
6Nataly S. Moskaljova [9]
7E. Pokozy [5] [6]
8Andrei Voronkov [18]
9Anzhelika Votintseva [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)