Том 38, выпуск 6, часть 1

Ханевская К.А., Тяжкороб У.В., Игнатьев В.Н. Поиск множественного перечисления коллекций в исходном коде на языке C# методами статического анализа Стр. 9-22.

Доморацкий Э.А., Булычев Д.Ю. Формальная верификация алгоритма унификации рациональных термов Стр. 23-40.

Крюков О.С., Волошко А.Г., Ивутин А.Н. Подход к статической верификации многопоточных приложений на основе графовых моделей программы Стр. 41-62.

Тихонов Д.М., Стрижов В.В. Объединение пространств состояний динамической системы через полилинейное отображение Стр. 63-72.

Моисейкин А.Д., Дробышевский М.Д., Соловьев М.В. Трёхуровневое обнаружение аномалий в графах c текстовыми атрибутами с использованием графовой фундаментальной модели Стр. 73-86.

Балашов С.А. Сравнительный анализ открытых систем видеоаналитики по критериям масштабируемости, скорости и надёжности в контексте распределения задач в гетерогенных вычислительных средах Стр. 87-96.

Поддубный А.И., Дородных Н.О., Армаев А.С. Исследование семантического представления табличных данных для верификации фактов Стр. 97-122.

Пойманов Д.Р. Повышение эффективности квантования больших языковых моделей с архитектурой смеси экспертов Стр. 123-138.

Готсданкер А.С. Мультиагентная LLM-симуляция как аффективная абляция: декомпозиция когнитивно-дискурсивного и мотивационного слоёв групповой регуляции методом триангуляции симуляция–человек Стр. 139-160.