Крайнева И.А., Шилов В.В. SoRuCom-23 – VI Международная конференция по истории информатики // № 24, 2024
Мохагеги М.., Хадеми А.. Интервальная итерация на основе политики для вероятностной проверки модели // № 25, 2024
Шилов Н.В. О необходимости онтологии для классификации и навигации по универсуму компьютерных языков // № 13, 2018
Андрианов П.С., Мутилин В.С. Проверка корректности модели памяти методами статического анализа // № 22, 2023
Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // № 17, 2020
Крайнева И.А., Меристе М.., Сэнборн К.. Энн Тыугу: депортированный эстонец и советский академик // № 21, 2022
