default search action
Alexandre V. Zamulin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2006
- [c21]Leonid Novak, Alexandre V. Zamulin:
An XML Algebra for XQuery. ADBIS 2006: 4-21 - 2005
- [c20]Leonid Novak, Alexandre V. Zamulin:
Algebraic Semantics of XML Schema. ADBIS 2005: 209-222 - [c19]Leonid Novak, Alexandre V. Zamulin:
A Formal Model of XML Schema. ICDE Workshops 2005: 1283 - 2004
- [j9]Alexandre V. Zamulin:
Fifth International Conference "Perspectives of System Informatics". Program. Comput. Softw. 30(1): 52-56 (2004) - [j8]Alexandre V. Zamulin:
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. Program. Comput. Softw. 30(5): 295-302 (2004) - 2003
- [j7]Alexandre V. Zamulin:
An ASM-based Formal Model of a Java Program. Program. Comput. Softw. 29(3): 130-139 (2003) - [j6]Alexandre V. Zamulin:
Formal Semantics of Java Expressions and Statements. Program. Comput. Softw. 29(5): 259-270 (2003) - [j5]Alexandre V. Zamulin:
Algebraic Semantics of an Imperative Programming Language. Program. Comput. Softw. 29(6): 328-337 (2003) - [c18]Alexandre V. Zamulin:
Formal Semantics of the ODMG 3.0 Object Query Language. ADBIS 2003: 293-307 - [e3]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. Lecture Notes in Computer Science 2890, Springer 2003, ISBN 3-540-20813-5 [contents] - 2002
- [j4]Alexandre V. Zamulin:
Information on the International Conference "Perspectives of System Informatics". Program. Comput. Softw. 28(1): 53-56 (2002) - [c17]Alexandre V. Zamulin:
An Object Algebra for the ODMG Standard. ADBIS 2002: 291-304 - 2001
- [c16]S. Kazem Lellahi, Alexandre V. Zamulin:
Object-Oriented Database as a Dynamic System with Implicit State. ADBIS 2001: 239-252 - [e2]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. Lecture Notes in Computer Science 2244, Springer 2001, ISBN 3-540-43075-X [contents] - 2000
- [j3]Alexandre V. Zamulin:
Conference Report: Perspectives of Information Systems. Program. Comput. Softw. 26(5): 289-291 (2000) - [j2]Alexandre V. Zamulin:
Andrei Ershov Fourth International Conference: Perspectives of Information Systems July 3-6, 2001, Novosibirsk, Akademgorodok. Program. Comput. Softw. 26(5): 292-294 (2000) - [c15]Alexandre V. Zamulin:
Generic Facilities in Object-Oriented ASMs. Abstract State Machines 2000: 91-111 - [c14]Hubert Baumeister, Alexandre V. Zamulin:
State-Based Extensions of CASL. IFM 2000: 3-24 - [e1]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. Lecture Notes in Computer Science 1755, Springer 2000, ISBN 3-540-67102-1 [contents]
1990 – 1999
- 1999
- [c13]Marie-Claude Gaudel, Alexandre V. Zamulin:
Algebraic Imperative Specifications. Ershov Memorial Conference 1999: 17-39 - [c12]Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin:
Dynamic Systems with Implicit State. FASE 1999: 114-128 - 1998
- [c11]Alexandre V. Zamulin:
Object-Oriented Abstract State Machines. Workshop on Abstract State Machines 1998: 1-21 - [c10]Alexandre V. Zamulin:
Language Independent Container Specification. Generic Programming 1998: 192-205 - 1997
- [c9]Alexandre V. Zamulin:
Algebraic specification of dynamic objects. LMO 1997: 111-127 - [c8]Alexandre V. Zamulin:
Algebraic Semantics of Object-Oriented Data Models. TOOLS (24) 1997: 43-52 - 1996
- [c7]Alexandre V. Zamulin:
Algebraic Semantics of the Oberon Target Machine. Ershov Memorial Conference 1996: 41-54 - 1995
- [c6]Nick Scherbakov, Alexandre V. Zamulin:
HM data Model and its Formal Definition. ADBIS 1995: 369-390 - 1994
- [c5]Alexandre V. Zamulin:
From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994: 122-131 - [c4]Alexandre V. Zamulin:
The Database Specification Language Ruslan: Main Features. East/West Database Workshop 1994: 315-327 - 1993
- [c3]Alexandre V. Zamulin:
Algebraic Modelling of Imperative Languages with Pointers. Formal Methods in Programming and Their Applications 1993: 81-97 - 1990
- [c2]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
1980 – 1989
- 1988
- [j1]Peter Sestoft, Alexandre V. Zamulin:
Annotated Bibliography on Partial Evaluation and Mixed Computation. New Gener. Comput. 6(2&3): 309-354 (1988) - [c1]Alexandre V. Zamulin:
Data Base Programming Tools in the Atlant Language. EDBT 1988: 563-566
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: