Публикации в базе данных Math-Net.Ru
-
Автоматизированное построение реалистичных литофациальных карт методами комбинаторной оптимизации
Интеллектуальные системы. Теория и приложения, 28:4 (2024), 5–20
-
Автоматная модель проверки корректности атрибутной политики информационной безопасности в системах с конечным числом объектов
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2021, № 5, 57–60
-
Анализ атрибутивной политики безопасности с использованием методов автоматического планирования
Интеллектуальные системы. Теория и приложения, 24:4 (2020), 7–31
-
Об одном подходе к математическому представлению шахматной позиции
Интеллектуальные системы. Теория и приложения, 20:3 (2016), 134–139
© , 2026