Monographs
- Kulyamin, V.V. Programming technology. The component approach. Internet University of Information Technologies - BINOM. Knowledge Laboratory, 2007.
Other publications
- Christiansen H., Rekouts M. Integrity Checking and Maintenance with Active Rules in XML Databases. In Proc. of BNCODwebim, BNCOD Workshop on Web Information management, Glasgow, UK, 2-3 July, 2007.
- Grineva M.P., Grinev M.N. Query triggers for XML DBMS: Efficient implementation based on shadow mechanism. Programming and Computer Software, Volume 33, Number 4, July, 2007.
- Pleshachkov P., Kuznetcov S. SXDGL: Snapshot Based Concurrency Control Protocol for XML Data. VLDB Symposium XSym 2007.
- Turdakov D. Recommender system based on user-generated content. SYRCoDIS, 2007.
- Pastukhov R. A Method for Evaluating Full-text Search Queries in Native XML Databases. SYRCoDIS, 2007.
- Konnov I.V., Zakharov V.A. An invariant-based approach to the verification of asynchronous parameterized networks. Proceedings of the 1-st International Workshop on Invariant Generation, June 25-26, 2007, Hagenberg, Austria, 2007, Hagenberg, Austria, pp. 41-55.
- Kuzurin N.N., Shokurov A.V., Varnovskij N.P., Zakharov V.A. On the concept of software obfuscation in computer security. Proceedings of the 7-th Information Security Conference (ISC'07), Valparaiso, Chile, серия Lecture Notes in Computer Science, 2007, vol. 4779, pp. 281-298.
- S.Zelenov, S.Zelenova. Model-Based Testing of Optimizing Compilers. Proc. of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007), LNCS 4581, Springer-Verlag, Berlin, 2007, 365-377.
- Vitaly Semenov Collaborative Software Engineering Using Metamodel-Driven Approach Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007). Publisher: IEEE Computer Society Conference Publishing Services, 2007. Pp. 178-179.
- Vitaly Semenov Semantics-based Reconciliation of Divergent Replicas in Advanced Concurrent Engineering Environments. Complex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability. Publisher: Springer-Verlag, 2007. Pp. 557-564.
- M.D. Kalugin Development of a parallel algorithm for numerical simulation of a thermal motion of water molecules done in ParJava environment. IV Russian-German School on Parallel Programming using High Performance Computation Systems, July 9-20, 2007.
- С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности.
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 7-16.
- Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу.
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 17-26.
- Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование.
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 27-36.
- I.V. Konnov, V.A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking.
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 37-58.
- P.E. Bulychev, I.V. Konnov, V.A. Zakharov. Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures.
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 59-76.
- N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 77-94.
- И.А. Лавров. Сложность вычислений на абстрактных машинах.
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 95-122.
- В.П. Иванников. Предисловие.
Proceedings of the Institute for System Programming. Volume 12 (in Russian), 2007 . Стр. 5-6.
- Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 143-170.
- А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 123-142.
- В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 103-122.
- К. А. Власов, А. С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 93-102.
- Д.Ю. Кичигин. Об одном методе сокращения набора тестов.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 79-92.
- В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 65-78.
- С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 47-64.
- Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 31-46.
- Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 7-30.
- В.П. Иванников. Предисловие.
Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 3-4.
- В.В. Рубанов, К.А. Власов. Разработка ОС реального времени для цифрового сигнального процессора.
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 165-178.
- В.А. Семенов, С.Г. Ерошкин, А.А. Караулов, И.В. Энкович. Семантическая реконсиляция прикладных данных на основе моделей.
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 141-164.
- С.Д. Кузнецов. Объектно-реляционные базы данных: прошедший этап или недооцененные возможности?
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 115-140.
- Б.Б. Костенко, С.Д. Кузнецов. История и актуальные проблемы темпоральных баз данных.
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 77-114.
- Г.Т. Маракаева. Система классификации химических проб.
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 59-76.
- Л.Е. Карпов, В.Н. Юдин. Адаптивное управление по прецедентам, основанное на классификации состояний управляемых объектов.
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 37-58.
- Е.Д. Волкова, А.Д. Страбыкин. Методы композиции и декомпозиции исполняемых UML моделей.
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 7-36.
- В.П. Иванников. Предисловие.
Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 5-6
Back to the list of publications of ISP RAS