The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexandre V. Zamulin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002