• 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. 2023. Vol. 22. P. 351-375.

Статья
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).


Иллюстрация к новости: В лаборатории ПОИС прошел семинар в честь ее десятилетия

В лаборатории ПОИС прошел семинар в честь ее десятилетия

3 марта 2023 года состоялся семинар, который был посвящен десятилетию научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС).

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

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

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