|
СТ |
Consistency of Java Transactions |
2004 |
Alagic S., Logan J. |
|
|
|
Lecture Notes in Computer Science |
03.03.2004 |
|
СТ |
Semantics of Objectified XML Constraints |
2004 |
Alagic S., Briggs D. |
|
|
|
Lecture Notes in Computer Science |
03.03.2004 |
|
СТ |
A Model Theory for Generic Schema Management |
2002 |
Alagic S., Bernstein P. A. |
|
|
|
Lecture Notes in Computer Science |
23.10.2002 |
|
СТ |
Behavioral Compatibility of Self-Typed Theories |
2002 |
Alagic S., Kouznetsova S. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
Temporal Object-Oriented Programming |
2001 |
Alagic S. |
|
|
|
The Computer J. |
18.05.2001 |
|
СТ |
Parametric Polymorphism and Orthogonal Persistence |
2001 |
Alagic S., Nguyen T. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
|
СТ |
Type-Checking OQL Queries in the ODMG Type Systems |
1999 |
Alagic S. |
|
|
|
ACM Trans. on Database Systems |
27.04.2000 |
|
СТ |
A Family of the ODMG Object Models |
1999 |
Alagic S. |
|
|
|
Lecture Notes in Computer Science |
21.10.1999 |
|
СТ |
Parametric Polymorphism for JavaTM: A Reflective Solution |
1998 |
Solorzano J. H., Alagic S. |
|
|
|
SIGPLAN Notices |
23.04.1999 |
|
СТ |
Constrained Matching is Type Safe |
1998 |
Alagic S. |
|
|
|
Lecture Notes in Computer Science |
22.08.1998 |
|
СТ |
Orthogonal to the Java Imperative |
1998 |
Alagic S., Solorzano J., Gitchell D. |
|
|
|
Lecture Notes in Computer Science |
04.08.1998 |
|
СТ |
The ODMG Object Model: Does it Make Sense? |
1997 |
Alagic S. |
|
|
|
SIGPLAN Notices |
23.01.1998 |
|
СТ |
A Temporal Constraint System for Object-Oriented Databases |
1996 |
Alagic S. |
|
|
|
Lecture Notes in Computer Science |
13.03.1997 |
|
СТ |
F-Bounded Polymorphism for Database Programming Languages |
1995 |
Alagic S. |
|
|
|
East/West Database Workshop: Proc./Second Intern. East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994 |
17.05.1995 |
|
СТ |
Expressively of Typed Logic Paradigms for Object-Oriented Databases |
1994 |
Alagic S., Sunderraman R. |
|
|
|
Lecture Notes in Computer Science |
11.08.1994 |
