Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Миронов Андрей Михайлович

В базах данных Math-Net.Ru
Публикаций: 18
Научных статей: 18
Лекций и докладов: 1

Статистика просмотров:
Эта страница:316
Страницы публикаций:2330
Полные тексты:1236
Списки литературы:247
старший научный сотрудник
кандидат физико-математических наук
E-mail:

http://www.mathnet.ru/rus/person98481
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/308150

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

Доклады и лекции в базе данных Math-Net.Ru
1. Математические модели и методы анализа параллельных алгоритмов
А. М. Миронов
Научный семинар «Актуальные проблемы геометрии и механики» имени проф. В. В. Трофимова
26 апреля 2002 г. 18:30

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021