Suad Alagic

Publication Activity (10 Years)

Years Active: 1974-2014
Publications (10 Years): 0

Top Topics

Labor Intensive

Interactive Video

Object Oriented Database Systems

Transactional Data

Top Venues

Concurrent Objects and Beyond

Publications

Suad Alagic, Adnan Fazeli
Verifiable Object-Oriented Transactions. Concurrent Objects and Beyond (2014)
Suad Alagic
Automatic versus interactive program verification. HILT (2013)
Suad Alagic, Philip A. Bernstein, Ruchi Jairath
Object-Oriented Constraints for XML Schema. ICOODB (2010)
Suad Alagic, Mark Royer, David Briggs
Verification Technology for Object-Oriented/XML Transactions. ICOODB (2009)
Suad Alagic, Philip A. Bernstein
Mapping XSD to OO Schemas. ICOODB (2009)
David Briggs, Suad Alagic
Algebraic specification techniques for parametric types with logic-based constraints. SAC (2009)
Suad Alagic, Mark Royer
Genericity in Java: persistent and database systems implications. VLDB J. 17 (4) (2008)
Mark Royer, Suad Alagic, Dan Dillon
Reflective Constraint Management for Languages on Virtual Platforms. J. Object Technol. 6 (10) (2007)
Suad Alagic, Mark Royer, David Briggs
Program verification techniques for xml schema-based technologies. ICSOFT (2) (2006)
Suad Alagic, Mark Royer, David Briggs
Verification Theories for XML Schema. BNCOD (2006)
Brian Cabana, Suad Alagic, Jeff Faulkner
Parametric polymorphism for Java: is there any hope in sight? ACM SIGPLAN Notices 39 (12) (2004)
Suad Alagic, David Briggs
Semantics of Objectified XML Constraints. DBPL (2003)
Suad Alagic, Jeremy Logan
Consistency of Java Transactions. DBPL (2003)
Suad Alagic
Institutions: Integrating Objects, XML and Databases. Inf. Softw. Technol. 44 (4) (2002)
Suad Alagic, Svetlana Kouznetsova
Behavioral Compatibility of Self-Typed Theories. ECOOP (2002)
Suad Alagic, Philip A. Bernstein
A Model Theory for Generic Schema Management. DBPL (2001)
Suad Alagic, Tuong Nguyen
Parametric Polymorphism and Orthogonal Persistence. Objects and Databases (2000)
Suad Alagic
Semantics of Temporal Classes. Inf. Comput. 163 (1) (2000)
Suad Alagic
Temporal Object-Oriented Programming. Comput. J. 43 (6) (2000)
Suad Alagic, Jose Solorzano
Java and OQL: A Reflective Solution for the Impedance Mismatch. Obj. Logiciel Base données Réseaux 6 (3) (2000)
Suad Alagic
A Family of the ODMG Object Models. ADBIS (1999)
Suad Alagic
Type-Checking OQL Queries In the ODMG Type Systems. ACM Trans. Database Syst. 24 (3) (1999)
Suad Alagic
O2 and The ODMG Standard: Do They Match? Theory Pract. Object Syst. 5 (4) (1999)
Jose Solorzano, Suad Alagic
Parametric Polymorphism for Java: A Reflective Solution. OOPSLA (1998)
Suad Alagic, Jose Solorzano, David Gitchell
Orthogonal to the Java Imperative. ECOOP (1998)
Suad Alagic
Constrained Matching is Type Safe. DBPL (1997)
Suad Alagic
A Temporal Constraint System for Object-Oriented Databases. CDB (1997)
Suad Alagic
The ODMG Object Model: Does it Make Sense? OOPSLA (1997)
Suad Alagic, Mara Alagic
Order-Sorted Model Theory for Temporal Executable Specifications. Theor. Comput. Sci. 179 (1-2) (1997)
Suad Alagic
A Statically Typed, Temporal Object-Oriented Database Technology. IEICE Trans. Inf. Syst. (11) (1995)
Suad Alagic, Rajshekhar Sunderraman, Ashvin Radiya
Typed Declarative Object-Oriented Database Programming. COODBSE (1994)
Suad Alagic
F-Bounded Polymorphism for Database Programming Languages. East/West Database Workshop (1994)
Suad Alagic, Rajshekhar Sunderraman
Expressivity of Typed Logic Paradigms for Object-Oriented Databases. BNCOD (1994)
Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. ECOOP (1994)
Manicka Surendhar, Suad Alagic
Object-Oriented Type Evolution Using Reflection. TOOLS (13) (1994)
Suad Alagic
Object-Oriented Type Systems. TOOLS (8) (1992)
Suad Alagic
Associated paper: Polymorphic and Reflective Type Structures. TOOLS (8) (1992)
Suad Alagic, Mara Alagic
Joins as Pullbacks. FMLDO (1991)
Suad Alagic
Toward Multiparadigm Database Interfaces. East/West Database Workshop (1990)
Suad Alagic
Persistent Metaobjects. POS (1990)
Suad Alagic, Adnan Kulenovic
Relational Pascal Data Base Interface. Comput. J. 24 (2) (1981)
Michael A. Arbib, Suad Alagic
Proof Rules for Gotos. Acta Informatica 11 (1979)
Suad Alagic, Adnan Kulenovic, Muhamed Darajlic
Structured extension of COBOL for handling data bases. Inf. Syst. 2 (1) (1976)
Suad Alagic
Natural State Transformations. J. Comput. Syst. Sci. 10 (2) (1975)
Suad Alagic
Categorical theory of tree processing. Category Theory Applied to Computation and Control (1974)