Миронов Андрей Михайлович

Публикации в базе данных Math-Net.Ru

1. Математические основы прогнозирования временных рядов
   
   Интеллектуальные системы. Теория и приложения, 28:3 (2024),  47–79
2. Математическая модель и методы верификации криптографических протоколов
   
   Интеллектуальные системы. Теория и приложения, 26:2 (2022),  85–144
3. Процессный подход к моделированию и верификации параллельных программ
   
   Интеллектуальные системы. Теория и приложения, 26:1 (2022),  101–106
4. Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ
   
   Модел. и анализ информ. систем, 28:4 (2021),  394–412
5. Верификация функциональных программ методом построения диаграмм состояний
   
   Интеллектуальные системы. Теория и приложения, 24:1 (2020),  25–54
6. Доклады семинара «Теория автоматов»
   
   Интеллектуальные системы. Теория и приложения, 22:4 (2018),  137–142
7. Новая математическая модель протоколов аутентификации и основанный на ней метод верификации
   
   Интеллектуальные системы. Теория и приложения, 22:4 (2018),  79–98
8. Верификация программ методом инвариантов
   
   Интеллектуальные системы. Теория и приложения, 21:4 (2017),  31–49
9. Протоколы безопасности, часть 1
   
   Интеллектуальные системы. Теория и приложения, 21:3 (2017),  65–105
10. Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности
    
    Интеллектуальные системы. Теория и приложения, 20:3 (2016),  214–219
11. Основные понятия теории вероятностных автоматов (часть 2)
    
    Интеллектуальные системы. Теория и приложения, 20:2 (2016),  283–330
12. Основные понятия теории функциональных программ
    
    Интеллектуальные системы. Теория и приложения, 20:1 (2016),  79–180
13. Реализуемость вероятностных реакций конечными вероятностными автоматами
    
    Информ. и её примен., 9:3 (2015),  85–96
14. Основные понятия теории вероятностных автоматов
    
    Интеллектуальные системы. Теория и приложения, 19:4 (2015),  75–116
15. Алгоритм проверки ограниченности числа точек управления в экземпляре бизнес-процесса
    
    Пробл. управл., 2015, № 1,  30–37
16. Минимизация вероятностных моделей программ
    
    Фундамент. и прикл. матем., 19:1 (2014),  121–163
17. Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных систем
    
    Информ. и её примен., 8:4 (2014),  58–69
18. Метод доказательства наблюдаемой эквивалентности процессов с передачей сообщений
    
    Информ. и её примен., 8:2 (2014),  55–69
19. Математическая модель и методы верификации программных систем
    
    ИТиВС, 2005, № 1,  49–67
20. Нечёткие модальные логики
    
    Фундамент. и прикл. матем., 9:1 (2003),  201–230
21. Каноническая реализация частичного морфизма реакции в классе разложимых систем
    
    УМН, 47:1(283) (1992),  213–214
22. Универсальные разложимые системы
    
    Докл. АН СССР, 315:2 (1990),  302–308