Andrew M. Mironov

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 9

Top Topics

Locally Decodable Codes

Functional Programs

Security Protocols

Top Venues

Autom. Control. Comput. Sci.

Publications

Andrew M. Mironov
A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model. Autom. Control. Comput. Sci. 56 (7) (2022)
Andrew M. Mironov
A Distributed Process Model of Cryptographic Protocols. CoRR (2021)
Andrew M. Mironov
Verification of MPI programs. CoRR (2021)
Andrew M. Mironov
State diagrams of functional programs. CoRR (2020)
Andrew M. Mironov
A graph model of message passing processes. CoRR (2017)
Andrew M. Mironov
A new method of verification of security protocols. CoRR (2017)
Andrew M. Mironov
A New Method of Verification of Functional Programs. CoRR (2016)
Andrew M. Mironov
Logics for Representation of Propositions with Fuzzy Modalities. SCAKD@CLA (2016)
Andrew M. Mironov
A theory of probabilistic automata, part 1. CoRR (2015)
Andrew M. Mironov
Theory of processes CoRR (2010)