|
П |
Adding Genericity to Object-Oriented ASMS |
1999 |
Zamulin A. V. |
|
|
IIS SB RAS |
|
07.01.2008 |
|
П |
The Database Programming Language Atlant |
1989 |
Zamulin A. V. |
|
|
Univ. Glasgow |
|
06.01.2008 |
|
СТ |
An XML Algebra for XQuery |
2006 |
Novak L., Zamulin A. V. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
20.10.2006 |
|
СТ |
Algebraic Semantics of XML Schema |
2005 |
Novak L., Zamulin A. V. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
25.10.2005 |
|
П |
An XML Algebra for XQuery |
2005 |
Novak L., Zamulin A. V. |
|
|
ИСИ СО РАН |
|
18.10.2005 |
|
П |
An Imperative Extension of the Object Constraint Language OCL |
2005 |
Brazhnik S., Zamulin A. V. |
|
|
IIS SB RAS |
|
02.08.2005 |
|
П |
Algebraic semantics of XML schema |
2004 |
Novak L., Zamulin A. V. |
|
|
ИСИ СО РАН |
|
28.12.2004 |
|
СТ |
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model |
2004 |
Zamulin A. V. |
Computer Science |
|
|
Joint Bull. of NCC and IIS |
22.10.2004 |
|
СТ |
Formal Semantics of the ODMG 3.0 Object Query Language |
2003 |
Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
24.11.2003 |
|
П |
A State-Based Algebraic Semantics of Statements of Sequential Java |
2003 |
Lellahi K., Zamulin A. V. |
|
|
Inst. Galilee |
|
17.07.2003 |
|
П |
Implicit State Approach for Formalization of Sequential Java-like Programs |
2002 |
Lellahi K., Zamulin A. V. |
|
|
Inst. Galilee, Univ. Paris Nord |
|
25.11.2002 |
|
СТ |
An Object Algebra for the ODMG Standard |
2002 |
Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
25.10.2002 |
|
СТ |
Object-Oriented Database as a Dynamic System with Implicit State |
2001 |
Lellahi K., Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
06.10.2001 |
|
П |
Object-Oriented Database as a Dynamic System with Implicit State Par |
2001 |
Lellani K., Zamulin A. V. |
|
|
Univ. Paris Nord |
|
26.06.2001 |
|
СТ |
Modularization of typed Gurevich machines |
2000 |
Zamulin A. V. |
|
|
Russian Academy of Science, Siberian Division |
Joint Bull. of NCC and IIS |
07.03.2001 |
|
СТ |
Language Independent Container Specification |
2000 |
Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
10.12.2000 |
|
СТ |
State-Based Extension of CASL |
2000 |
Baumeister H., Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Generic Facilities in Object-Oriented ASMs |
2000 |
Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
26.10.2000 |
|
СТ |
Experience in Multi-Level Specifications |
2000 |
Zamulin A. V. |
|
|
|
Проблемы программирования |
10.06.2000 |
|
СТ |
Algebraic Imperative Specifications |
2000 |
Gaudel M. -C., Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
П |
Algebraic Specification Language Ruslan 99 |
1999 |
Zamulin A. V. |
|
|
Inst. of Informatics Systems |
IEEE Trans. on Knowledge and Data Engineering |
14.12.1999 |
|
П |
Dynamic Systems Based on Update Sets |
1999 |
Lellahi K., Zamulin A. V. |
|
|
Univ. 13 |
IEEE Trans. on Computers |
07.05.1999 |
|
СТ |
Dynamic Systems with Implicit State |
1999 |
Gaudel M. -C., Khoury C., Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
05.04.1999 |
|
СТ |
Typed Gurevich Machines Revisited |
1997 |
Zamulin A. V. |
Computer Science |
|
|
Joint Bull. of NCC and IIS |
25.03.1999 |
|
СТ |
Program Specification by Typed Gurevich Machines |
1998 |
Zamulin A. V. |
|
|
|
Proc. of the Estonian Academy of Sciences. Physics, Mathematics |
04.11.1998 |
|
СТ |
Dynamic System Modeling by Typed Gurevich Machines |
1998 |
Zamulin A. V. |
|
|
|
ИНПРИМ-98 |
27.06.1998 |
|
СТ |
Multi-Level Specification of Data Types and Data Models |
1997 |
Zamulin A. V. |
|
|
|
9th Nordic Workshop on Programming Theory |
15.04.1998 |
|
СТ |
Algebraic Semantics of Object-Oriented Data Models |
1997 |
Zamulin A. V. |
|
|
|
Proc. of the Twenty-fourth Intern. Conf. TOOLS ASIA |
13.11.1997 |
|
СТ |
Algebraic specification of dynamic objects |
1997 |
Zamulin A. V. |
|
|
|
LMO 97 langages et modeles a objets |
30.10.1997 |
|
П |
Specification of an Oberon Compiler by Means of a Typed Gurevich Machine |
1997 |
Zamulin A. V. |
|
|
Inst. of Informatics Systems |
|
14.06.1997 |
|
СТ |
Algebraic Semantics of the Oberon Target Machine |
1996 |
Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
14.02.1997 |
|
СТ |
Algebraic Specification of an Oberon Compiler |
1996 |
Zamulin A. V. |
|
|
|
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 |
06.12.1996 |
|
П |
Algebraic Specification of the Programming Language Oberon. |
1995 |
Zamulin A. V. |
|
|
Inst. of Informatics Systems |
|
01.12.1995 |
|
СТ |
Formal Definition of Oberon |
1995 |
Zamulin A. V. |
|
|
|
Applied Informatics |
15.09.1995 |
|
СТ |
HM Data Model and its Formal Definition |
1995 |
Scherbakov N., Zamulin A. V. |
|
|
Moscow ACM SIGMOD Chapter. Russian Basic Research Foundation |
ADBIS 95 |
14.09.1995 |
|
СТ |
Towards Algebraic Semantics of Imperative Languages |
1994 |
Zamulin A. V. |
|
|
Czech Society for Computer Science, Slovak Society for Computer Science |
XXI SOFSEM 94: Contributed Talks |
11.09.1995 |
|
СТ |
From a Database Programming Language to a Database Specification Language |
1994 |
Zamulin A. V. |
|
|
|
Advances in Databases and Information Systems. ADBIS 94 |
15.07.1995 |
|
СТ |
Algebraic Semantics of Imperative Statements |
1995 |
Zamulin A. V. |
|
|
|
Australian Computer Science Communications |
11.07.1995 |
|
СТ |
RUSLAN: A Database Specification Language |
1994 |
Zamulin A. V. |
|
|
|
Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX |
20.05.1995 |
|
СТ |
The Database Specification Language Ruslan: Main Features |
1995 |
Zamulin A. V. |
|
|
|
East/West Database Workshop: Proc./Second Intern. East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994 |
17.05.1995 |
|
П |
The Database Specification Language Ruslan (A Preliminary Communication) |
1994 |
Zamulin A. V. |
|
|
Inst. of Informatics Systems |
|
31.08.1994 |
|
П |
The Database Specification Language Ruslan |
1994 |
Zamulin A. V. |
|
|
Inst. of Informatics Systems |
|
31.08.1994 |
|
СТ |
An External Schema Mechanism for an Open Database System |
1994 |
Zamulin A. V. |
|
|
|
Международная конференция-выставка "Открытые системы - решение для нового мира": Тез. докл. |
13.07.1994 |
|
СТ |
Algebraic Modelling of Imperative Languages with Pointers |
1993 |
Zamulin A. V. |
|
|
|
Lecture Notes in Computer Science |
20.11.1993 |
|
СТ |
An Orthogonal Programming System Manifesto |
1991 |
Zamulin A. V. |
|
|
|
Current Topics in Informatics Systems Research |
23.12.1991 |
|
СТ |
Data Type Point of View of Main Features of a Modern Persistent Language |
1991 |
Zamulin A. V. |
|
|
INRIA |
Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction |
19.11.1991 |
|
СТ |
The Database Programming Language Atlant: Principal Features and Implementation Techniques |
1991 |
Zamulin A. V., Kositov V., Kucherov A., Pak E., Ryshkov V. |
|
|
|
Lecture Notes in Computer Science |
13.08.1991 |
