Alexandre V. Zamulin

33 papers B 3C 7Journal 9Unranked 11
YearRankTypeTitle / Venue / Authors
2006 C conf
An XML Algebra for XQuery.
ADBIS
Leonid Novak, Alexandre V. Zamulin
2005 — conf
A Formal Model of XML Schema.
ICDE Workshops
Leonid Novak, Alexandre V. Zamulin
2005 C conf
Algebraic Semantics of XML Schema.
ADBIS
Leonid Novak, Alexandre V. Zamulin
2004 J jnl
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language.
Program. Comput. Softw.
Alexandre V. Zamulin
2004 J jnl
Fifth International Conference "Perspectives of System Informatics".
Program. Comput. Softw.
Alexandre V. Zamulin
2003 J jnl
Algebraic Semantics of an Imperative Programming Language.
Program. Comput. Softw.
Alexandre V. Zamulin
2003 J jnl
An ASM-based Formal Model of a Java Program.
Program. Comput. Softw.
Alexandre V. Zamulin
2003 J jnl
Formal Semantics of Java Expressions and Statements.
Program. Comput. Softw.
Alexandre V. Zamulin
2003 C conf
Formal Semantics of the ODMG 3.0 Object Query Language.
ADBIS
Alexandre V. Zamulin
2003 — ed.
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ershov Memorial Conference
Manfred Broy, Alexandre V. Zamulin
2002 C conf
An Object Algebra for the ODMG Standard.
ADBIS
Alexandre V. Zamulin
2002 J jnl
Information on the International Conference "Perspectives of System Informatics".
Program. Comput. Softw.
Alexandre V. Zamulin
2001 C conf
Object-Oriented Database as a Dynamic System with Implicit State.
ADBIS
S. Kazem Lellahi, Alexandre V. Zamulin
2001 — ed.
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Ershov Memorial Conference
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
2000 J jnl
Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3-6, 2001, Novosibirsk, Akademgorodok.
Program. Comput. Softw.
Alexandre V. Zamulin
2000 J jnl
Conference Report: Perspectives of Information Systems.
Program. Comput. Softw.
Alexandre V. Zamulin
2000 — conf
Generic Facilities in Object-Oriented ASMs.
Abstract State Machines
Alexandre V. Zamulin
2000 — ed.
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings
Ershov Memorial Conference
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
2000 B conf
State-Based Extensions of CASL.
IFM
Hubert Baumeister, Alexandre V. Zamulin
1999 — conf
Algebraic Imperative Specifications.
Ershov Memorial Conference
Marie-Claude Gaudel, Alexandre V. Zamulin
1999 B conf
Dynamic Systems with Implicit State.
FASE
Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin
1998 — conf
Language Independent Container Specification.
Generic Programming
Alexandre V. Zamulin
1998 — conf
Object-Oriented Abstract State Machines.
Workshop on Abstract State Machines
Alexandre V. Zamulin
1997 — conf
Algebraic Semantics of Object-Oriented Data Models.
TOOLS (24)
Alexandre V. Zamulin
1997 — conf
Algebraic specification of dynamic objects.
LMO
Alexandre V. Zamulin
1996 — conf
Algebraic Semantics of the Oberon Target Machine.
Ershov Memorial Conference
Alexandre V. Zamulin
1995 C conf
HM data Model and its Formal Definition.
ADBIS
Nick Scherbakov, Alexandre V. Zamulin
1994 C conf
From a Database Programming Language to a Database Specification Language (Invited Paper).
ADBIS
Alexandre V. Zamulin
1994 — conf
The Database Specification Language Ruslan: Main Features.
East/West Database Workshop
Alexandre V. Zamulin
1993 — conf
Algebraic Modelling of Imperative Languages with Pointers.
Formal Methods in Programming and Their Applications
Alexandre V. Zamulin
1990 — conf
The Database Programming Language Atlant: Principal Features and Implementation techniques.
East/West Database Workshop
Alexandre V. Zamulin, V. A. Kositov, Gregory Kucherov, E. V. Pak
1988 J jnl
Annotated Bibliography on Partial Evaluation and Mixed Computation.
New Gener. Comput.
Peter Sestoft, Alexandre V. Zamulin
1988 B conf
Data Base Programming Tools in the Atlant Language.
EDBT
Alexandre V. Zamulin