(2012) S-МОДЕЛИРОВАНИЕ ЗАДАЧ И КОНСТРУИРОВАНИЕ ПРОГРАММ (2010) S-МОДЕЛИРОВАНИЕ ОБЪЕКТОВ ИНФОРМАТИЗАЦИИ (1995) АРХИТЕКТУРА ВЫЧИСЛИТЕЛЬНОГО ЯДРА КОМПЛЕКСА ПРОГРАММНЫХ СРЕДСТВ РЕСУРСНОГО ОБОСНОВАНИЯ РЕШЕНИЙ (2004) ИНТЕРАКТИВНЫЙ ПРЕОБРАЗОВАТЕЛЬ РЕСУРСОВ С ИЗМЕНЯЕМЫМИ ПРАВИЛАМИ ПОВЕДЕНИЯ (2008) ИНТЕРАКТИВНЫЙ РЕЖИМ (2008) ИНТЕРФЕЙС В ИНФОРМАТИКЕ (2007) КОНСТРУИРОВАНИЕ РАЗРЕШАЮЩИХ СТРУКТУР НА ЗАДАЧНЫХ ГРАФАХ СИСТЕМЫ ЗНАНИЙ О ПРОГРАММИРУЕМЫХ ЗАДАЧАХ (1987) МАССОВЫЕ ВЫЧИСЛЕНИЯ В ИГЕН-ПАКЕТАХ ПРИКЛАДНЫХ ПРОГРАММ (1999) МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПРОЦЕССОВ ПРЕОБРАЗОВАНИЯ РЕСУРСОВ (2009) ОСНОВЫ ТЕОРИИ S-МОДЕЛИРОВАНИЯ (2005) РАСПРЕДЕЛЕНИЕ РЕСУРСОВ ПО ОБЯЗАТЕЛЬНЫМ И ОРИЕНТИРУЮЩИМ ПРАВИЛАМ: СРАВНИТЕЛЬНАЯ ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ (2011) СИМВОЛЬНОЕ МОДЕЛИРОВАНИЕ В ИНФОРМАТИКЕ | 
