Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Shatokhin, E A https://www.mathnet.ru/eng/person61164 List of publications on Google Scholar https://zbmath.org/authors/ai:shatokhin.e-a https://mathscinet.ams.org/mathscinet/MRAuthorID/863519 Publications in Math-Net.Ru Citations 2008 1. M. A. Potapov, E. A. Shatokhin, “Some methods of automatic analysis and controllable transformation of programs”, Avtomat. i Telemekh., 2008, no. 8,  176–186      ; Autom. Remote Control, 69:8 (2008), 1433–1443     Organisations Institute for Computer Aided Design of RAS, Moscow