A. M. Mironov

From MaRDI portal
Person:906252

Available identifiers

zbMath Open mironov.andrew-mMaRDI QIDQ906252

List of research outcomes





PublicationDate of PublicationType
A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs2023-01-24Paper
Implementability of numeric functions by probabilistic automata2023-01-04Paper
An approach for formal verification of authentication protocols2022-05-23Paper
Minimization of probabilistic models of programs2016-01-21Paper
https://portal.mardi4nfdi.de/entity/Q53151282005-09-07Paper
https://portal.mardi4nfdi.de/entity/Q43956781998-10-01Paper
The calculus of snakes and the combinatorics of Bernoulli, Euler and Springer numbers of Coxeter groups1994-04-10Paper
https://portal.mardi4nfdi.de/entity/Q39852681992-06-27Paper

Research outcomes over time

This page was built for person: A. M. Mironov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:906252&oldid=7205983"
Powered by MediaWiki