Опарин Г.А.

Инструментальные средства автоматизации параллельного решения булевых уравнений… Инструментальный комплекс ORLANDO TOOLS Метод булевых ограничений в качественном анализе Метод булевых ограничений в качественном анализе двоичных динамических систем Методы и средства синтеза линейной обратной связи в двоичных динамических систе… Параллельное решение задачи о статическом регуляторе для двоичных динамических … Разработка и применение распределенных пакетов прикладных программ Сервис-ориентированная технология создания и применения децентрализованных муль… Сервис-ориентированные средства распределенного решения декомпозируемых вычисли… Cервис-ориентированный подход к организации распределенных вычислений с помощью… Интеллектуализация децентрализованного управления распределенными вычислениями РЕБУС - интеллектуальный решатель комбинаторных задач в булевых ограничениях