Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Беляев Михаил Владимирович
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:85
Страницы публикаций:319
Полные тексты:255
Списки литературы:63

https://www.mathnet.ru/rus/person129043
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0003-3489-3508

Публикации в базе данных Math-Net.Ru Цитирования
2020
1. M. V. Belyaev, E. S. Romanenkov, V. N. Ignatyev, “Modeling of library functions in an industrial static code analyzer”, Труды ИСП РАН, 32:3 (2020),  21–31  mathnet 1
2017
2. М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев, “Сравнительный анализ двух подходов к статическому анализу помеченных данных”, Труды ИСП РАН, 29:3 (2017),  99–116  mathnet  elib 2

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024