Alexandre V. Zamulin

According to our database, Alexandre V. Zamulin authored at least 30 papers between 1988 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

An XML Algebra for XQuery.

Leonid Novak, Alexandre V. Zamulin

Proceedings of the Advances in Databases and Information Systems, 2006

2005

A Formal Model of XML Schema.

Leonid Novak, Alexandre V. Zamulin

Proceedings of the 21st International Conference on Data Engineering Workshops, 2005

Algebraic Semantics of XML Schema.

Leonid Novak, Alexandre V. Zamulin

Proceedings of the Advances in Databases and Information Systems, 2005

2004

An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language.

Alexandre V. Zamulin

Program. Comput. Softw., 2004

Fifth International Conference "Perspectives of System Informatics".

Alexandre V. Zamulin

Program. Comput. Softw., 2004

2003

Algebraic Semantics of an Imperative Programming Language.

Alexandre V. Zamulin

Program. Comput. Softw., 2003

Formal Semantics of Java Expressions and Statements.

Alexandre V. Zamulin

Program. Comput. Softw., 2003

An ASM-based Formal Model of a Java Program.

Alexandre V. Zamulin

Program. Comput. Softw., 2003

Formal Semantics of the ODMG 3.0 Object Query Language.

Alexandre V. Zamulin

Proceedings of the Advances in Databases and Information Systems, 2003

2002

Information on the International Conference "Perspectives of System Informatics".

Alexandre V. Zamulin

Program. Comput. Softw., 2002

An Object Algebra for the ODMG Standard.

Alexandre V. Zamulin

Proceedings of the Advances in Databases and Information Systems, 2002

2001

Object-Oriented Database as a Dynamic System with Implicit State.

S. Kazem Lellahi, Alexandre V. Zamulin

Proceedings of the Advances in Databases and Information Systems, 2001

2000

Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3-6, 2001, Novosibirsk, Akademgorodok.

Alexandre V. Zamulin

Program. Comput. Softw., 2000

Conference Report: Perspectives of Information Systems.

Alexandre V. Zamulin

Program. Comput. Softw., 2000

State-Based Extensions of CASL.

Hubert Baumeister, Alexandre V. Zamulin

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Generic Facilities in Object-Oriented ASMs.

Alexandre V. Zamulin

Proceedings of the Abstract State Machines, 2000

1999

Dynamic Systems with Implicit State.

Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin

Proceedings of the Fundamental Approaches to Software Engineering, 1999

Algebraic Imperative Specifications.

Marie-Claude Gaudel, Alexandre V. Zamulin

Proceedings of the Perspectives of System Informatics, 1999

1998

Language Independent Container Specification.

Alexandre V. Zamulin

Proceedings of the Generic Programming, 1998

Object-Oriented Abstract State Machines.

Alexandre V. Zamulin

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997

Algebraic Semantics of Object-Oriented Data Models.

Alexandre V. Zamulin

Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Algebraic specification of dynamic objects.

Alexandre V. Zamulin

Proceedings of the Actes des journées Langages et Modèles à Objets, 1997

1996

Algebraic Semantics of the Oberon Target Machine.

Alexandre V. Zamulin

Proceedings of the Perspectives of System Informatics, 1996

1995

HM data Model and its Formal Definition.

Nick Scherbakov, Alexandre V. Zamulin

Proceedings of the Advances in Databases and Information Systems, 1995

1994

The Database Specification Language Ruslan: Main Features.

Alexandre V. Zamulin

Proceedings of the East/West Database Workshop, 1994

From a Database Programming Language to a Database Specification Language (Invited Paper).

Alexandre V. Zamulin

Proceedings of the First International Workshop on Advances in Databases and Information Systems, Moscow, Russia, May 23, 1994

1993

Algebraic Modelling of Imperative Languages with Pointers.

Alexandre V. Zamulin

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1990

The Database Programming Language Atlant: Principal Features and Implementation techniques.

Alexandre V. Zamulin, V. A. Kositov, Gregory Kucherov, E. V. Pak

Proceedings of the Next Generation Information System Technology, 1990

1988

Annotated Bibliography on Partial Evaluation and Mixed Computation.

Peter Sestoft, Alexandre V. Zamulin

New Gener. Comput., 1988

Data Base Programming Tools in the Atlant Language.

Alexandre V. Zamulin

Proceedings of the Advances in Database Technology, 1988