Suad Alagic Papers on DiSC'04 Consistency of Java Transactions Semantics of Objectified XML Constraints Publications Note: Links lead to the DBLP on the Web. Suad Alagic Suad Alagic, David Briggs : Semantics of Objectified XML Constraints. DBPL 2003 : 147-165 Suad Alagic, Jeremy Logan : Consistency of Java Transactions. DBPL 2003 : 71-89 Suad Alagic, Svetlana Kouznetsova : Behavioral Compatibility of Self-Typed Theories. ECOOP 2002 : 585-608 Suad Alagic: Institutions: Integrating Objects, XML and Databases. Information & Software Technology 44 (4): 207-216 (2002) Suad Alagic, Philip A. Bernstein : A Model Theory for Generic Schema Management. DBPL 2001 : 228-246 Suad Alagic, Tuong Nguyen : Parametric Polymorphism and Orthogonal Persistence. Objects and Databases 2000 : 32-46 Suad Alagic: Temporal Object-Oriented Programming. Comput. J. 43 (6): 491-511 (2000) Suad Alagic: Semantics of Temporal Classes. Inf. Comput. 163 (1): 60-102 (2000) Suad Alagic, Jose Solorzano : Java and OQL: A Reflective Solution for the Impedance Mismatch. L'OBJET 6 (3): (2000) Suad Alagic: A Family of the ODMG Object Models. ADBIS 1999 : 14-30 Suad Alagic: Type-Checking OQL Queries In the ODMG Type Systems. ACM Trans. Database Syst. 24 (3): 319-360 (1999) Suad Alagic: O2 and The ODMG Standard: Do They Match? TAPOS 5 (4): 239-247 (1999) Suad Alagic, Jose Solorzano , David Gitchell : Orthogonal to the Java Imperative. ECOOP 1998 : 212-233 Jose Solorzano , Suad Alagic: Parametric Polymorphism for Java: A Reflective Solution. OOPSLA 1998 : 216-225 Suad Alagic: A Temporal Constraint System for Object-Oriented Databases. CDB 1997 : 208-218 Suad Alagic: Constrained Matching is Type Safe. DBPL 1997 : 78-96 Suad Alagic: The ODMG Object Model: Does it Make Sense? OOPSLA 1997 : 253-270 Suad Alagic, Mara Alagic : Order-Sorted Model Theory for Temporal Executable Specifications. Theor. Comput. Sci. 179 (1-2): 273-299 (1997) Suad Alagic, Rajshekhar Sunderraman : Expressivity of Typed Logic Paradigms for Object-Oriented Databases. BNCOD 1994 : 73-89 Suad Alagic, Rajshekhar Sunderraman , Ashvin Radiya : Typed Declarative Object-Oriented Database Programming. COODBSE 1994 : 58-76 Suad Alagic, Rajshekhar Sunderraman , Rajiv Bagai : Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. ECOOP 1994 : 236-259 Suad Alagic: F-Bounded Polymorphism for Database Programming Languages. East/West Database Workshop 1994 : 125-137 Suad Alagic, Mara Alagic : Joins as Pullbacks. FMLDO 1991 : 197-207 Suad Alagic: Toward Multiparadigm Database Interfaces. East/West Database Workshop 1990 : 333-346 Suad Alagic: Persistent Metaobjects. POS 1990 : 31-42 Suad Alagic: Object-Oriented Database Programming Springer 1989 Suad Alagic: Relational Database Technology Springer 1986 Suad Alagic, Adnan Kulenovic : Relational Pascal Data Base Interface. Comput. J. 24 (2): 112-117 (1981) Michael A. Arbib , Suad Alagic: Proof Rules for Gotos. Acta Inf. 11 : 139-148 (1979) Suad Alagic, Michael A. Arbib : The Design of Well-Structured and Correct Programs Springer 1978 Suad Alagic, Adnan Kulenovic , Muhamed Darajlic : Structured extension of COBOL for handling data bases. Inf. Syst. 2 (1): 1-10 (1976) Suad Alagic: Natural State Transformations. J. Comput. Syst. Sci. 10 (2): 266-307 (1975) Suad Alagic: Categorical theory of tree processing. Category Theory Applied to Computation and Control 1974 : 65-72 1 [ 11 ] [ 16 ] 2 [ 4 ] [ 5 ] 3 [ 13 ] 4 [ 29 ] 5 [ 33 ] 6 [ 3 ] 7 [ 21 ] 8 [ 31 ] 9 [ 3 ] [ 6 ] 10 [ 32 ] 11 [ 28 ] 12 [ 14 ] 13 [ 20 ] [ 21 ] [ 25 ] 14 [ 13 ] [ 14 ] [ 15 ] ©2005 Association for Computing Machinery