Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Izmaylov, Aleksandr Aleksandrovich https://www.mathnet.ru/eng/person173619 List of publications on Google Scholar https://orcid.org/0000-0003-1721-3347 Publications in Math-Net.Ru Citations 2020 1. A. A. Izmaylov, L. W. Dworzanski, “Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool”, Proceedings of ISP RAS, 32:6 (2020),  155–166   Organisations National Research University Higher School of Economics, Moscow