Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Gorbachev, M S https://www.mathnet.ru/eng/person145769 List of publications on Google Scholar ISTINA https://istina.msu.ru/workers/348834978 Publications in Math-Net.Ru Citations 2018 1. M. A. Solovev, M. G. Bakulin, M. S. Gorbachev, D. V. Manushin, V. A. Padaryan, S. S. Panasenko, “Next generation intermediate representations for binary code analysis”, Proceedings of ISP RAS, 30:6 (2018),  39–68     5 Organisations Lomonosov Moscow State University Institute for System Programming, Russian Academy of Sciences