Материалы семинара
Башкин В.А. — Некоторые открытые проблемы теории сетей Петри (PDF, 1.77 Мб)
Валиев М.К. — О верификации мультиагентных систем (PDF, 358 Кб)
Дворянский Л.В. — P-инварианты вложенных сетей Петри (PDF, 390 Кб)
Захаров В.А. — О применении гомоморфного шифрования в облачных вычислениях (PDF, 1.60 Мб)
Мандрыкин М.У. — Моделирование памяти в ..фикации Frama-CWP, Jessie и VCC (PDF, 508 Кб)
Мицюк А.А. — Об исправлении моделей процессов (PDF, 1.62 Мб)
Подловченко Р.И. — Страницы из жизни теории схем программ (PDF, 253 Кб)
Чалый Д.Ю. — Семантическая модель сквозной безопасности в (PDF, 3.25 Мб)
Шугуров И.С. — Генерация логов событий информационных систем (PDF, 899 Кб)
Яиков Р.Р. — Эффективная модификация алг..фильтрации цифровых изображений (PDF, 1.71 Мб)