- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 31 |      | Leonid Novak, Alexandre V. Zamulin: An XML Algebra for XQuery. ADBIS 2006: 4-21 |
| 2005 | ||
| 30 | | Leonid Novak, Alexandre V. Zamulin: Algebraic Semantics of XML Schema. ADBIS 2005: 209-222 |
| 29 | | Leonid Novak, Alexandre V. Zamulin: A Formal Model of XML Schema. ICDE Workshops 2005: 1283 |
| 2004 | ||
| 28 | | Alexandre V. Zamulin: Fifth International Conference "Perspectives of System Informatics". Programming and Computer Software 30(1): 52-56 (2004) |
| 27 | | Alexandre V. Zamulin: An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. Programming and Computer Software 30(5): 295-302 (2004) |
| 2003 | ||
| 26 |  | 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 |
| 25 | | Alexandre V. Zamulin: Formal Semantics of the ODMG 3.0 Object Query Language. ADBIS 2003: 293-307 |
| 24 | | Alexandre V. Zamulin: An ASM-based Formal Model of a Java Program. Programming and Computer Software 29(3): 130-139 (2003) |
| 23 | | Alexandre V. Zamulin: Formal Semantics of Java Expressions and Statements. Programming and Computer Software 29(5): 259-270 (2003) |
| 22 | | Alexandre V. Zamulin: Algebraic Semantics of an Imperative Programming Language. Programming and Computer Software 29(6): 328-337 (2003) |
| 2002 | ||
| 21 | | Alexandre V. Zamulin: An Object Algebra for the ODMG Standard. ADBIS 2002: 291-304 |
| 20 | | Alexandre V. Zamulin: Information on the International Conference "Perspectives of System Informatics". Programming and Computer Software 28(1): 53-56 (2002) |
| 2001 | ||
| 19 | | 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 |
| 18 | | S. Kazem Lellahi, Alexandre V. Zamulin: Object-Oriented Database as a Dynamic System with Implicit State. ADBIS 2001: 239-252 |
| 2000 | ||
| 17 | | 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 |
| 16 | | Alexandre V. Zamulin: Generic Facilities in Object-Oriented ASMs. Abstract State Machines 2000: 91-111 |
| 15 | | Hubert Baumeister, Alexandre V. Zamulin: State-Based Extensions of CASL. IFM 2000: 3-24 |
| 1999 | ||
| 14 | | Marie-Claude Gaudel, Alexandre V. Zamulin: Algebraic Imperative Specifications. Ershov Memorial Conference 1999: 17-39 |
| 13 | | Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin: Dynamic Systems with Implicit State. FASE 1999: 114-128 |
| 1998 | ||
| 12 | | Alexandre V. Zamulin: Language Independent Container Specification. Generic Programming 1998: 192-205 |
| 11 | | Alexandre V. Zamulin: Object-Oriented Abstract State Machines. Workshop on Abstract State Machines 1998: 1-21 |
| 1997 | ||
| 10 | | Alexandre V. Zamulin: Algebraic specification of dynamic objects. LMO 1997: 111-127 |
| 9 | | Alexandre V. Zamulin: Algebraic Semantics of Object-Oriented Data Models. TOOLS (24) 1997: 43-52 |
| 1996 | ||
| 8 | | Alexandre V. Zamulin: Algebraic Semantics of the Oberon Target Machine. Ershov Memorial Conference 1996: 41-54 |
| 1995 | ||
| 7 | | Nick Scherbakov, Alexandre V. Zamulin: HM data Model and its Formal Definition. ADBIS 1995: 369-390 |
| 1994 | ||
| 6 | | Alexandre V. Zamulin: From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994: 122-131 |
| 5 | | Alexandre V. Zamulin: The Database Specification Language Ruslan: Main Features. East/West Database Workshop 1994: 315-327 |
| 1993 | ||
| 4 | | Alexandre V. Zamulin: Algebraic Modelling of Imperative Languages with Pointers. Formal Methods in Programming and Their Applications 1993: 81-97 |
| 1990 | ||
| 3 | | 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 |
| 1988 | ||
| 2 | | Alexandre V. Zamulin: Data Base Programming Tools in the Atlant Language. EDBT 1988: 563-566 |
| 1 | | Peter Sestoft, Alexandre V. Zamulin: Annotated Bibliography on Partial Evaluation and Mixed Computation. New Generation Comput. 6(2&3): 309-354 (1988) |
| 1 | Hubert Baumeister | [15] |
| 2 | Dines Bjørner | [17] [19] |
| 3 | Manfred Broy | [17] [19] [26] |
| 4 | Marie-Claude Gaudel | [13] [14] |
| 5 | Carole Khoury | [13] |
| 6 | V. A. Kositov | [3] |
| 7 | Gregory Kucherov | [3] |
| 8 | S. Kazem Lellahi | [18] |
| 9 | Leonid Novak (L. G. Novak) | [29] [30] [31] |
| 10 | E. V. Pak | [3] |
| 11 | Nick Scerbakov (Nick Scherbakov) | [7] |
| 12 | Peter Sestoft | [1] |
Colors in the list of coauthors
Last update Sat May 26 02:31:23 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page