|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
А. М. Миронов, “Математическая модель и методы верификации криптографических протоколов”, Интеллектуальные системы. Теория и приложения, 26:2 (2022), 85–144  |
| 2. |
А. М. Миронов, “Процессный подход к моделированию и верификации параллельных программ”, Интеллектуальные системы. Теория и приложения, 26:1 (2022), 101–106 |
|
2021 |
| 3. |
А. М. Миронов, “Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ”, Модел. и анализ информ. систем, 28:4 (2021), 394–412 |
|
2020 |
| 4. |
А. М. Миронов, “Верификация функциональных программ методом построения диаграмм состояний”, Интеллектуальные системы. Теория и приложения, 24:1 (2020), 25–54 |
|
2018 |
| 5. |
Р. А. Ищенко, А. С. Подколзин, Д. Н. Жук, С. В. Моисеев, А. М. Миронов, К. А. Голиков, П. С. Дергач, А. В. Галатенко, И. Л. Мазуренко, А. Ю. Коновалов, Е. А. Курганов, “Доклады семинара «Теория автоматов»”, Интеллектуальные системы. Теория и приложения, 22:4 (2018), 137–142 |
| 6. |
А. М. Миронов, “Новая математическая модель протоколов аутентификации и основанный на ней метод верификации”, Интеллектуальные системы. Теория и приложения, 22:4 (2018), 79–98 |
|
2017 |
| 7. |
А. М. Миронов, “Верификация программ методом инвариантов”, Интеллектуальные системы. Теория и приложения, 21:4 (2017), 31–49 |
1
|
| 8. |
А. М. Миронов, “Протоколы безопасности, часть 1”, Интеллектуальные системы. Теория и приложения, 21:3 (2017), 65–105 |
|
2016 |
| 9. |
А. М. Миронов, “Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности”, Интеллектуальные системы. Теория и приложения, 20:3 (2016), 214–219 |
| 10. |
А. М. Миронов, “Основные понятия теории вероятностных автоматов (часть 2)”, Интеллектуальные системы. Теория и приложения, 20:2 (2016), 283–330 |
1
|
| 11. |
А. М. Миронов, “Основные понятия теории функциональных программ”, Интеллектуальные системы. Теория и приложения, 20:1 (2016), 79–180 |
|
2015 |
| 12. |
А. М. Миронов, “Реализуемость вероятностных реакций конечными вероятностными автоматами”, Информ. и её примен., 9:3 (2015), 85–96  |
| 13. |
А. М. Миронов, “Основные понятия теории вероятностных автоматов”, Интеллектуальные системы. Теория и приложения, 19:4 (2015), 75–116 |
| 14. |
А. М. Миронов, А. Г. Михеев, В. Е. Пятецкий, “Алгоритм проверки ограниченности числа точек управления в экземпляре бизнес-процесса”, Пробл. управл., 2015, № 1, 30–37 |
|
2014 |
| 15. |
А. М. Миронов, С. Л. Френкель, “Минимизация вероятностных моделей программ”, Фундамент. и прикл. матем., 19:1 (2014), 121–163  ; A. M. Mironov, S. L. Frenkel, “Minimization of probabilistic models of programs”, J. Math. Sci., 211:3 (2015), 381–412  |
3
|
| 16. |
А. М. Миронов, С. Л. Френкель, “Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных систем”, Информ. и её примен., 8:4 (2014), 58–69 |
| 17. |
А. М. Миронов, “Метод доказательства наблюдаемой эквивалентности процессов с передачей сообщений”, Информ. и её примен., 8:2 (2014), 55–69 |
|
2005 |
| 18. |
А. М. Миронов, Д. Ю. Жуков, “Математическая модель и методы верификации программных систем”, ИТиВС, 2005, № 1, 49–67 |
|
2003 |
| 19. |
А. М. Миронов, “Нечёткие модальные логики”, Фундамент. и прикл. матем., 9:1 (2003), 201–230  ; A. M. Mironov, “Fuzzy modal logics”, J. Math. Sci., 128:6 (2005), 3461–3483 |
22
|
|
1992 |
| 20. |
А. М. Миронов, “Каноническая реализация частичного морфизма реакции в классе разложимых систем”, УМН, 47:1(283) (1992), 213–214 ; A. M. Mironov, “Canonical realization of a partial response morphism in the class of decomposable systems”, Russian Math. Surveys, 47:1 (1992), 263–264  |
|
1990 |
| 21. |
А. М. Миронов, “Универсальные разложимые системы”, Докл. АН СССР, 315:2 (1990), 302–308 ; A. M. Mironov, “Universal decomposable systems”, Dokl. Math., 42:3 (1991), 777–783 |
|
Обратная связь: