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

Статистика просмотров:
Эта страница:65
Страницы публикаций:157
Полные тексты:90
Списки литературы:32
профессор
кандидат физико-математических наук

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

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. N. O. Garanina, S. P. Gorlatch, “Autotuning parallel programs by model checking”, Модел. и анализ информ. систем, 28:4 (2021),  338–355  mathnet 1
2020
2. Н. О. Гаранина, И. С. Ануреев, В. Е. Зюбин, С. М. Старолетов, Т. В. Лях, А. С. Розов, С. П. Горлач, “Темпоральная логика для программируемых логических контроллеров”, Модел. и анализ информ. систем, 27:4 (2020),  412–427  mathnet  elib

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