Suad Alagic

According to our database, Suad Alagic authored at least 50 papers between 1974 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Software Engineering: Specification, Implementation, Verification

Suad Alagic

Springer, ISBN: 978-3-319-61517-2, 2017

2015

Object-Oriented Technology

Suad Alagic

Springer, ISBN: 978-3-319-20442-0, 2015

2014

Verifiable Object-Oriented Transactions.

Suad Alagic, Adnan Fazeli

Proceedings of the Concurrent Objects and Beyond, 2014

2013

Automatic versus interactive program verification.

Suad Alagic

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2010

Object-Oriented Constraints for XML Schema.

Suad Alagic, Philip A. Bernstein, Ruchi Jairath

Proceedings of the Objects and Databases - Third International Conference, 2010

2009

Algebraic specification techniques for parametric types with logic-based constraints.

David Briggs, Suad Alagic

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Verification Technology for Object-Oriented/XML Transactions.

Suad Alagic, Mark Royer, David Briggs

Proceedings of the Object Databases, Second International Conference, 2009

Mapping XSD to OO Schemas.

Suad Alagic, Philip A. Bernstein

Proceedings of the Object Databases, Second International Conference, 2009

2008

Genericity in Java: persistent and database systems implications.

Suad Alagic, Mark Royer

VLDB J., 2008

2007

Reflective Constraint Management for Languages on Virtual Platforms.

Mark Royer, Suad Alagic, Dan Dillon

J. Object Technol., 2007

2006

Program verification techniques for xml schema-based technologies.

Suad Alagic, Mark Royer, David Briggs

Proceedings of the ICSOFT 2006, 2006

Verification Theories for XML Schema.

Suad Alagic, Mark Royer, David Briggs

Proceedings of the Flexible and Efficient Information Handling, 2006

2004

Parametric polymorphism for Java: is there any hope in sight?

Brian Cabana, Suad Alagic, Jeff Faulkner

ACM SIGPLAN Notices, 2004

2003

Consistency of Java Transactions.

Suad Alagic, Jeremy Logan

Proceedings of the Database Programming Languages, 9th International Workshop, 2003

Semantics of Objectified XML Constraints.

Suad Alagic, David Briggs

Proceedings of the Database Programming Languages, 9th International Workshop, 2003

2002

Institutions: Integrating Objects, XML and Databases.

Suad Alagic

Inf. Softw. Technol., 2002

Behavioral Compatibility of Self-Typed Theories.

Suad Alagic, Svetlana Kouznetsova

Proceedings of the ECOOP 2002, 2002

2001

A Model Theory for Generic Schema Management.

Suad Alagic, Philip A. Bernstein

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000

Semantics of Temporal Classes.

Suad Alagic

Inf. Comput., 2000

Temporal Object-Oriented Programming.

Suad Alagic

Comput. J., 2000

Java and OQL: A Reflective Solution for the Impedance Mismatch.

Suad Alagic, Jose Solorzano

Obj. Logiciel Base données Réseaux, 2000

Parametric Polymorphism and Orthogonal Persistence.

Suad Alagic, Tuong Nguyen

Proceedings of the Objects and Databases, 2000

1999

Type-Checking OQL Queries In the ODMG Type Systems.

Suad Alagic

ACM Trans. Database Syst., 1999

O2 and The ODMG Standard: Do They Match?

Suad Alagic

Theory Pract. Object Syst., 1999

A Family of the ODMG Object Models.

Suad Alagic

Proceedings of the Advances in Databases and Information Systems, 1999

1998

Parametric Polymorphism for Java: A Reflective Solution.

Jose Solorzano, Suad Alagic

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Orthogonal to the Java Imperative.

Suad Alagic, Jose Solorzano, David Gitchell

Proceedings of the ECOOP'98, 1998

1997

Order-Sorted Model Theory for Temporal Executable Specifications.

Suad Alagic, Mara Alagic

Theor. Comput. Sci., 1997

The ODMG Object Model: Does it Make Sense?

Suad Alagic

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Constrained Matching is Type Safe.

Suad Alagic

Proceedings of the Database Programming Languages, 6th International Workshop, 1997

A Temporal Constraint System for Object-Oriented Databases.

Suad Alagic

Proceedings of the Constraint Databases and Their Applications, 1997

1995

A Statically Typed, Temporal Object-Oriented Database Technology.

Suad Alagic

IEICE Trans. Inf. Syst., 1995

1994

Object-Oriented Type Evolution Using Reflection.

Manicka Surendhar, Suad Alagic

Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

F-Bounded Polymorphism for Database Programming Languages.

Suad Alagic

Proceedings of the East/West Database Workshop, 1994

Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.

Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

Typed Declarative Object-Oriented Database Programming.

Suad Alagic, Rajshekhar Sunderraman, Ashvin Radiya

Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

Expressivity of Typed Logic Paradigms for Object-Oriented Databases.

Suad Alagic, Rajshekhar Sunderraman

Proceedings of the Directions in Databases, 12th British National Conference on Databases, 1994

1992

Associated paper: Polymorphic and Reflective Type Structures.

Suad Alagic

Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Object-Oriented Type Systems.

Suad Alagic

Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1991

Joins as Pullbacks.

Suad Alagic, Mara Alagic

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

1990

Persistent Metaobjects.

Suad Alagic

Proceedings of the Implementing Persistent Object Bases, 1990

Toward Multiparadigm Database Interfaces.

Suad Alagic

Proceedings of the Next Generation Information System Technology, 1990

1989

Object-Oriented Database Programming

Suad Alagic

Texts and Monographs in Computer Science, Springer, ISBN: 0387967540, 1989

1986

Relational Database Technology

Suad Alagic

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-4922-1, 1986

1981

Relational Pascal Data Base Interface.

Suad Alagic, Adnan Kulenovic

Comput. J., 1981

1979

Proof Rules for Gotos.

Michael A. Arbib, Suad Alagic

Acta Informatica, 1979

1978

The Design of Well-Structured and Correct Programs

Suad Alagic, Michael A. Arbib

Texts and Monographs in Computer Science, Springer, ISBN: 3540902996, 1978

1976

Structured extension of COBOL for handling data bases.

Suad Alagic, Adnan Kulenovic, Muhamed Darajlic

Inf. Syst., 1976

1975

Natural State Transformations.

Suad Alagic

J. Comput. Syst. Sci., 1975

1974

Categorical theory of tree processing.

Suad Alagic

Proceedings of the Category Theory Applied to Computation and Control, 1974