Вы здесь

Главная

Virbitskaite I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Causality-Based Testing in Time Petri Nets 2019 Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. LNCS 28.01.2020
СТ Causality-Based Testing in Time Petri Nets 2019 Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. PSI'19 Preliminary Proc. 14.08.2019
СТ From Event-Oriented Models to Transition Systems 2018 Gribovskaya N., Virbitskaite I., Best E. Lecture Notes in Computer Science Lecture Notes in Computer Science 25.09.2018
СТ Branching Processes of Petri Nets 2016 Virbitskaite I., Borolyov V., Popova-Zeugmann L. Lecture Notes in Computer Science PSI 10 05.09.2016
СТ Comparing Semantics Under Strong Timing of Petri Nets 2015 Virbitskaite I., Bushin D. Lecture Notes in Computer Science 02.09.2015
СТ Real arithmetic based verification of prioritized time Perti nets with parameters 2010 Virbitskaite I., Fleischhack H., Dedova A. Computer Science Bulletin of the Novosibirsk Computing Center 05.04.2011
СТ Towards Parametric Verification of Prioritized Time Petri Nets 2009 Dedova A., Virbitskaite I. Lecture Notes in Computer Science 29.03.2011
СТ A Categorical View of Timed Weak Bisimulation 2010 Gribovskaya N., Virbitskaite I. Lecture Notes in Computer Science LNCS 29.06.2010
СТ A Categorial Observaion of Timed Testing Equivalence 2007 Gribovskaya N., Virbitskaite I. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.11.2007
СТ A Partial Order Method for the Verification of Time Petri Nets 1999 Virbitskaite I., Pokozy E. Lecture Notes in Computer Science 29.09.1999
П Comparing Logical and Behavioural Equivalences for Event Structures 1996 Virbitskaite I., Votintseva A., Best E. Univ. Hildesheim 22.04.1998
П Investigating Semantic Notions for Coloured Dataflow Netwirks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Univ. Hildesheim 22.04.1998
П Investigating Semantic Notions for Coloured Dataflow Networks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Hildesheimer Informatik-Berichte 06.04.1998

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Perspectives of System Informatics: Revised Selected Papers/12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk Russia, July 2019 2019 Lecture Notes in Computer Science
  1. Bjorner N.
  2. Virbitskaite I.
  3. Voronkov A.
 28.01.2020
СБ Perspectives of System Informatics: Revised Selected Papers/9th International Ershov Informatics Conference, PSI 2014, St.Petersburg, Russia, June 2014 2015 Lecture Notes in Computer Science
  1. Voronkov A.
  2. Virbitskaite I.
 21.07.2015
СБ Perspectives of System Informatics: Revised Selected Papers/8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russa, June 2011 2012 Lecture Notes in Computer Science
  1. Clarke E.
  2. Virbitskaite I.
  3. Voronkov A.
 18.02.2013
СБ Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009 2010 Lecture Notes in Computer Science
  1. Pnuel A.
  2. Virbitskaite I.
  3. Voronkov A.
 13.04.2010
СБ Perspectives of System Informatics: Revised Papers/6th International Andrei Ershov Memorial Conference, PSI 2006. Novosibirsk, Russia, June 2006 2007 Lecture Notes in Computer Science
  1. Virbitskaite I.
  2. Voronkov A.
 28.04.2007