Алексюк А.О., Ицыксон В.М. Автоматизированная миграция программного кода, основанная на семантическом подходе: пилотный прототип // № 10, 2017
Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // № 15, 2019
Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // № 16, 2020
Шелехов В.И. Дедуктивная верификация и оптимизация предикатной программы конкатенации строк // № 12, 2018
Булгаков К.В., Каблуков И.В., Тумуров Э.Г., Шелехов В.И. Оптимизирующие трансформации списков и деревьев в системе предикатного программирования // № 9, 2017
Каблуков И.В., Шелехов В.И. Разработка параллельной предикатной программы решения системы линейных уравнений методом Гаусса-Жордано // № 12, 2018
Каблуков И.В., Шелехов В.И. Реализация оптимизирующих трансформаций в системе предикатного программирования // № 11, 2017
Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // № 18, 2021
Тумуров Э.Г., Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // № 16, 2020
