|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Труды Института системного программирования РАН (электронный журнал)журнал
Индексирование:
Список ВАК (1 января 1970 г.-),
Список РИНЦ (1 января 1970 г.-),
Журналы РФ в RSCI WoS (1 июля 2018 г.-),
Журналы РФ в RSCI WoS (1 июля 2018 г.-)
Период активности журнала:
не указан
- Другие названия журнала: Труды ИСП РАН, Труды Института системного программирования (электронный журнал), Труды Института системного программирования РАН(электронный журнал)показать полностью...
- ISSN: 2220-6426 (Electronic), 2079-8156 (Print)
Редколлегия
- Кузнецов Сергей Дмитриевич, с 1 января 2010
- Гайсарян Сергей Суренович, с 1 января 2010
- Петренко Александр Константинович, с 1 января 2010
- Аветисян Арутюн Ишханович, с 1 января 2010
- Карпов Леонид Евгеньевич, с 1 января 2010
- Иванников Виктор Петрович, 1 января 2010 - 1 января 2017
Статьи, опубликованные в журнале
-
- 2021 HTTP-Request Classification in Automatic Web Application Crawling
- Lapkina Anna, Petukhov Andrew
- в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 3, с. 77-86 DOI
-
-
-
-
- 2021 Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
- Бородин А.Е., Горемыкин А.В., Вартанов С.П., Белеванцев А.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 1, с. 7-32 DOI
-
-
- 2021 Смягчение неопределенности при разработке научных приложений в интегрированной среде
- Аветисян А.И., и др.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 1, с. 151-172 DOI
-
-
-
-
-
-
- 2020 В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти
- Кузнецов С.Д.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 153-180 DOI
-
-
-
- 2020 Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
- Бородин А.Е., Дудина И.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 87-100 DOI
-
- 2020 Двухшаговый метод объединения новостей в сюжеты
- Skornyakov Kirill, Laskina Anna, Turdakov Denis
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 165-174 DOI
-
- 2020 Диагностика гипертрофий левых отделов сердца с помощью глубокой нейронной сети
- Andreev Pavel, Ananev Vladislav, Makarov Vladimir, Karpulevich Evgeny, Turdakov Denis
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 141-154 DOI
-
- 2020 Динамическая компиляция пользовательских функций на языке PL/pgSQL
- Dzhidzhoyev Vladislav Muratovich, Buchatskiy Ruben Arturovich, Pantilimonov Michael Vyacheslavovich, Tomilin Alexander Nikolaevich
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 5, с. 67-80 DOI
-
- 2020 Извлечение логической структуры из сканированных документов
- Bogatenkova Anastasiya, Kozlov Ilya, Belyaeva Oksana, Perminov Andrey
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 4, с. 175-188 DOI
-
- 2020 Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
- Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 7-26 DOI
-
-
- 2020 Исследование технологии RISC-V
- Фролов В.А., Галактионов В.А., Санжаров В.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 2, с. 81-98 DOI
-
- 2020 Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов
- Елистратов С.А., Ватутин К.А., Сибгатуллин И.Н., Ерманюк Е.В., Михайлов Е.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 200-212 DOI
-
- 2020 Моделирование библиотечных функций в промышленном статическом анализаторе кода
- БЕЛЯЕВ М.В., РОМАНЕНКОВ Е.С., ИГНАТЬЕВ В.Н.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 3, с. 21-31 DOI