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

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

Для того, чтобы подписаться на рассылку о мероприятиях лаборатории, напишите менеджеру Ксении Жеребцовой
Публикации
Статья
Even Simple Processes of Pi-calculus are Hard for Analysis

Zakharov V., Abbas M. M.

Automatic Control and Computer Sciences, USA. 2019. Vol. 53. No. 7. P. 589-606.

Глава в книге
Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs

Roman A. Nesterov, Irina A. Lomazova.

In bk.: Proceedings of the MACSPro Workshop 2019. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 62-73.

Иллюстрация к новости: Итоги НИРС 2019

Итоги НИРС 2019

Работа Антона Ригина, студента магистратуры, написанная под руководством научного сотрудника лаборатории Сергея Шершакова, заняла первое место на конкурсе научно-исследовательских работ. Поздравляем коллег!

Иллюстрация к новости: Конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2020)

Конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2020)

Сотрудники НУЛ ПОИС и НУЛ МУСС - организаторы международной конференции по тестированию и прогнозированию сложных систем, которая пройдет с 22 по 24 апреля в Венеции.
Подать заявку на участие можно до 10 февраля.