Alexandre V. Zamulin

Publication Activity (10 Years)

Years Active: 1988-2006
Publications (10 Years): 0

Publications

Leonid Novak, Alexandre V. Zamulin
An XML Algebra for XQuery. ADBIS (2006)
Leonid Novak, Alexandre V. Zamulin
Algebraic Semantics of XML Schema. ADBIS (2005)
Leonid Novak, Alexandre V. Zamulin
A Formal Model of XML Schema. ICDE Workshops (2005)
Alexandre V. Zamulin
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. Program. Comput. Softw. 30 (5) (2004)
Alexandre V. Zamulin
Fifth International Conference "Perspectives of System Informatics". Program. Comput. Softw. 30 (1) (2004)
Alexandre V. Zamulin
Formal Semantics of the ODMG 3.0 Object Query Language. ADBIS (2003)
Alexandre V. Zamulin
Algebraic Semantics of an Imperative Programming Language. Program. Comput. Softw. 29 (6) (2003)
Alexandre V. Zamulin
An ASM-based Formal Model of a Java Program. Program. Comput. Softw. 29 (3) (2003)
Alexandre V. Zamulin
Formal Semantics of Java Expressions and Statements. Program. Comput. Softw. 29 (5) (2003)
Alexandre V. Zamulin
An Object Algebra for the ODMG Standard. ADBIS (2002)
Alexandre V. Zamulin
Information on the International Conference "Perspectives of System Informatics". Program. Comput. Softw. 28 (1) (2002)
S. Kazem Lellahi, Alexandre V. Zamulin
Object-Oriented Database as a Dynamic System with Implicit State. ADBIS (2001)
Alexandre V. Zamulin
Generic Facilities in Object-Oriented ASMs. Abstract State Machines (2000)
Hubert Baumeister, Alexandre V. Zamulin
State-Based Extensions of CASL. IFM (2000)
Alexandre V. Zamulin
Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3-6, 2001, Novosibirsk, Akademgorodok. Program. Comput. Softw. 26 (5) (2000)
Alexandre V. Zamulin
Conference Report: Perspectives of Information Systems. Program. Comput. Softw. 26 (5) (2000)
Marie-Claude Gaudel, Alexandre V. Zamulin
Algebraic Imperative Specifications. Ershov Memorial Conference (1999)
Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin
Dynamic Systems with Implicit State. FASE (1999)
Alexandre V. Zamulin
Language Independent Container Specification. Generic Programming (1998)
Alexandre V. Zamulin
Object-Oriented Abstract State Machines. Workshop on Abstract State Machines (1998)
Alexandre V. Zamulin
Algebraic specification of dynamic objects. LMO (1997)
Alexandre V. Zamulin
Algebraic Semantics of Object-Oriented Data Models. TOOLS (24) (1997)
Alexandre V. Zamulin
Algebraic Semantics of the Oberon Target Machine. Ershov Memorial Conference (1996)
Nick Scherbakov, Alexandre V. Zamulin
HM data Model and its Formal Definition. ADBIS (1995)
Alexandre V. Zamulin
From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS (1994)
Alexandre V. Zamulin
The Database Specification Language Ruslan: Main Features. East/West Database Workshop (1994)
Alexandre V. Zamulin
Algebraic Modelling of Imperative Languages with Pointers. Formal Methods in Programming and Their Applications (1993)
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)
Peter Sestoft, Alexandre V. Zamulin
Annotated Bibliography on Partial Evaluation and Mixed Computation. New Gener. Comput. 6 (2&3) (1988)
Alexandre V. Zamulin
Data Base Programming Tools in the Atlant Language. EDBT (1988)