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

Для того, чтобы подписаться на рассылку о мероприятиях лаборатории, напишите менеджеру Ксении Жеребцовой

Публикации

Статья

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.

Все публикации

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Лаборатория объявляет набор стажёров-исследователей!

Новости

июн

2020

Аспирант из Алжира о стажировке в лаборатории ПОИС

Халил Мешерауи, аспирант Университета Константина 2 – Абдельхамид Мехри (Алжир), рассказывает о том, как он получил грант на поездку в Москву, о своей стажировке в лаборатории Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) и совместной работе с исследователями лаборатории.

Свободное общение международное сотрудничество

16 июня

апр

2020

Иллюстрация к новости: Продолжается цикл Объединенного заседания семинара ПОИС и семинара Моделирование и анализ информационных систем (ЯрГу)

Продолжается цикл Объединенного заседания семинара ПОИС и семинара Моделирование и анализ информационных систем (ЯрГу)

Наука лектории репортаж о событии

29 апреля