Летичевский А.А., Годлевский А.Б.,
Летичевский А.А. (мл,),
Потиенко СВ., Песчаненко В.С. Свойства
предикатного
трансформера системы VRS
Скобелев В.В., Скобелев В.Г. О сложности
анализа автоматов над конечным кольцом
Шахбазян К.В., Шукурян Ю.Г. Вхождения в
моноидах
треков
Захаров В.А. Проверка эквивалентности
программ с помощью двухленточных
автоматов
Елфнмова Л.Д. Быстрые гибридные алгоритмы
умножения
матриц
Чеботарев А.Н. Преобразование спецификации
автомата в язы¬ке L* в автоматно
эквивалентную спецификацию в языке L
Колчин А.В. Автоматический метод
динамического построения абстракций
состояний формальной модели
Годлевский А.Б. Предикатные
преобразователи в контексте символьного
моделирования традиционных систем 
Глнбовец Н.Н. Гороховский С.С., Стукало М.С.
Расширение языка 5са1а средствами
параллелизма и распределенности
с помощью координационной системы Linda
Герман В.Н. Решение линейных ограничений
нал полем вещественных и рациональных
чисел
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Лавришева Е.М. Формальные основы
интероперабельности
компонентов в программировании
Дорошенко А.Е., Котюк Н.В., Николаев С.С,
Цейтлин Г.Е.,
Яценко Е.А. Развитие инструментария алгебры
алгоритмики
с целью разработки параллельных программ с
использованием
эвристических средств
Львов М.С. Полиномиальные инварианты
линейных циклов.    
Летичевский А.А., Герман В.Н., Мороховец М.К.,
Щеголева Н.Н. Параллельный поиск вывода в
логическом исчисле¬нии на основе системы
алгебраического программирования