Skvortsov N.A. Using of an interactive proving system for ontology mapping. Proc. of the Eighth Russian Conference on Digital Libraries RCDL'2006, Suzdal. -- Yaroslavl: P. G. Demidov Yaroslavl State University, 2006. -- P. 65--69. (In Russian)
Skvortsov N.A. Object specification relevance detection by semantics of ontological level. Proc. of the Eighth Russian Conference on Digital Libraries RCDL'2006, Suzdal. -- Yaroslavl: P. G. Demidov Yaroslavl State University, 2006. -- P. 70--74. (In Russian)
Malinovsky I.A. Information Sources Search Using Metadata at Subject Mediator. Proc. of the Eighth Russian Conference on Digital Libraries RCDL'2006, Suzdal. -- Yaroslavl: P. G. Demidov Yaroslavl State University, 2006. -- P. 82--87. (In Russian)
Stupnikov S.A., Kalinichenko L.A., Bressan S. Interactive discovery and composition of complex Web services. Advances in Databases and Information Systems: Proc. of the 10th East European Conference. LNCS 4152. -- Berlin-Heidelberg: Springer-Verlag, 2006. -- P. 216--231.
Kalinichenko L.A. Subject Mediation Approach for Scientific Problem Solving in Virtual Observatories. International Astronomical Union XXVIth General Assembly: Abstract Book. -- Paris: International Astronomical Union, 2006. -- P. 454--455.
Briukhov D.O., Kalinichenko L.A., Zakharov V.N. Diversity of domain descriptions in natural science: virtual observatory as a case study. Proc. of the Seventh Russian Conference on Digital Libraries RCDL'2005. -- Yaroslavl: P. G. Demidov Yaroslavl State University, 2005. -- P. 23--30.
Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A. Extensible Canonical Process Model Synthesis Applying Formal Interpretation. Advances in Databases and Information Systems: Proc. of the 9th East European Conference. LNCS 3631. -- Berlin-Heidelberg: Springer-Verlag, 2005. -- P. 183--198.
Kalinichenko L.A. Methodology of Problem Solving over Multiple Distributed Heterogeneous Information Resources. Modern Technologies and IT Education: Proc. of the International Conference. -- Moscow: Moscow State University, 2005. -- P. 20--37. (In Russian)
Kalinichenko L.A. Synthesis of canonical models providing for heterogeneous information sources interoperability. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 11--39. (In Russian)
Stupnikov S.A. Automation of refinement verification in information systems compositional design. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 96--119. (In Russian)
Stupnikov S.A. Mapping of canonical model core specifications in Abstract Machine Notation. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 69--95. (In Russian)
Stupnikov S.A. Formal semantics of canonical information object model core. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 40--68. (In Russian)
Kalinichenko L.A., Skvortsov N.A. Reversive ontological modeling for subject mediator. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 183--211. (In Russian)
Kalinichenko L. A., Martynov D.O., Stupnikov S.A. Query rewriting using views in a typed mediator environment. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 152--182. (In Russian)
Stupnikov S.A., Briukhov D.O. UML and OCL representation in canonical information model. Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 120--129. (In Russian)
Stupnikov S.A., Kalinichenko L.A. Formal Semantics of the Canonical Information Model in Compositional Infrastructure of Distributed Information Systems. The Problems and Means of Informatics: Theses of the II Scientific Session of IPI RAN. -- Moscow: IPI RAN, 2005. -- P. 151--153. (In Russian)
