| 2006 |
|---|
| 31 | EE | Leonid Novak,
Alexandre V. Zamulin:
An XML Algebra for XQuery.
ADBIS 2006: 4-21 |
| 2005 |
|---|
| 30 | EE | Leonid Novak,
Alexandre V. Zamulin:
Algebraic Semantics of XML Schema.
ADBIS 2005: 209-222 |
| 29 | EE | Leonid Novak,
Alexandre V. Zamulin:
A Formal Model of XML Schema.
ICDE Workshops 2005: 1283 |
| 2004 |
|---|
| 28 | EE | Alexandre V. Zamulin:
Fifth International Conference "Perspectives of System Informatics".
Programming and Computer Software 30(1): 52-56 (2004) |
| 27 | EE | 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 | EE | Alexandre V. Zamulin:
Formal Semantics of the ODMG 3.0 Object Query Language.
ADBIS 2003: 293-307 |
| 24 | EE | Alexandre V. Zamulin:
An ASM-based Formal Model of a Java Program.
Programming and Computer Software 29(3): 130-139 (2003) |
| 23 | EE | Alexandre V. Zamulin:
Formal Semantics of Java Expressions and Statements.
Programming and Computer Software 29(5): 259-270 (2003) |
| 22 | EE | Alexandre V. Zamulin:
Algebraic Semantics of an Imperative Programming Language.
Programming and Computer Software 29(6): 328-337 (2003) |
| 2002 |
|---|
| 21 | EE | Alexandre V. Zamulin:
An Object Algebra for the ODMG Standard.
ADBIS 2002: 291-304 |
| 20 | EE | 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 | EE | 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 | EE | Alexandre V. Zamulin:
Generic Facilities in Object-Oriented ASMs.
Abstract State Machines 2000: 91-111 |
| 15 | EE | Hubert Baumeister,
Alexandre V. Zamulin:
State-Based Extensions of CASL.
IFM 2000: 3-24 |
| 1999 |
|---|
| 14 | EE | 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 | EE | 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 | EE | 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 | EE | Nick Scherbakov,
Alexandre V. Zamulin:
HM data Model and its Formal Definition.
ADBIS 1995: 369-390 |
| 1994 |
|---|
| 6 | EE | 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 | EE | 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) |
