Нет фото Ирина Бонавентуровна Вирбицкайте

Просмотреть профиль в Scopus

Вирбицкайте Ирина Бонавентуровна

профессор, Доктор физико-математических наук

20172020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Fingerprint

Узнайте самые подробные результаты анализа активности Ирина Бонавентуровна Вирбицкайте. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
  • 1 Аналогичные профили
Просмотреть полный Fingerprint

Сеть

Недавнее внешнее сотрудничество на уровне страны/территории. Просмотрите подробные сведения, нажав на точки или
Просмотреть сеть дополнительно
  • 3 статья в сборнике материалов конференции
  • 1 статья
  • 1 статья по материалам конференции

  • Testing Equivalences of Time Petri Nets

    Bozhenkova, E. N. & Virbitskaite, I. B., 1 июл. 2020, В: Programming and Computer Software. 46, 4, стр. 251-260 10 стр.

    Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование

  • Causality-Based Testing in Time Petri Nets

    Bozhenkova, E., Virbitskaite, I. & Popova-Zeugmann, L., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 252-261 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

  • From event-oriented models to transition systems

    Best, E., Gribovskaya, N. & Virbitskaite, I., 1 янв. 2018, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings. Springer-Verlag GmbH and Co. KG, стр. 117-139 23 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10877 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    2 Цитирования (Scopus)

  • Preserving behavior in transition systems from event structure models

    Gribovskaya, N. & Virbitskaite, I., 1 янв. 2018, В: CEUR Workshop Proceedings. 2240

    Результат исследования: Научные публикации в периодических изданиях › статья по материалам конференции › рецензирование

  • Configuration- and residual-based transition systems for event structures with asymmetric conflict

    Best, E., Gribovskaya, N. & Virbitskaite, I., 1 янв. 2017, SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Steffen, B., Baier, C., VanDenBrand, M., Eder, J., Hinchey, M. & Margaria, T. (ред.). Springer-Verlag GmbH and Co. KG, стр. 132-146 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10139 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    2 Цитирования (Scopus)