• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)

Публикации
Глава в книге
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

Bernardinello L., Irina Lomazova, Nesterov R. et al.

In bk.: Transactions on Petri Nets and Other Models of Concurrency XVI. Vol. 13220: Lecture Notes in Computer Science. Springer, 2022. P. 1-23.

Статья
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach

Nesterov R., Bernardinello L., Lomazova I. A. et al.

Software and Systems Modeling. 2022.

Статья
Resource Bisimilarity in Petri Nets is Decidable

Lomazova I. A., Vladimir A. Bashkin, Jančar P.

Fundamenta Informaticae. 2022. Vol. 186. No. 1-4. P. 175-194.

Препринт
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
В печати

Carrasquel Gamez J. C., Lomazova I. A.

arxiv.org. Computer Science. Cornell University, 2022

О лаборатории

Лаборатория основана в январе 2013 под научным руководством профессора Вила ван дер Аалста, одного из ведущих мировых ученых в области компьютерных наук и наиболее влиятельных исследователей в таких областях, как менеджмент бизнес-процессов и анализ процессов (Process Mining).


Иллюстрация к новости: Младший научный сотрудник Карраскель Гамес Хулио Сесар защитил кандидатскую диссертацию

Младший научный сотрудник Карраскель Гамес Хулио Сесар защитил кандидатскую диссертацию

Поздравляем сотрудника лаборатории с успешной защитой диссертации

Иллюстрация к новости: Лучшие преподаватели в номинации "Лучший научный руководитель" в 2022 году

Лучшие преподаватели в номинации "Лучший научный руководитель" в 2022 году

Заведующий лабораторией Ирина Александровна Ломазова признана лучшим научным руководителем по итогам конкурса НИРС. Поздравляем!