|
СТ |
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 |
