• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Simulating Petri Nets with Inhibitor and Reset Arcs
В печати

Pavel Pertsukhov, Mitsyuk A. A.

Proceedings of the Institute for System Programming of the RAS. 2019.

Глава в книге
A Method to Improve Workflow Net Decomposition for Process Model Repair
В печати

Semyon E. Tikhonov, Mitsyuk A. A.

In bk.: Analysis of Images, Social Networks and Texts. 8th International Conference AIST 2019. Springer, 2019.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Тема «исследования и аналитика» – Новости

В декабрьском номере HERB сотрудники департамента рассказали об образовании в области ИТ

В конце декабря 2016 г. вышел номер журнала НИУ ВШЭ Higher Education in Russia and Beyond (HERB), посвященный компьютерным наукам – Computer Science: History of Emerging Discipline. В его подготовке принял непосредственное участие сотрудник департамента "Программная Инженерия"  В.В. Шилов – в качестве автора одной из статей.