Suad Alagic Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Briggs, Suad Alagic: Algebraic specification techniques for parametric types with logic-based constraints. SAC 2009: 1890-1897
2008
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Mark Royer: Genericity in Java: persistent and database systems implications. VLDB J. 17(4): 847-878 (2008)
2006
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Mark Royer, David Briggs: Verification Theories for XML Schema. BNCOD 2006: 262-265
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Mark Royer, David Briggs: Program verification techniques for xml schema-based technologies. ICSOFT (2) 2006: 86-93
2004
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Cabana, Suad Alagic, Jeff Faulkner: Parametric polymorphism for Java: is there any hope in sight? SIGPLAN Notices 39(12): 22-31 (2004)
2003
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, David Briggs: Semantics of Objectified XML Constraints. DBPL 2003: 147-165
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Jeremy Logan: Consistency of Java Transactions. DBPL 2003: 71-89
2002
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Svetlana Kouznetsova: Behavioral Compatibility of Self-Typed Theories. ECOOP 2002: 585-608
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Institutions: Integrating Objects, XML and Databases. Information & Software Technology 44(4): 207-216 (2002)
2001
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Philip A. Bernstein: A Model Theory for Generic Schema Management. DBPL 2001: 228-246
2000
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Tuong Nguyen: Parametric Polymorphism and Orthogonal Persistence. Objects and Databases 2000: 32-46
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Temporal Object-Oriented Programming. Comput. J. 43(6): 491-511 (2000)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Semantics of Temporal Classes. Inf. Comput. 163(1): 60-102 (2000)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Jose Solorzano: Java and OQL: A Reflective Solution for the Impedance Mismatch. L'OBJET 6(3): (2000)
1999
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: A Family of the ODMG Object Models. ADBIS 1999: 14-30
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Type-Checking OQL Queries In the ODMG Type Systems. ACM Trans. Database Syst. 24(3): 319-360 (1999)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: O2 and The ODMG Standard: Do They Match? TAPOS 5(4): 239-247 (1999)
1998
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Jose Solorzano, David Gitchell: Orthogonal to the Java Imperative. ECOOP 1998: 212-233
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJose Solorzano, Suad Alagic: Parametric Polymorphism for Java: A Reflective Solution. OOPSLA 1998: 216-225
1997
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: A Temporal Constraint System for Object-Oriented Databases. CDB 1997: 208-218
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Constrained Matching is Type Safe. DBPL 1997: 78-96
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: The ODMG Object Model: Does it Make Sense? OOPSLA 1997: 253-270
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Mara Alagic: Order-Sorted Model Theory for Temporal Executable Specifications. Theor. Comput. Sci. 179(1-2): 273-299 (1997)
1994
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Rajshekhar Sunderraman: Expressivity of Typed Logic Paradigms for Object-Oriented Databases. BNCOD 1994: 73-89
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Rajshekhar Sunderraman, Ashvin Radiya: Typed Declarative Object-Oriented Database Programming. COODBSE 1994: 58-76
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Rajshekhar Sunderraman, Rajiv Bagai: Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. ECOOP 1994: 236-259
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: F-Bounded Polymorphism for Database Programming Languages. East/West Database Workshop 1994: 125-137
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManicka Surendhar, Suad Alagic: Object-Oriented Type Evolution Using Reflection. TOOLS (13) 1994: 271-280
1992
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Object-Oriented Type Systems. TOOLS (8) 1992: 295
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Associated paper: Polymorphic and Reflective Type Structures. TOOLS (8) 1992: 297
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Mara Alagic: Joins as Pullbacks. FMLDO 1991: 197-207
1990
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Toward Multiparadigm Database Interfaces. East/West Database Workshop 1990: 333-346
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Persistent Metaobjects. POS 1990: 31-42
1989
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Object-Oriented Database Programming Springer 1989
1986
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Relational Database Technology Springer 1986
1981
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Adnan Kulenovic: Relational Pascal Data Base Interface. Comput. J. 24(2): 112-117 (1981)
1979
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael A. Arbib, Suad Alagic: Proof Rules for Gotos. Acta Inf. 11: 139-148 (1979)
1978
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Michael A. Arbib: The Design of Well-Structured and Correct Programs Springer 1978
1976
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic, Adnan Kulenovic, Muhamed Darajlic: Structured extension of COBOL for handling data bases. Inf. Syst. 2(1): 1-10 (1976)
1975
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Natural State Transformations. J. Comput. Syst. Sci. 10(2): 266-307 (1975)
1974
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuad Alagic: Categorical theory of tree processing. Category Theory Applied to Computation and Control 1974: 65-72

Coauthor Index

1Mara Alagic [11] [19]
2Michael A. Arbib [4] [5]
3Rajiv Bagai [16]
4Philip A. Bernstein [32]
5David Briggs [36] [38] [39] [41]
6Brian Cabana [37]
7Muhamed Darajlic [3]
8Jeff Faulkner [37]
9David Gitchell [24]
10Svetlana Kouznetsova [34]
11Adnan Kulenovic [3] [6]
12Jeremy Logan [35]
13Tuong Nguyen [31]
14Ashvin Radiya [17]
15Mark Royer [38] [39] [40]
16Jose Solorzano [23] [24] [28]
17Rajshekhar Sunderraman (Raj Sunderraman) [16] [17] [18]
18Manicka Surendhar [14]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)