Suad Alagic

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