• 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).


Иллюстрация к новости: «Соединить фундаментальное образование и обучение новейшим технологиям — вечная проблема»

«Соединить фундаментальное образование и обучение новейшим технологиям — вечная проблема»

Интервью с Ириной Ломазовой

Иллюстрация к новости: Стартовал осенний сезон семинаров лаборатории ПОИС 2023 года

Стартовал осенний сезон семинаров лаборатории ПОИС 2023 года

Николай Суворов, аспирант 1-го года обучения аспирантской школы по компьютерным наукам ФКН, 6 октября 2023 года выступил с докладом по результатам своих текущих исследований.