Ivannikov Institute for System Programming of the RAS

What to search

Search by:

Proceedings of ISP RAS

Publications during 2005

  1. Novak L., Zamulin A. A Formal Model of XML Schema. Proceedings of XSDM, 2005.
  2. Novak L., Zamulin A. Algebraic Semantics of XML Schema. Proceedings of ADBIS, 2005.
  3. Grinev M., Pleshachkov P. Rewriting-based Optimization for XQuery Transformational Queries. 9th International Database Engineering & Application Symposium (IDEAS 2005). pp. 163-174.
  4. Pleshachkov P., Chardin P., Kuznetsov S. XDGL: XPath-Based Concurrency Control Protocol for XML Data. 22nd British National Conference on Databases (BNCOD'2005), LNCS 3567, pp. 145-154, 2005.
  5. Pleshachkov P., Chardin P., Kuznetsov S. A DataGuide-based Concurrency Control Protocol for Cooperation on XML Data. 9th East-European Conference on Advances in Databases and Information Systems (ADBIS'2005).
  6. Rekouts M. Incorporating Active Rules Processing into Update Execution in XML Database Systems. Database and Expert Systems Applications, 2005. Proceedings. Sixteenth International Workshop on, pp. 831-836.
  7. Rekouts M., Grinev M. Introducing Trigger Support for XML Database Systems. SYRCoDIS, 2005.
  8. Zakharov V.A., Zakharyaschev I.M. On the equivalence checking problem for a model of programs related with muti-tape automata. Proceedings of the 9-th International Conference on Implementation and Application of Automata (CIAA'04), July 22-24, 2004), Kingston, Ontario, Canada, Lecture Notes in Computer Science, 2005, vol. 3317, pp. 293-305.
  9. Zakharov V.A., Zakharyaschev I.M. An equivalence-checking algorithm for polysemantic models of sequential programs. Proceedings of the International Workshop on Program Understanding (14-16 July, 2003, Altai Mountains), 2005, Novosibirsk, pp. 59-70.
  10. V.V.Kuliamin, V.A.Omelchenko, O.L.Petrenko. Active Learning Facilitates Success of Formal Methods in Practice. Formal Methods: Challenges in the business world. Proc. of 2-nd SEEFM, Ohrid, Macedonia, 18-19 Nov 2005, pp.132-141, SEERC, 2005.
  11. V.Kuliamin, A.Petrenko, N.Pakoulin. Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software. Proc. of 9-th WMSCI, Orlando, USA, July 2005, v. VII. Model Based Development and Testing, pp. 65-70.
  12. V.Kuliamin, A.Petrenko, N.Pakoulin. Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Proc. of 2-nd ISAS 2005, Berlin, Germany, April 2005, pp. 60-73 M. Malek, E. Nett, N. Suri, eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.
  13. V.A. Semenov, A.A. Bazhan, S.V. Morozov & O.A. Tarlapan Efficient Verification of Product Model Data: an Approach and an Analysis. CIB-W78 22nd Conference on Information Technology in Construction, Dresden, Germany, July 19-21, 2005. Publisher: Institute for Construction Informatics, Technische Universität Dresden, 2005. Pp. 261-268.

Back to the list of publications of ISP RAS