List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs Modeling and Analysis of Information Systems | 2023-01-24 | Paper |
| Implementability of numeric functions by probabilistic automata Lobachevskii Journal of Mathematics | 2023-01-04 | Paper |
| An approach for formal verification of authentication protocols Lobachevskii Journal of Mathematics | 2022-05-23 | Paper |
| Minimization of probabilistic models of programs Journal of Mathematical Sciences (New York) | 2016-01-21 | Paper |
| scientific article; zbMATH DE number 2203356 (Why is no real title available?) | 2005-09-07 | Paper |
| scientific article; zbMATH DE number 1164050 (Why is no real title available?) | 1998-10-01 | Paper |
| The calculus of snakes and the combinatorics of Bernoulli, Euler and Springer numbers of Coxeter groups Russian Mathematical Surveys | 1994-04-10 | Paper |
| scientific article; zbMATH DE number 30186 (Why is no real title available?) | 1992-06-27 | Paper |
Research outcomes over time
This page was built for person: A. M. Mironov
