Methods of Formal Software Verification in the Context of Distributed Systems. - Anna Fatkina; Oleg Iakushkin; Dmitry Selivanov; Vladimir Korkhov (ICCSA (2), 2019)

Analytical Comparison of DLT Platforms Activity. - Oleg Iakushkin; Anna Fatkina; Dmitry Selivanov; Vladimir Korkhov (ICCSA (2), 2019)

Architecture of a Smart Container Using Blockchain Technology. - Oleg Iakushkin; Dmitry Selivanov; Ekaterina Pavlova; Vladimir Korkhov (ICCSA (2), 2019)

GNA: new framework for statistical data analysis. - Anna Fatkina; Maxim Gonchar; Anastasia Kalitkina; Liudmila Kolupaeva; Dmitry Naumov; Dmitry Selivanov; Konstantin Treskov (CoRR, 2019)

Rephasing Invariant for Three-Neutrino Oscillations Governed by a Non-Hermitian Hamiltonian. - Dmitry Naumov; Vadim A. Naumov; Dmitry Selivanov (Symmetry, 2020)