Search the dblp DataBase
Irina Virbitskaite :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Irina Virbitskaite Observational Semantics for Timed Event Structures. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:214-224 [Conf ] Irina Virbitskaite Observing Some Properties of Event Structures. [Citation Graph (0, 0)][DBLP ] Formal Methods in Programming and Their Applications, 1993, pp:239-250 [Conf ] Irina Virbitskaite , Natalya S. Gribovskaja Open Maps and Trace Semantics for Timed Partial Order Models. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2003, pp:248-259 [Conf ] Nataly S. Moskaljova , Irina Virbitskaite On the Category of Event Structures with Dense Time. [Citation Graph (0, 0)][DBLP ] FCT, 2001, pp:287-298 [Conf ] Irina Virbitskaite , E. Pokozy A Partial Order Method for the Verification of Time Petri Nets. [Citation Graph (0, 0)][DBLP ] FCT, 1999, pp:547-558 [Conf ] Irina Virbitskaite , Anzhelika Votintseva Behavioural Characterizations of Partial Order Logics. [Citation Graph (0, 0)][DBLP ] FCT, 1997, pp:463-474 [Conf ] Maria V. Andreeva , Irina Virbitskaite Timed Equivalences for Timed Event Structures. [Citation Graph (0, 0)][DBLP ] PaCT, 2005, pp:16-26 [Conf ] Irina Virbitskaite Characterizing Timed Net Processes Categorically. [Citation Graph (0, 0)][DBLP ] PaCT, 2001, pp:128-141 [Conf ] Irina Virbitskaite , E. Pokozy Parametric Behaviour Analysis for Time Petri Nets. [Citation Graph (0, 0)][DBLP ] PaCT, 1999, pp:134-140 [Conf ] Irina Virbitskaite On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal ] Maria V. Andreeva , Elena N. Bozhenkova , Irina Virbitskaite Analysis of Timed Concurrent Models Based on Testing Equivalence. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2000, v:43, n:1-4, pp:1-20 [Journal ] Irina Virbitskaite , Natalya S. Gribovskaja Open Maps and Observational Equivalences for Timed Partial Order Models. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2004, v:60, n:1-4, pp:383-399 [Journal ] Maria V. Andreeva , Irina Virbitskaite Observational Equivalences for Timed Stable Event Structures. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:72, n:1-3, pp:1-19 [Journal ] Irina Virbitskaite Some characteristics of Nondeterministic Processes. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 1993, v:3, n:, pp:99-106 [Journal ] Natalya Gribovskaya , Irina Virbitskaite A Categorical Observation of Timed Testing Equivalence. [Citation Graph (0, 0)][DBLP ] PaCT, 2007, pp:35-46 [Conf ] Towards Parametric Verification of Prioritized Time Petri Nets. [Citation Graph (, )][DBLP ] A Categorical View of Timed Weak Bisimulation. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.004secs