Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
 SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
 DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
 KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
 SIGIR 2001
 SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Suad Alagic

Papers on DiSC'02


A Model Theory for Generic Schema Management

Publications


Note: Links lead to the DBLP on the Web.

Suad Alagic

29 Suad Alagic, Svetlana Kouznetsova : Behavioral Compatibility of Self-Typed Theories. ECOOP 2002 : 585-608

28 Suad Alagic: Institutions: Integrating Objects, XML and Databases. Information & Software Technology 44 (4): 207-216 (2002)

27 Suad Alagic, Tuong Nguyen : Parametric Polymorphism and Orthogonal Persistence. Objects and Databases 2000 : 32-46

26 Suad Alagic: Semantics of Temporal Classes. Information and Computation 163 (1): 60-102 (2000)

25 Suad Alagic, Jose Solorzano : Java and OQL: A Reflective Solution for the Impedance Mismatch. L'OBJET 6 (3): (2000)

24 Suad Alagic: Temporal Object-Oriented Programming. The Computer Journal 43 (6): 491-511 (2000)

23 Suad Alagic: A Family of the ODMG Object Models. ADBIS 1999 : 14-30

22 Suad Alagic: O2 and The ODMG Standard: Do They Match? TAPOS 5 (4): 239-247 (1999)

21 Suad Alagic: Type-Checking OQL Queries In the ODMG Type Systems. TODS 24 (3): 319-360 (1999)

20 Suad Alagic, Jose Solorzano , David Gitchell : Orthogonal to the Java Imperative. ECOOP 1998 : 212-233

19 Jose Solorzano , Suad Alagic: Parametric Polymorphism for Java: A Reflective Solution. OOPSLA 1998 : 216-225

18 Suad Alagic: A Temporal Constraint System for Object-Oriented Databases. CDB 1997 : 208-218

17 Suad Alagic: Constrained Matching is Type Safe. DBPL 1997 : 78-96

16 Suad Alagic: The ODMG Object Model: Does it Make Sense? OOPSLA 1997 : 253-270

15 Suad Alagic, Mara Alagic : Order-Sorted Model Theory for Temporal Executable Specifications. TCS 179 (1-2): 273-299 (1997)

14 Suad Alagic, Rajshekhar Sunderraman : Expressivity of Typed Logic Paradigms for Object-Oriented Databases. BNCOD 1994 : 73-89

13 Suad Alagic, Rajshekhar Sunderraman , Ashvin Radiya : Typed Declarative Object-Oriented Database Programming. COODBSE 1994 : 58-76

12 Suad Alagic, Rajshekhar Sunderraman , Rajiv Bagai : Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. ECOOP 1994 : 236-259

11 Suad Alagic: F-Bounded Polymorphism for Database Programming Languages. East/West Database Workshop 1994 : 125-137

10 Suad Alagic, Mara Alagic : Joins as Pullbacks. FMLDO 1991 : 197-207

9 Suad Alagic: Toward Multiparadigm Database Interfaces. East/West Database Workshop 1990 : 333-346

8 Suad Alagic: Persistent Metaobjects. POS 1990 : 31-42

7 Suad Alagic: Object-Oriented Database Programming. Springer 1989

6 Suad Alagic: Relational Database Technology. Springer 1986

5 Suad Alagic, Adnan Kulenovic : Relational Pascal Data Base Interface. The Computer Journal 24 (2): 112-117 (1981)

4 Michael A. Arbib , Suad Alagic: Proof Rules for Gotos. Acta Informatica 11 : 139-148 (1979)

3 Suad Alagic, Michael A. Arbib : The Design of Well-Structured and Correct Programs. Springer 1978

2 Suad Alagic, Adnan Kulenovic , Muhamed Darajlic : Structured extension of COBOL for handling data bases. IS 2 (1): 1-10 (1976)

1 Suad Alagic: Natural State Transformations. JCSS 10 (2): 266-307 (1975)




DiSC'02 © 2003 Association for Computing Machinery