Arsenii Vizgunov

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Comput. Manag. Sci.

Publications

Boris Ulitin, Eduard Babkin, Tatiana Babkina, Arsenii Vizgunov
Automated Formal Verification of Model Transformations Using the Invariants Mechanism. BIR (2019)
Arsenii Vizgunov, Boris Goldengorin, Valeriy A. Kalyagin, Alexander P. Koldanov, Petr A. Koldanov, Panos M. Pardalos
Network approach for the Russian stock market. Comput. Manag. Sci. 11 (1-2) (2014)