| 907 | ФОРМАЛЬНАЯ СЕМАНТИКА ЯДРА КАНОНИЧЕСКОЙ ОБЪЕКТНОЙ ИНФОРМАЦИОННОЙ МОДЕЛИ | 2005 |
| 327 | КОНСТРУИРОВАНИЕ КАНОНИЧЕСКИХ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ ДЛЯ ИНТЕГРИРОВАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ / DEVELOPMENT OF CANONICAL INFORMATION MODELS FOR INTEGRATED INFORMATION SYSTEMS | 2007 |
| 222 | АРХИТЕКТУРА ПРОМЕЖУТОЧНОГО СЛОЯ ПРЕДМЕТНЫХ ПОСРЕДНИКОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ НАД МНОЖЕСТВОМ ИНТЕГРИРУЕМЫХ НЕОДНОРОДНЫХ РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ В ГИБРИДНОЙ ГРИД-ИНФРАСТРУКТУРЕ ВИРТУАЛЬ / THE MIDDLE WARE ARCHITECTURE OF THE SUBJECTMEDIATORS FOR PROBLEMSOLVING OVER A SET OF INTEGRATED HETEROGENEOUS DISTRIBUTED INFORMATION RESOURCES IN THE HYBRID GRID-INFRASTRUCTURE OF VIRTUAL OBSERVATORIES | 2008 |
| 909 | АВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ УТОЧНЕНИЯ ПРИ КОМПОЗИЦИОННОМ ПРОЕКТИРОВАНИИ ИНФОРМАЦИОННЫХ СИСТЕМ И ПОСРЕДНИКОВ / AUTOMATION OF REFINEMENT VERIFICATION IN INFORMATION SYSTEMS COMPOSITIONAL DESIGN | 2005 |
