The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Irina Virbitskaite: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Irina Virbitskaite
    Observational Semantics for Timed Event Structures. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:214-224 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Irina Virbitskaite, Anzhelika Votintseva
    Behavioural Characterizations of Partial Order Logics. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:463-474 [Conf]
  7. Maria V. Andreeva, Irina Virbitskaite
    Timed Equivalences for Timed Event Structures. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:16-26 [Conf]
  8. Irina Virbitskaite
    Characterizing Timed Net Processes Categorically. [Citation Graph (0, 0)][DBLP]
    PaCT, 2001, pp:128-141 [Conf]
  9. Irina Virbitskaite, E. Pokozy
    Parametric Behaviour Analysis for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    PaCT, 1999, pp:134-140 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Irina Virbitskaite
    Some characteristics of Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1993, v:3, n:, pp:99-106 [Journal]
  15. Natalya Gribovskaya, Irina Virbitskaite
    A Categorical Observation of Timed Testing Equivalence. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:35-46 [Conf]

  16. Towards Parametric Verification of Prioritized Time Petri Nets. [Citation Graph (, )][DBLP]


  17. A Categorical View of Timed Weak Bisimulation. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002