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

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

Статистика просмотров:
Эта страница:317
Страницы публикаций:2390
Полные тексты:1326
Списки литературы:249
старший научный сотрудник
кандидат физико-математических наук
E-mail:

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

Публикации в базе данных Math-Net.Ru
2021
1. А. М. Миронов, “Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ”, Модел. и анализ информ. систем, 28:4 (2021),  394–412  mathnet
2020
2. А. М. Миронов, “Верификация функциональных программ методом построения диаграмм состояний”, Интеллектуальные системы. Теория и приложения, 24:1 (2020),  25–54  mathnet
2018
3. Р. А. Ищенко, А. С. Подколзин, Д. Н. Жук, С. В. Моисеев, А. М. Миронов, К. А. Голиков, П. С. Дергач, А. В. Галатенко, И. Л. Мазуренко, А. Ю. Коновалов, Е. А. Курганов, “Доклады семинара «Теория автоматов»”, Интеллектуальные системы. Теория и приложения, 22:4 (2018),  137–142  mathnet
4. А. М. Миронов, “Новая математическая модель протоколов аутентификации и основанный на ней метод верификации”, Интеллектуальные системы. Теория и приложения, 22:4 (2018),  79–98  mathnet
2017
5. А. М. Миронов, “Верификация программ методом инвариантов”, Интеллектуальные системы. Теория и приложения, 21:4 (2017),  31–49  mathnet
6. А. М. Миронов, “Протоколы безопасности, часть 1”, Интеллектуальные системы. Теория и приложения, 21:3 (2017),  65–105  mathnet
2016
7. А. М. Миронов, “Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности”, Интеллектуальные системы. Теория и приложения, 20:3 (2016),  214–219  mathnet
8. А. М. Миронов, “Основные понятия теории вероятностных автоматов (часть 2)”, Интеллектуальные системы. Теория и приложения, 20:2 (2016),  283–330  mathnet
9. А. М. Миронов, “Основные понятия теории функциональных программ”, Интеллектуальные системы. Теория и приложения, 20:1 (2016),  79–180  mathnet
2015
10. А. М. Миронов, “Реализуемость вероятностных реакций конечными вероятностными автоматами”, Информ. и её примен., 9:3 (2015),  85–96  mathnet  elib
11. А. М. Миронов, “Основные понятия теории вероятностных автоматов”, Интеллектуальные системы. Теория и приложения, 19:4 (2015),  75–116  mathnet
12. А. М. Миронов, А. Г. Михеев, В. Е. Пятецкий, “Алгоритм проверки ограниченности числа точек управления в экземпляре бизнес-процесса”, Пробл. управл., 2015, 1,  30–37  mathnet
2014
13. А. М. Миронов, С. Л. Френкель, “Минимизация вероятностных моделей программ”, Фундамент. и прикл. матем., 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
14. А. М. Миронов, С. Л. Френкель, “Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных систем”, Информ. и её примен., 8:4 (2014),  58–69  mathnet  elib
15. А. М. Миронов, “Метод доказательства наблюдаемой эквивалентности процессов с передачей сообщений”, Информ. и её примен., 8:2 (2014),  55–69  mathnet  elib
2005
16. А. М. Миронов, Д. Ю. Жуков, “Математическая модель и методы верификации программных систем”, ИТиВС, 2005, 1,  49–67  mathnet
2003
17. А. М. Миронов, “Нечёткие модальные логики”, Фундамент. и прикл. матем., 9:1 (2003),  201–230  mathnet  mathscinet  zmath; A. M. Mironov, “Fuzzy modal logics”, J. Math. Sci., 128:6 (2005), 3461–3483  scopus
1992
18. А. М. Миронов, “Каноническая реализация частичного морфизма реакции в классе разложимых систем”, УМН, 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
19. А. М. Миронов, “Универсальные разложимые системы”, Докл. АН СССР, 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

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