Alexandre V. Zamulin Papers on DiSC'04 Object-Oriented Database as a Dynamic System with Implicit State An Object Algebra for the ODMG Standard Publications Note: Links lead to the DBLP on the Web. Alexandre V. Zamulin Manfred Broy , Alexandre V. Zamulin: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers Springer 2003 Alexandre V. Zamulin: Formal Semantics of the ODMG 3.0 Object Query Language. ADBIS 2003 : 293-307 Alexandre V. Zamulin: An Object Algebra for the ODMG Standard. ADBIS 2002 : 291-304 Dines Bjørner , Manfred Broy , Alexandre V. Zamulin: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Springer 2001 S. Kazem Lellahi , Alexandre V. Zamulin: Object-Oriented Database as a Dynamic System with Implicit State. ADBIS 2001 : 239-252 Dines Bjørner , Manfred Broy , Alexandre V. Zamulin: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings Springer 2000 Alexandre V. Zamulin: Generic Facilities in Object-Oriented ASMs. Abstract State Machines 2000 : 91-111 Hubert Baumeister , Alexandre V. Zamulin: State-Based Extensions of CASL. IFM 2000 : 3-24 Marie-Claude Gaudel , Alexandre V. Zamulin: Algebraic Imperative Specifications. Ershov Memorial Conference 1999 : 17-39 Marie-Claude Gaudel , Carole Khoury , Alexandre V. Zamulin: Dynamic Systems with Implicit State. FASE 1999 : 114-128 Alexandre V. Zamulin: Language Independent Container Specification. Generic Programming 1998 : 192-205 Alexandre V. Zamulin: Object-Oriented Abstract State Machines. Workshop on Abstract State Machines 1998 : 1-21 Alexandre V. Zamulin: Algebraic Semantics of the Oberon Target Machine. Ershov Memorial Conference 1996 : 41-54 Nick Scherbakov , Alexandre V. Zamulin: HM data Model and its Formal Definition. ADBIS 1995 : 369-390 Alexandre V. Zamulin: From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994 : 122-131 Alexandre V. Zamulin: The Database Specification Language Ruslan: Main Features. East/West Database Workshop 1994 : 315-327 Alexandre V. Zamulin: Algebraic Modelling of Imperative Languages with Pointers. Formal Methods in Programming and Their Applications 1993 : 81-97 Alexandre V. Zamulin, V. A. Kositov , Gregory Kucherov , E. V. Pak : The Database Programming Language Atlant: Principal Features and Implementation techniques. East/West Database Workshop 1990 : 385-402 Alexandre V. Zamulin: Data Base Programming Tools in the Atlant Language. EDBT 1988 : 563-566 Peter Sestoft , Alexandre V. Zamulin: Annotated Bibliography on Partial Evaluation and Mixed Computation. New Generation Comput. 6 (2&3): 309-354 (1988) 1 [ 13 ] 2 [ 15 ] [ 17 ] 3 [ 15 ] [ 17 ] [ 20 ] 4 [ 11 ] [ 12 ] 5 [ 11 ] 6 [ 3 ] 7 [ 3 ] 8 [ 16 ] 9 [ 3 ] 10 [ 7 ] 11 [ 1 ] ©2004 Association for Computing Machinery