- Гринёв М., Кузнецов С. К исчерпывающему множеству правил перезаписи для оптимизации XQuery: опыт BizQuery. 6th East-European Conference on Advances in Databases and Information Systems (ADBIS) LNCS 2435, 2002, p. 340-345.
- Гринёв М., Кузнецов С. UQL: Язык запросов к интегрированным данным в терминах UML. Программирование, N6, 2002, стр. 9-19.
- Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, В.З. Шнитман Механизмы перехода с IPv4 на IPv6. Использование методов трансляции протоколов и адресов для обеспечения совместимости IPv4 и IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 23-28.
- И. Агамирзян, С.Г. Грошев, А.В. Хорошилов, Г.В. Ключников, А.С. Косачев, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман Применение формальных методов для тестирования MSR IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 29-33.
- Шнитман В.З. Основные концепции и особенности семейства протоколов IPv6. Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 34-36.
- Захаров В.А., Костылев Е.В. Быстрые алгоритмы антиунификации и их применение при анализе программ. Материалы XIII Международной школы-семинара «Синтез и сложность управляющих систем", 2002, Пенза, с. 76-81.
- I.Bourdonov, A.Kossatchev, V.Kuliamin, and A.Petrenko. UniTesK Test Suite Architecture. Proc. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.
- Семенов В.А., Морозов С.В., Тарлапан О.А., Николаенко М.Н. CASE технология для построения корпоративных систем в промышленности на основе стандартов STEP. Сборник докладов IV международной научно-практической конференции "Компьютерные технологии сопровождения и поддержки наукоемкой продукции на всех этапах жизненного цикла", г. Королев, 28-29 ноября 2002 г. Издательство: НИЦ CALS-технологий «Прикладная логистика», 2002. Стр. 96-99.
- В.П. Иванников. Предисловие.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 3-5.
- А.В. Чернов. Анализ запутывающих преобразований программ.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 7-38.
- А.И. Аветисян, Д. А. Грушин, А.Г. Рыжов. Системы управления кластерами.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 39-62.
- П.Н. Яковенко. Средства анализа параллельных SPMD программ.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 63-85.
- О.И. Самоваров, И.В. Арапов, В.В. Бабкова. Объектная модель JSCALA.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 87-102.
- В.Н. Юдин. Система информационной поддержки врачебных решений, основанная на модифицированном методе динамического кластерного анализа.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 103-119.
- А.А. Жданов, М.В. Караваев. Применение нечеткой логики в имитационной системе автономного адаптивного управления.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 121-137.
- В.В. Рубанов. Способы отображения объектов в реляционных базах данных.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 139-164.
- В.В. Рубанов, М.А. Миткевич, Д.А. Марковцев, А.И. Гриневич. Ядро объектно-реляционной системы ODESTOR.
Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 165-179.
Вернуться к списку всех публикаций