Publications during 2000

1. Zakharov V.A. On the decidability of the equivalence problem for monadic recursive programs. RAIRO - Theoretical Informatics and Applications, издательство EDP Sciences (France), 2000, v 34, № 2, pp. 157-171.
2. V.A. Semenov, P.B. Krylov, S.V. Morozov, and O.A. Tarlapan An Object-Oriented Architecture for Applications of Scientific Visualization and Mathematical Modeling. Programming and Computer Software. Volume: 26. Number: 2. Publisher: MAIK Nauka/Interperiodica, 2000. Pp. 74-83.
3. Vitaly Semenov, Sergei Morozov, Oleg Tarlapan, Thomas Jung An object-oriented architecture for integrated CAD systems. Tagungsband CAD 2000, Kommunikation, Kooperation, Koordination, Berlin, März 2000. Publisher: GI Gesellschaft für Informatik e.V., 2000. Pp. 195-217.
4. В.А. Семенов, П.Б. Крылов, С.В. Морозов, М.Г. Роминов, О.А. Тарлапан. Объектно-ориентированная методология разработки интегрированных приложений моделирования и визуализации. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 122-137.
5. Н.Н. Кузюрин, В.А. Захаров, А.Н. Холодов, Л.В. Шабанов, А.В. Шокуров. Эффективные алгоритмы и их программные реализации. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 138-148.
6. В.П. Иванников, К.В. Дышлевой, С.Г. Манжелей, Л.Б. Соловская, А.Б. Шебуняев. Распределенные объектно-ориентированные системы. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 100-121.
7. А. А. Жданов, С. В. Арсеньев, В.А. Половников. Об одной методологии автономного адаптивного управления. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 77-99.
8. Н.Н. Мансуров. Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 55-76.
9. И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко. Формальные спецификации в технологиях обратной инженерии и верификации программ. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 39-54.
10. С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 26-38.
11. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 4.
12. А.Л. Ластовецкий, А.Я. Калинов, И.Н. Ледовских, Д.М. Арапов, М.А. Посыпкин. Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 5-25.

Back to the list of publications of ISP RAS