Data Base Programming Tools in the Atlant Language. - Alexandre V. Zamulin (EDBT, 1988)

Annotated Bibliography on Partial Evaluation and Mixed Computation. - Peter Sestoft; Alexandre V. Zamulin (New Gener. Comput., 1988)

The Database Programming Language Atlant: Principal Features and Implementation techniques. - Alexandre V. Zamulin; V. A. Kositov; Gregory Kucherov; E. V. Pak (East/West Database Workshop, 1990)

Algebraic Modelling of Imperative Languages with Pointers. - Alexandre V. Zamulin (Formal Methods in Programming and Their Applications, 1993)

From a Database Programming Language to a Database Specification Language (Invited Paper). - Alexandre V. Zamulin (ADBIS, 1994)

The Database Specification Language Ruslan: Main Features. - Alexandre V. Zamulin (East/West Database Workshop, 1994)

HM data Model and its Formal Definition. - Nick Scherbakov; Alexandre V. Zamulin (ADBIS, 1995)

Algebraic Semantics of the Oberon Target Machine. - Alexandre V. Zamulin (Ershov Memorial Conference, 1996)

Algebraic specification of dynamic objects. - Alexandre V. Zamulin (LMO, 1997)

Algebraic Semantics of Object-Oriented Data Models. - Alexandre V. Zamulin (TOOLS (24), 1997)

Object-Oriented Abstract State Machines. - Alexandre V. Zamulin (Workshop on Abstract State Machines, 1998)

Language Independent Container Specification. - Alexandre V. Zamulin (Generic Programming, 1998)

Algebraic Imperative Specifications. - Marie-Claude Gaudel; Alexandre V. Zamulin (Ershov Memorial Conference, 1999)

Dynamic Systems with Implicit State. - Marie-Claude Gaudel; Carole Khoury; Alexandre V. Zamulin (FASE, 1999)

Generic Facilities in Object-Oriented ASMs. - Alexandre V. Zamulin (Abstract State Machines, 2000)

State-Based Extensions of CASL. - Hubert Baumeister; Alexandre V. Zamulin (IFM, 2000)

Conference Report: Perspectives of Information Systems. - Alexandre V. Zamulin (Program. Comput. Softw., 2000)

Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3-6, 2001, Novosibirsk, Akademgorodok. - Alexandre V. Zamulin (Program. Comput. Softw., 2000)

Object-Oriented Database as a Dynamic System with Implicit State. - S. Kazem Lellahi; Alexandre V. Zamulin (ADBIS, 2001)

An Object Algebra for the ODMG Standard. - Alexandre V. Zamulin (ADBIS, 2002)

Information on the International Conference "Perspectives of System Informatics". - Alexandre V. Zamulin (Program. Comput. Softw., 2002)

Formal Semantics of the ODMG 3.0 Object Query Language. - Alexandre V. Zamulin (ADBIS, 2003)

An ASM-based Formal Model of a Java Program. - Alexandre V. Zamulin (Program. Comput. Softw., 2003)

Formal Semantics of Java Expressions and Statements. - Alexandre V. Zamulin (Program. Comput. Softw., 2003)

Algebraic Semantics of an Imperative Programming Language. - Alexandre V. Zamulin (Program. Comput. Softw., 2003)

Fifth International Conference "Perspectives of System Informatics". - Alexandre V. Zamulin (Program. Comput. Softw., 2004)

An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. - Alexandre V. Zamulin (Program. Comput. Softw., 2004)

Algebraic Semantics of XML Schema. - Leonid Novak; Alexandre V. Zamulin (ADBIS, 2005)

A Formal Model of XML Schema. - Leonid Novak; Alexandre V. Zamulin (ICDE Workshops, 2005)

An XML Algebra for XQuery. - Leonid Novak; Alexandre V. Zamulin (ADBIS, 2006)