Categorical theory of tree processing. - Suad Alagic (Category Theory Applied to Computation and Control, 1974)

Natural State Transformations. - Suad Alagic (J. Comput. Syst. Sci., 1975)

Structured extension of COBOL for handling data bases. - Suad Alagic; Adnan Kulenovic; Muhamed Darajlic (Inf. Syst., 1976)

The Design of Well-Structured and Correct Programs - Suad Alagic; Michael A. Arbib (Springer, 1978)

Proof Rules for Gotos. - Michael A. Arbib; Suad Alagic (Acta Informatica, 1979)

Relational Pascal Data Base Interface. - Suad Alagic; Adnan Kulenovic (Comput. J., 1981)

Relational Database Technology - Suad Alagic (Springer, 1986)

Object-Oriented Database Programming - Suad Alagic (Springer, 1989)

Toward Multiparadigm Database Interfaces. - Suad Alagic (East/West Database Workshop, 1990)

Persistent Metaobjects. - Suad Alagic (POS, 1990)

Joins as Pullbacks. - Suad Alagic; Mara Alagic (FMLDO, 1991)

Object-Oriented Type Systems. - Suad Alagic (TOOLS (8), 1992)

Associated paper: Polymorphic and Reflective Type Structures. - Suad Alagic (TOOLS (8), 1992)

Expressivity of Typed Logic Paradigms for Object-Oriented Databases. - Suad Alagic; Rajshekhar Sunderraman (BNCOD, 1994)

Typed Declarative Object-Oriented Database Programming. - Suad Alagic; Rajshekhar Sunderraman; Ashvin Radiya (COODBSE, 1994)

Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. - Suad Alagic; Rajshekhar Sunderraman; Rajiv Bagai (ECOOP, 1994)

F-Bounded Polymorphism for Database Programming Languages. - Suad Alagic (East/West Database Workshop, 1994)

Object-Oriented Type Evolution Using Reflection. - Manicka Surendhar; Suad Alagic (TOOLS (13), 1994)

A Statically Typed, Temporal Object-Oriented Database Technology. - Suad Alagic (IEICE Trans. Inf. Syst., 1995)

A Temporal Constraint System for Object-Oriented Databases. - Suad Alagic (CDB, 1997)

Constrained Matching is Type Safe. - Suad Alagic (DBPL, 1997)

The ODMG Object Model: Does it Make Sense? - Suad Alagic (OOPSLA, 1997)

Order-Sorted Model Theory for Temporal Executable Specifications. - Suad Alagic; Mara Alagic (Theor. Comput. Sci., 1997)

Orthogonal to the Java Imperative. - Suad Alagic; Jose Solorzano; David Gitchell (ECOOP, 1998)

Parametric Polymorphism for Java: A Reflective Solution. - Jose Solorzano; Suad Alagic (OOPSLA, 1998)

A Family of the ODMG Object Models. - Suad Alagic (ADBIS, 1999)

O2 and The ODMG Standard: Do They Match? - Suad Alagic (Theory Pract. Object Syst., 1999)

Type-Checking OQL Queries In the ODMG Type Systems. - Suad Alagic (ACM Trans. Database Syst., 1999)

Parametric Polymorphism and Orthogonal Persistence. - Suad Alagic; Tuong Nguyen (Objects and Databases, 2000)

Java and OQL: A Reflective Solution for the Impedance Mismatch. - Suad Alagic; Jose Solorzano (Obj. Logiciel Base données Réseaux, 2000)

Temporal Object-Oriented Programming. - Suad Alagic (Comput. J., 2000)

Semantics of Temporal Classes. - Suad Alagic (Inf. Comput., 2000)

A Model Theory for Generic Schema Management. - Suad Alagic; Philip A. Bernstein (DBPL, 2001)

Behavioral Compatibility of Self-Typed Theories. - Suad Alagic; Svetlana Kouznetsova (ECOOP, 2002)

Institutions: Integrating Objects, XML and Databases. - Suad Alagic (Inf. Softw. Technol., 2002)

Semantics of Objectified XML Constraints. - Suad Alagic; David Briggs (DBPL, 2003)

Consistency of Java Transactions. - Suad Alagic; Jeremy Logan (DBPL, 2003)

Parametric polymorphism for Java: is there any hope in sight? - Brian Cabana; Suad Alagic; Jeff Faulkner (ACM SIGPLAN Notices, 2004)

Verification Theories for XML Schema. - Suad Alagic; Mark Royer; David Briggs (BNCOD, 2006)

Program verification techniques for xml schema-based technologies. - Suad Alagic; Mark Royer; David Briggs (ICSOFT (2), 2006)

Reflective Constraint Management for Languages on Virtual Platforms. - Mark Royer; Suad Alagic; Dan Dillon (J. Object Technol., 2007)

Genericity in Java: persistent and database systems implications. - Suad Alagic; Mark Royer (VLDB J., 2008)

Mapping XSD to OO Schemas. - Suad Alagic; Philip A. Bernstein (ICOODB, 2009)

Verification Technology for Object-Oriented/XML Transactions. - Suad Alagic; Mark Royer; David Briggs (ICOODB, 2009)

Algebraic specification techniques for parametric types with logic-based constraints. - David Briggs; Suad Alagic (SAC, 2009)

Object-Oriented Constraints for XML Schema. - Suad Alagic; Philip A. Bernstein; Ruchi Jairath (ICOODB, 2010)

Automatic versus interactive program verification. - Suad Alagic (HILT, 2013)

Verifiable Object-Oriented Transactions. - Suad Alagic; Adnan Fazeli (Concurrent Objects and Beyond, 2014)

Object-Oriented Technology - Suad Alagic (Springer, 2015)

Software Engineering: Specification, Implementation, Verification - Suad Alagic (Springer, 2017)