Network approach for the Russian stock market. - Arsenii Vizgunov; Boris Goldengorin; Valeriy A. Kalyagin; Alexander P. Koldanov; Petr A. Koldanov; Panos M. Pardalos (Comput. Manag. Sci., 2014)

Automated Formal Verification of Model Transformations Using the Invariants Mechanism. - Boris Ulitin; Eduard Babkin; Tatiana Babkina; Arsenii Vizgunov (BIR, 2019)