Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Mironov, Andrei Mikhailovich

Statistics Math-Net.Ru
Total publications: 19
Scientific articles: 19
Presentations: 1

Number of views:
This page:317
Abstract pages:2384
Full texts:1320
References:249
Senior Researcher
Candidate of physico-mathematical sciences
E-mail:

http://www.mathnet.ru/eng/person98481
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/308150

Publications in Math-Net.Ru
2021
1. A. M. Mironov, “A mathematical model of parallel programs and an approach based on it to verification of MPI programs”, Model. Anal. Inform. Sist., 28:4 (2021),  394–412  mathnet
2020
2. A. M. Mironov, “Verification of functional programs by state diagrams”, Intelligent systems. Theory and applications, 24:1 (2020),  25–54  mathnet
2018
3. R. A. Ishchenko, A. S. Podkolzin, D. N. Zhuk, S. V. Moiseev, A. M. Mironov, K. A. Golikov, P. S. Dergach, A. V. Galatenko, I. L. Mazurenko, A. Yu. Konovalov, E. A. Kurganov, “Reports from the Automata Theory seminar”, Intelligent systems. Theory and applications, 22:4 (2018),  137–142  mathnet
4. A. M. Mironov, “New mathematical model of authentication protocols and verification method based on this model”, Intelligent systems. Theory and applications, 22:4 (2018),  79–98  mathnet
2017
5. A. M. Mironov, “Verification of programs by the method of invariants”, Intelligent systems. Theory and applications, 21:4 (2017),  31–49  mathnet
6. A. M. Mironov, “Security Protocols, Part 1”, Intelligent systems. Theory and applications, 21:3 (2017),  65–105  mathnet
2016
7. A. M. Mironov, “Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности”, Intelligent systems. Theory and applications, 20:3 (2016),  214–219  mathnet
8. A. M. Mironov, “Main concepts of a theory of probabilistic automata (part 2)”, Intelligent systems. Theory and applications, 20:2 (2016),  283–330  mathnet
9. A. M. Mironov, “Main concepts of a theory of functional programs”, Intelligent systems. Theory and applications, 20:1 (2016),  79–180  mathnet
2015
10. A. M. Mironov, “Realizability of probabilistic reactions by finite probabilistic automata”, Inform. Primen., 9:3 (2015),  85–96  mathnet  elib
11. A. M. Mironov, “Main concepts of a theory of probabilistic automata”, Intelligent systems. Theory and applications, 19:4 (2015),  75–116  mathnet
12. A. M. Mironov, A. G. Miheev, V. E. Pyatetsky, “The algorithm of check of number of control flows in business process instance finiteness”, Probl. Upr., 2015, 1,  30–37  mathnet
2014
13. A. M. Mironov, S. L. Frenkel, “Minimization of probabilistic models of programs”, Fundam. Prikl. Mat., 19:1 (2014),  121–163  mathnet  mathscinet; J. Math. Sci., 211:3 (2015), 381–412  scopus
14. A. M. Mironov, S. L. Frenkel, “A method of enhancing probabilistic verification efficiency for computer and telecommunication systems”, Inform. Primen., 8:4 (2014),  58–69  mathnet  elib
15. A. M. Mironov, “A method of proving the observational equivalence of processes with message passing”, Inform. Primen., 8:2 (2014),  55–69  mathnet  elib
2005
16. A. M. Mironov, D. Yu. Zhukov, “Математическая модель и методы верификации программных систем”, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2005, 1,  49–67  mathnet
2003
17. A. M. Mironov, “Fuzzy modal logics”, Fundam. Prikl. Mat., 9:1 (2003),  201–230  mathnet  mathscinet  zmath; J. Math. Sci., 128:6 (2005), 3461–3483  scopus
1992
18. A. M. Mironov, “Canonical realization of a partial response morphism in the class of decomposable systems”, Uspekhi Mat. Nauk, 47:1(283) (1992),  213–214  mathnet  mathscinet  zmath; Russian Math. Surveys, 47:1 (1992), 263–264  isi
1990
19. A. M. Mironov, “Universal decomposable systems”, Dokl. Akad. Nauk SSSR, 315:2 (1990),  302–308  mathnet  mathscinet  zmath; Dokl. Math., 42:3 (1991), 777–783

Presentations in Math-Net.Ru
1. Математические модели и методы анализа параллельных алгоритмов
A. M. Mironov
Scientic seminar «Actual problems of geometry and mechanics » named after Prof. V.V. Trofimov
April 26, 2002 18:30

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022