Вы здесь

Virbitskaite I. B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Timed Equivalences for Timed Event Structures 2005 Andreeva M. V., Virbitskaite I. B. Lecture Notes in Computer Science Lecture Notes in Computer Science 25.10.2005
СТ Investigating Nondeterministic Processes 1993 Bozhenkova E. N., Virbitskaite I. B. Bulletin of the Novosibirsk Computing Center 18.10.2004
СТ Open Maps and Trace Semantics for Timed Partial Order Models 2003 Virbitskaite I. B., Gribovskaja N. S. Lecture Notes in Computer Science 17.02.2004
СТ Concurrent Testing for Timed event Structures 2002 Andreeva M. V., Virbitskaite I. B. Joint Bull. of NCC and IIS 16.07.2003
СТ Observational Semantics for Timed Event Structures 2001 Virbitskaite I. B. Lecture Notes in Computer Science 05.02.2002
СТ Characterizing Timed Net Processes Categorically 2001 Virbitskaite I. B. Lecture Notes in Computer Science 20.08.2001
СТ Parametric Behaviour Analysis for Time Petri Nets 1999 Virbitskaite I. B., Pokozy E. A. Lecture Notes in Computer Science 15.09.1999
СТ Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool 1999 Bystrov A. V., Virbitskaite I. B. Lecture Notes in Computer Science 15.09.1999
СТ Model Checking of Time Petri Nets 1997 Virbitskaite I. B., Pokozy E. A. Computer Science Joint Bull. of NCC and IIS 24.03.1999
СТ Some Characteristics of Nondeterministic Processes 1993 Virbitskaite I. B. Parallel Processing Letters 22.04.1998
П Unified Characterization of Some Properties of Event Structures 1994 Virbitskaite I. B., Bozhenkova E. N. Hildesheimer Informatik-Berichte 06.04.1998
СТ Modelling the Semantics of Coloured Dataflow Networks 1995 Virbitskaite I. B., Votintseva A. V. Computer Science Bulletin of the Novosibirsk Computing Center 08.04.1997
СТ Notes on Logical Axiomatization of Density Concepts 1994 Virbitskaite I. B., Votintseva A. V. ИСИ СО РАН Specification, Verification and Net Models of Concurrent Systems 29.11.1995
СТ Event Structures and their Properties 1994 Virbitskaite I. B., Bozhenkova E. N. ИСИ СО РАН Specification, Verification and Net Models of Concurrent Systems 28.11.1995
СТ Observing Some Properties of Event Structures 1994 Virbitskaite I. B. Concurrency Specification and Programming: Proc./CS&P 93 Workshop, Nieborow near Warsaw, Poland, 14-16 October 1993 28.10.1994
СТ The Relative Strength of Topological Properties for Event Structures 1993 Virbitskaite I. B. Bull. Novosibirsk Computing Center. Ser.: Computer Science 24.12.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ PSI'19 12th A.P.Ershov Informatics Conference: Preliminary Proc./ Akademgorodok, Novosibirsk, Russia, July 2019 2019
  1. Bjorner N.
  2. Virbitskaite I. B.
  3. Voronkov A.
31.07.2019