1. Теория символьного моделирования произвольных объектов в человеко-машинной среде (теория s-моделирования).
Применения: s-моделирование систем управления экономической деятельностью; s-моделирование систем управления научно-образовательной деятельностью.
2. Исчисление задачных конструктивных объектов.
Применения: cистемы автоматизированного конструирования программ и сервисов s-среды.

ОСНОВНЫЕ НАУЧНЫЕ РЕЗУЛЬТАТЫ:
2009. S-модель распределённой гипермедийной системы знаний информатики.
2009. Модель нормализованной экономики (НЭк-модель).
2008. Основы теории символьного моделирования произвольных объектов в человеко-машинной среде (основы теории s-моделирования).
2004. Методология интерактивного преобразования ресурсов в системах с изменяемыми правилами поведения.
1996. Методология информатизации систем ситуационного управления.
1995. Методология разработки параллельных программ в инструментальной системе с базой знаний.
1990. Теория порождения задачных конструктивных объектов.
1973. Метод идентификации потокораспределения в электроэнергетических сетях в условиях неполной информированности.

1. Ильин В.Д., Система порождения программ, Наука, М., 1989, 264 с.
2. Ильин В.Д., Основания ситуационной информатизации, Наука, М., 1996, 180 с.
3. Vladimir D. Ilyin, “A methodology for knowledge based engineering of parallel program systems”, Proceedings of the 8th international conference on Industrial and engineering applications of artificial intelligence and expert systems (Melbourne, Australia, June 05–09, 1995), Gordon and Breach Sci. Publ., Newark, NJ, 1995, 805–809
4. Ильин В.Д., Соколов И.А., “Символьное моделирование в человеко-машинной среде: основы концепции”, Информационные технологии и вычислительные системы, 2008, № 1, 51–60
5. В. Д. Ильин, “Модель нормализованной экономики (НЭк-модель): основы концепции”, УБС, 25 (2009), 116–138  

• Институт проблем информатики РАН