Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Tsitelov, Dmitrii Igorevich E-mail: https://www.mathnet.ru/eng/person99691 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2014 1. D. Tsitelov, V. Trifanov, “Data race detection in Java programs using synchronization contracts”, Sistemy i Sredstva Inform., 24:2 (2014),  114–130