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

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

Публикации
Глава в книге
Typed Petri Nets with Variable Arc Weights

Lomazova I. A., Mitsyuk A. A., Rivkin A.

In bk.: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers. Vol. 492. Switzerland: Springer, 2024. P. 483-495.

Статья
Verification of data-aware process models: Checking soundness of data Petri nets

Nikolai M. Suvorov, Irina A. Lomazova.

Journal of Logical and Algebraic Methods in Programming. 2024. Vol. 138.

Статья
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

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

Journal of Parallel and Distributed Computing. 2023. Vol. 179.

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

Глава в книге
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.

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

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

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


Иллюстрация к новости: «Хорошее дело лучше не откладывать»: награждены победители конкурса НИРС-2024

«Хорошее дело лучше не откладывать»: награждены победители конкурса НИРС-2024

10 февраля в НИУ ВШЭ состоялась церемония награждения победителей и лауреатов конкурса на лучшую научно-исследовательскую работу студентов (НИРС) 2024 года. На конкурс было подано 1916 работ, победителями и лауреатами стали 320 человек, и награждение было проведено на четырех секциях: социальных наук, экономико-менеджериальных наук, точных наук, гуманитарных наук и креативных индустрий.

Иллюстрация к новости: 241-е заседание семинара московской секции ACM SIGMOD

241-е заседание семинара московской секции ACM SIGMOD

Евгений Степанов, стажер исследователь НУЛ процессно-ориентированных информационных систем, выступил с докладом на семинаре московской секции ACM SIGMOD

Иллюстрация к новости: Второй выпуск подкаста ФКН "Карта памяти. Карл Адам Петри"

Второй выпуск подкаста ФКН "Карта памяти. Карл Адам Петри"

Ирина Александровна Ломазова, научный руководитель НУЛ процессно-ориентированных информационных систем, профессор департамента программной инженерии факультета компьютерных наук, рассказала о жизни и научной деятельности Карла Адама Петри — выдающегося немецкого ученого в области математики и компьютерных наук

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Иллюстрация к новости: Лучшие преподаватели НИУ ВШЭ 2022 года

Лучшие преподаватели НИУ ВШЭ 2022 года

Поздравляем сотрудников лаборатории - Алексея Мицюка, Нестерова Романа, Карраскель Хулио - с победой в выборах лучших преподавателей ФКН

Иллюстрация к новости: Опубликованы списки приглашенных к поступлению на бесплатные места в магистратуру

Опубликованы списки приглашенных к поступлению на бесплатные места в магистратуру

На сайте Приемной комиссии появились списки приглашенных к поступлению на бесплатные места очных программ магистратуры. Когда пройдет зачисление и как заключить договор при поступлении на платную форму обучения — в материале новостной службы портала.