A.V.Zamulin. Dynamic System Modeling by Typed Gurevich Machines.
И.С.Ануреев. Системы переписывания формул и их применение в автоматической верификации программ.
И.А.Минаков. Разработка системы универсальных символьных преобразований на основе правил переписывания.
А.В.Рязанов. Комбинирование дедуктивных процедур и управление поиском в системе БУЦЕФАЛ.
Е.В.Бодин. Анимация выполнимых спецификаций языка REAL.
Н.В.Шилов, В.Е.Козюра. Проблемно-ориентированная верификация спецификаций распределенных систем.
E.E.Рубцова, Н.С.Сидорова, В.A.Соколов. Symbolic Reachability Analysis of DataFlow Programs with Data Structures.
Н.С.Сидорова, В.A.Соколов, Н.Ю.Юстинова. Behavioural Equivalences on Communication Free Petri Nets.
И.В.Тарасюк. Equivalences for analysis of concurrent systems modelled by Petri nets with silent transitions.
А.П.Устименко. Причинно-следственные структуры с цветными фишками.
И.С.Абдрахимов, А.М.Манцивода. Сигма-программирование и теория равенства Кларка.
А.М.Манцивода. Non-Monotonic Reasoning in Logic Programming.
M.Rigg, Т.М.Yakhno, Е.S.Petrov. New Facilities of Constraint Logic Programming.
В.В.Телерман, Д.М.Ушаков, С.В.Липский, В.А.Сидоров. Merging Constraint Programming Paradigm with Database Processing.
И.Е.Швецов, Т.В.Нестеренко, С.В.Прейс, С.А.Старовит. Разработка распределенных динамических систем с помощью технологии активных объектов.
К.Г.Чернойван. Эффективное выполнение нескольких декларативных продукций.
И.Л.Артемьева, В.В.Суров. Разработка ядра экспертной системы с использованием пакета прикладных программ.
Т.Л.Гаврилова, С.А.Джура, А.С.Клещев. Построение логических моделей предметных областей.
М.А.Князева, О.А.Купневич. Обработка знаний в инструментальной моделирующей экспертной системе оптимизации программ И\_МЭСОП.
И.Л.Артемьева, О.С.Яценко. Аналоги циклов в системах декларативных продукций с обобщенными операциями.
S.Gulsecen, H.Gulsecen. How AI Helps Astronomers.
Ю.А.Загорулько, И.Г.Попов. Интеграция методов программирования в ограничениях с технологией баз данных.
С.Б.Патрушев. Использование нечетких моделей в процессе обучения нейросети.
М.Ф.Степанов, Т.В.Степанова. Лингвистическое обеспечение автоматизации решения задач в интеллектуальных системах синтеза закона управления.
А.Н.Флоренсов. О построении семантического пространства для баз знаний.
А.С.Родионов. Учет особенностей групповых событий при разработке систем дискретного имитационного моделирования.
И.В.Поттосин. Об организованности потока данных в программах.
С.В.Куксенко, В.И.Шелехов. Статический анализатор семантических ошибок периода исполнения.
С.Н.Бойцов, В.Б.Новосельцев. Иерархическая маршрутизация в распределенных системах.
Ю.Б.Нам, В.Б.Новосельцев. Формализм для представления и анализа сложных информационных комплексов.
В.Д.Гусев, Л.А.Немытикова. Использование конечных автоматов для ускорения поиска в текстовых базах данных.
С.Б.Покровский, Г.Г.Степанов. Гипертекстовая среда разработки программ и документов.
В.Н.Касьянов, В.А.Евстигнеев, Ю.В.Малинина, Ю.В.Бирюкова, В.А.Маркин, Э.В.Харитонов, С.Г.Цикоза. Средства поддержки супервычислений.
В.Н.Касьянов, И.А.Лисицын. Вопросы инструментальной поддержки визуальной обработки иерархических графовых моделей.
М.А.Сонькин, И.А.Ботыгин. Математические методы и аппаратно-программные средства построения многоуровневых систем передачи информации.
А.В.Борщов, К.П.Большаков, Ю.Г.Карпов, Д.И.Кудрявцев, В.В.Рудаков, А.Э.Филиппов. Технология и инструментарий создания распределенных систем реального времени.
С.К.Черноножкин. Методы оценки тестированности программ.
В.В.Губарев, К.М.Раздобреев. Компьютерная технология предпроектного анализа систем организационно-экономического управления.
В.Л.Катков. Автоматическое дифференцирование в прикладных программах.
Н.Г.Марков, Е.А.Мирошниченко, А.В.Сарайкин. Технология проектирования распределенных приложений с использованием PS-сетей.
А.И.Легалов, А.В.Парунов. Динамическая архитектура информационной автоматизированной системы.