Get my own profile
Co-authors
Victor KuliaminISP RASVerified email at ispras.ru
Alexander KosachevИнститут системного прогроаммирования РАНVerified email at ispras.ru
Alexey KhoroshilovSenior Researcher of ISPRASVerified email at ispras.ru
Nikolay Pakulin (Николай Пакулин)Институт системного программирования РАНVerified email at ispras.ru
Sergey ZelenovИнститут системного программирования РАНVerified email at ispras.ru
Ilya ShchepetkovISP RASVerified email at ispras.ru
Игорь БурдоновИСП РАНVerified email at ispras.ru
Виктор Петрович ИванниковИСП РАНVerified email at ispras.ru
Vadim MutilinInstitute for System Programming of the Russian Academy of SciencesVerified email at ispras.ru
Eugene Kornykhin"МГУ им. М.В. Ломоносова" OR "Институт системного программирования РАН"Verified email at cmc.msu.ru
Виктор Зиновьевич ШнитманИнститут системного программирования РАН, МФТИVerified email at ispras.ru
Mikhail PosypkinФедеральный исследовательский центр "Информатика и управление" РАНVerified email at isa.ru
Ilja ZakharovInstitute for System Programming of RASVerified email at ispras.ru
Evgeny NovikovSenior Researcher at ISP RASVerified email at ispras.ru
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Alexander KamkinLeading Researcher at ISP RASVerified email at ispras.ru
Mirko Conradsamoconsult GmbH, TU Dresden, TU MünchenVerified email at samoconsult.de
Siraj Ahmed ShaikhSwansea UniversityVerified email at swansea.ac.uk
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de