dblp.uni-trier.dewww.uni-trier.de

Alexandre V. Zamulin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
31EELeonid Novak, Alexandre V. Zamulin: An XML Algebra for XQuery. ADBIS 2006: 4-21
2005
30EELeonid Novak, Alexandre V. Zamulin: Algebraic Semantics of XML Schema. ADBIS 2005: 209-222
29EELeonid Novak, Alexandre V. Zamulin: A Formal Model of XML Schema. ICDE Workshops 2005: 1283
2004
28EEAlexandre V. Zamulin: Fifth International Conference "Perspectives of System Informatics". Programming and Computer Software 30(1): 52-56 (2004)
27EEAlexandre V. Zamulin: An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. Programming and Computer Software 30(5): 295-302 (2004)
2003
26 Manfred Broy, Alexandre V. Zamulin: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers Springer 2003
25EEAlexandre V. Zamulin: Formal Semantics of the ODMG 3.0 Object Query Language. ADBIS 2003: 293-307
24EEAlexandre V. Zamulin: An ASM-based Formal Model of a Java Program. Programming and Computer Software 29(3): 130-139 (2003)
23EEAlexandre V. Zamulin: Formal Semantics of Java Expressions and Statements. Programming and Computer Software 29(5): 259-270 (2003)
22EEAlexandre V. Zamulin: Algebraic Semantics of an Imperative Programming Language. Programming and Computer Software 29(6): 328-337 (2003)
2002
21EEAlexandre V. Zamulin: An Object Algebra for the ODMG Standard. ADBIS 2002: 291-304
20EEAlexandre V. Zamulin: Information on the International Conference "Perspectives of System Informatics". Programming and Computer Software 28(1): 53-56 (2002)
2001
19 Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Springer 2001
18EES. Kazem Lellahi, Alexandre V. Zamulin: Object-Oriented Database as a Dynamic System with Implicit State. ADBIS 2001: 239-252
2000
17 Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings Springer 2000
16EEAlexandre V. Zamulin: Generic Facilities in Object-Oriented ASMs. Abstract State Machines 2000: 91-111
15EEHubert Baumeister, Alexandre V. Zamulin: State-Based Extensions of CASL. IFM 2000: 3-24
1999
14EEMarie-Claude Gaudel, Alexandre V. Zamulin: Algebraic Imperative Specifications. Ershov Memorial Conference 1999: 17-39
13 Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin: Dynamic Systems with Implicit State. FASE 1999: 114-128
1998
12EEAlexandre V. Zamulin: Language Independent Container Specification. Generic Programming 1998: 192-205
11 Alexandre V. Zamulin: Object-Oriented Abstract State Machines. Workshop on Abstract State Machines 1998: 1-21
1997
10 Alexandre V. Zamulin: Algebraic specification of dynamic objects. LMO 1997: 111-127
9EEAlexandre V. Zamulin: Algebraic Semantics of Object-Oriented Data Models. TOOLS (24) 1997: 43-52
1996
8EEAlexandre V. Zamulin: Algebraic Semantics of the Oberon Target Machine. Ershov Memorial Conference 1996: 41-54
1995
7EENick Scherbakov, Alexandre V. Zamulin: HM data Model and its Formal Definition. ADBIS 1995: 369-390
1994
6EEAlexandre V. Zamulin: From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994: 122-131
5 Alexandre V. Zamulin: The Database Specification Language Ruslan: Main Features. East/West Database Workshop 1994: 315-327
1993
4EEAlexandre V. Zamulin: Algebraic Modelling of Imperative Languages with Pointers. Formal Methods in Programming and Their Applications 1993: 81-97
1990
3 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: 385-402
1988
2EEAlexandre V. Zamulin: Data Base Programming Tools in the Atlant Language. EDBT 1988: 563-566
1 Peter Sestoft, Alexandre V. Zamulin: Annotated Bibliography on Partial Evaluation and Mixed Computation. New Generation Comput. 6(2&3): 309-354 (1988)

Coauthor Index

1Hubert Baumeister [15]
2Dines Bjørner [17] [19]
3Manfred Broy [17] [19] [26]
4Marie-Claude Gaudel [13] [14]
5Carole Khoury [13]
6V. A. Kositov [3]
7Gregory Kucherov [3]
8S. Kazem Lellahi [18]
9Leonid Novak (L. G. Novak) [29] [30] [31]
10E. V. Pak [3]
11Nick Scherbakov [7]
12Peter Sestoft [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)