|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Труды Института системного программирования РАН (электронный журнал)журнал
Индексирование:
Список ВАК (1 января 1970 г.-),
Журналы РФ в RSCI WoS (1 июля 2018 г.-),
Журналы РФ в RSCI WoS (1 июля 2018 г.-),
Список РИНЦ (1 января 1970 г.-),
Белый список (20 октября 2022 г.-)
Период активности журнала:
не указан
- Другие названия журнала: Proceedings of the Institute for System Programming of RAS, Proceedings of the Institute for System Programming of the RAS, Труды Института системного программирования РАНпоказать полностью...
- ISSN: 2220-6426 (Electronic), 2079-8156 (Print)
Редколлегия
- Гайсарян Сергей Суренович, с 1 января 2010
- Кузнецов Сергей Дмитриевич, с 1 января 2010
- Аветисян Арутюн Ишханович, с 1 января 2010
- Карпов Леонид Евгеньевич, с 1 января 2010
- Петренко Александр Константинович, с 1 января 2010
- Иванников Виктор Петрович, 1 января 2010 - 1 января 2017
Статьи, опубликованные в журнале
-
-
-
-
- 2025 Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions
- Zemlyanoy E., Nesterov R.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 4-2, с. 47-58
-
-
- 2025 TSAR: инструмент для оценки статических анализаторов. Труды Института системного программирования РАН
- ЧИБИСОВ К.А., БУЧАЦКИЙ Р.А., ТИМОНИН А.Д., ЛАЗАРЬ В.И., ЖУРИХИН Д.М., БЕЛЕВАНЦЕВ А.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 2, с. 2025-37
-
-
-
- 2025 Выбор интерфейса системы Isabelle для взаимодействия с большими языковыми моделями
- Мандрыкин М.У., Мутилин В.С., Петренко А.К., Сорокин К.С., Тюкин И.Ю.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 6, часть 4, с. 23-41
-
-
-
- 2025 Извлечение знаний в ограниченной области для примеров состязательных атак черного ящика
- Лукьянов Кирилл Сергеевич, Перминов Андрей Игоревич, Турдаков Денис Юрьевич, Паутов Михаил Александрович
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 4-2, с. 133-146 DOI
-
-
-
- 2025 Кластеризация услуг распределенной системы, в которой хосты могут выполнять функцию коммутации сообщений
- Бурдонов И.Б., Евтушенко Н.В., Косачев А.С., Пономаренко В.Н.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 5, с. 7-32 DOI
-
-
- 2025 Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом
- Петренко А.К., Девянин П.Н., Ефремов Д.В., Карнов А.А., Корныхин Е.В., Кулямин В.В., Хорошилов А.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 3, с. 277-290 DOI
-
- 2025 Модель распределенной системы, в которой хосты могут выполнять функцию коммутации сообщений
- Бурдонов И.Б., Евтушенко Н.В., Косачев А.С., Пономаренко В.Н.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 4-1, с. 7-30 DOI
-
-
- 2025 Обзор методов контроля перегрузки с использованием машинного обучения. Труды Института системного программирования РАН
- СТЕПАНОВ И.А., ПОПОВ М.В., ГЕТЬМАН А.И., ИКОННИКОВА М.К., БЕЛЕВАНЦЕВ А.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 3, с. 251-276
-
-
-
-
-
- 2025 О размыве дна, вызванном взвешенной турбулентной струей
- Петров А.Г., Потапов И.И.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 37, № 2, с. 181-194 DOI