Alexandre V. Zamulin

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
An XML Algebra for XQuery.
Proceedings of the Advances in Databases and Information Systems, 2006

2005
A Formal Model of XML Schema.
Proceedings of the 21st International Conference on Data Engineering Workshops, 2005

Algebraic Semantics of XML Schema.
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.
Program. Comput. Softw., 2004

Fifth International Conference "Perspectives of System Informatics".
Program. Comput. Softw., 2004

2003
Algebraic Semantics of an Imperative Programming Language.
Program. Comput. Softw., 2003

Formal Semantics of Java Expressions and Statements.
Program. Comput. Softw., 2003

An ASM-based Formal Model of a Java Program.
Program. Comput. Softw., 2003

Formal Semantics of the ODMG 3.0 Object Query Language.
Proceedings of the Advances in Databases and Information Systems, 2003

2002
Information on the International Conference "Perspectives of System Informatics".
Program. Comput. Softw., 2002

An Object Algebra for the ODMG Standard.
Proceedings of the Advances in Databases and Information Systems, 2002

2001
Object-Oriented Database as a Dynamic System with Implicit State.
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.
Program. Comput. Softw., 2000

Conference Report: Perspectives of Information Systems.
Program. Comput. Softw., 2000

State-Based Extensions of CASL.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Generic Facilities in Object-Oriented ASMs.
Proceedings of the Abstract State Machines, 2000

1999
Dynamic Systems with Implicit State.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Algebraic Imperative Specifications.
Proceedings of the Perspectives of System Informatics, 1999

1998
Language Independent Container Specification.
Proceedings of the Generic Programming, 1998

Object-Oriented Abstract State Machines.
Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997
Algebraic Semantics of Object-Oriented Data Models.
Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Algebraic specification of dynamic objects.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1997

1996
Algebraic Semantics of the Oberon Target Machine.
Proceedings of the Perspectives of System Informatics, 1996

1995
HM data Model and its Formal Definition.
Proceedings of the Advances in Databases and Information Systems, 1995

1994
The Database Specification Language Ruslan: Main Features.
Proceedings of the East/West Database Workshop, 1994

From a Database Programming Language to a Database Specification Language (Invited Paper).
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.
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.
Proceedings of the Next Generation Information System Technology, 1990

1988
Annotated Bibliography on Partial Evaluation and Mixed Computation.
New Gener. Comput., 1988

Data Base Programming Tools in the Atlant Language.
Proceedings of the Advances in Database Technology, 1988


  Loading...