«Системы и средства информатики»
Москва, ИПИ РАН, 2005 г.

Специальный выпуск: «ФОРМАЛЬНЫЕ МЕТОДЫ И МОДЕЛИ В КОМПОЗИЦИОННЫХ ИНФРАСТРУКТУРАХ РАСПРЕДЕЛЁННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ»

• Калиниченко Л. А.
  Синтез канонических моделей, предназначенных для достижения семантической интероперабельности неоднородных источников информации.
• Ступников С. А.
  Формальная семантика ядра канонической объектной информационной модели.
• Ступников С. А.
  Отображение спецификаций, выраженных средствами ядра канонической модели, в язык AMN.
• Ступников С. А.
  Автоматизация верификации уточнения при композиционном проектировании информационных систем и посредников .
• Ступников С. А., Брюхов Д. О.
  Представление языков UML и ОЗД в канонической информационной модели.
• Калиниченко Л.А., Ступников С.А., Земцов Н.А.
  Каноническая модель процессов и её формальная интерпретация.
• Калиниченко Л. А., Мартынов Д. О., Ступников С. А.
  Переписывание запросов на основе взглядов в типизированной среде посредников.
• Калиниченко Л.А., Скворцов Я.А
  Реверсивное онтологическое моделирование при унифицированном представлении различных онтологических моделей источников информации в предметном посреднике.
• Bernadskiy М. P
  robabilistic model checking.
• Fomenko F.
  Basic dual-context calculus of terms with restricted substitution and recursion.
• Zadorozhny V.I., Sharma D., Chrysanthis P.K., Labrinidis A.
  Data Transmission Algebra for Collision-Aware Scheduling in Sensor Networks.