выполненных коллективом в 1998-2008 г.г. в рамках проектов РФФИ №98-01-00160 “Численное решение больших разреженных систем булевых уравнений” (1998 – 2000 г.г.),
№01-07-90220 “Разработка инструментальной среды для создания и поддержки функционирования распределенных пакетов знаний в сети Интернет” (2001 – 2003 г.г.), №04-07-90358 “Разработка и реализация распределенной вычислительной системы решения булевых уравнений большой размерности” (2004 – 2006 г.г.),
№06-01-00340 “Разработка и исследование булевых моделей предметной области в задаче планирования при синтезе программ” (2006-2008 г.г.), а также в процессе реализации программы фундаментальных исследований Президиума РАН №21 (проект СО РАН №6 “Планирование и оптимизация схем решения задач в распределенной мультиагентной вычислительной среде”, 2004 г.).
Учреждение Российской академии наук
Институт динамики систем и теории управления Сибирского отделения РАН