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

Новости

Семинар лаборатории ПОИС: Возможности применения композиции сетей Петри с помощью морфизмов для решения задачи Process mining // Роман Нестеров

На очередном заседании нашего семинара выступил студент магистратуры НИУ ВШЭ Роман Нестеров. Тема его доклада: Возможности применения композиции сетей Петри с помощью морфизмов для решения задачи Process mining.

Семинар лаборатории ПОИС: «О задаче сокращения систем переходов в извлечении и анализе моделей процессов» // С. Шершаков

На очередном заседании нашего семинара выступил научный сотрудник лаборатории Шершаков Сергей. Тема его доклада: О задаче сокращения систем переходов в извлечении и анализе моделей процессов.

Семинар лаборатории ПОИС: «Плохие и хорошие модели бизнес-процессов» // А. Мицюк

На очередном заседании нашего семинара выступил младший научный сотрудник лаборатории Мицюк Алексей. Тема его доклада: Плохие и хорошие модели бизнес-процессов.

Семинар лаборатории ПОИС: Анализ информационной структуры и моделирование процесса выполнения проекта разработки программного обеспечения // С.А. Полицын

На очередном заседании нашего семинара выступил преподаватель департамента программной инженерии Полицын Сергей. Тема его доклада: Анализ информационной структуры и моделирование процесса выполнения проекта разработки программного обеспечения.

Семинар лаборатории ПОИС: Построение моделей процессов по логам событий информационных систем. Выбор базисного языка // А.А. Каленкова

На очередном заседании нашего семинара выступила старший научный сотрудник лаборатории Каленкова Анна Алексеевна. Тема её доклада: Построение моделей процессов по логам событий информационных систем. Выбор базисного языка.

Семинар лаборатории ПОИС: Верификация программно-конфигурируемых сетей // В.В. Подымов

На очередном заседании нашего семинара выступил научный сотрудник лаборатории Подымов Владислав Васильевич. Тема его доклада: Верификация программно-конфигурируемых сетей.

Семинар лаборатории ПОИС: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами // В.А. Захаров

На очередном заседании нашего семинара выступил ведущий научный сотрудник лаборатории Захаров Владимир Анатольевич. Тема его доклада: Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами.

Выступление на международной конференции «Business Process Management»

На международной конференции «Business Process Management» (Innsbruck, Austria, 2015, rank A) стажер-исследователь Лаборатории ПОИС Иванов С.Ю. представил выпускную квалификационную работу «BPMNDiffViz: A Tool for BPMN Models Comparison» посвященную сравнению моделей бизнес-процессов. Работа поддержана грантом РФФИ 15-37-21103.

Семинар лаборатории ПОИС: Исследование методов контроля функционирования программно-конфигурируемых сетей // Е. Чемерицкий

На очередном заседании нашего семинара выступил аспирант ВМК МГУ Евгений Чемерицкий. Тема его доклада:  Исследование методов контроля функционирования программно-конфигурируемых сетей.

Семинар лаборатории ПОИС: Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data // А. Мохов

На очередном заседании нашего семинара выступил лектор по компьютерной инженерии Ньюкасльского университета Андрей Мохов. Тема его доклада: Event Log Visualisation with Conditional Partial Order Graphs.