Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Suad
    Last name: Alagic
    DBLP: a/SuadAlagic
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 45 of 45  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Suad Alagic, Adnan Fazeli.
    Verifiable Object-Oriented Transactions.
    Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday 2014 (0) 2014
    Conference paper
    Suad Alagic.
    Automatic versus interactive program verification.
    Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013 2013 (0) 2013
    Conference paper
    Suad Alagic, Philip A. Bernstein, Ruchi Jairath.
    Object-Oriented Constraints for XML Schema.
    Objects and Databases - Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Suad Alagic, Mark Royer, David Briggs.
    Verification Technology for Object-Oriented/XML Transactions.
    Object Databases, Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Papers 2010 (0) 2009
    Conference paper
    Suad Alagic, Philip A. Bernstein.
    Mapping XSD to OO Schemas.
    Object Databases, Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Papers 2010 (0) 2009
    Conference paper
    David Briggs, Suad Alagic.
    Algebraic specification techniques for parametric types with logic-based constraints.
    Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009 2009 (0) 2009
    Conference paper
    Suad Alagic, Mark Royer.
    Genericity in Java: persistent and database systems implications.
    VLDB J. 2008, Volume 17 (0) 2008
    Conference paper
    Mark Royer, Suad Alagic, Dan Dillon.
    Reflective Constraint Management for Languages on Virtual Platforms.
    Journal of Object Technology 2007, Volume 6 (0) 2007
    Conference paper
    Suad Alagic, Mark Royer, David Briggs.
    Verification Theories for XML Schema.
    BNCOD 2006 (0) 2006
    Conference paper
    Suad Alagic, Mark Royer, David Briggs.
    Program verification techniques for xml schema-based technologies.
    ICSOFT 2006, First International Conference on Software and Data Technologies, Setúbal, Portugal, September 11-14, 2006 2006 (0) 2006
    Conference paper
    Brian Cabana, Suad Alagic, Jeff Faulkner.
    Parametric polymorphism for Java: is there any hope in sight?
    SIGPLAN Notices 2004, Volume 39 (0) 2004
    Conference paper
    Suad Alagic, David Briggs.
    Semantics of Objectified XML Constraints.
    Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers 2004 (0) 2003
    Conference paper
    Suad Alagic, Jeremy S. Logan.
    Consistency of Java Transactions.
    Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers 2004 (0) 2003
    Conference paper
    Suad Alagic, Svetlana Kouznetsova.
    Behavioral Compatibility of Self-Typed Theories.
    ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Suad Alagic.
    Institutions: Integrating Objects, XML and Databases.
    Information Software Technology 2002, Volume 44 (0) 2002
    Conference paper
    Suad Alagic, Philip A. Bernstein.
    A Model Theory for Generic Schema Management.
    Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers 2002 (0) 2001
    Conference paper
    Suad Alagic, Tuong Nguyen.
    Parametric Polymorphism and Orthogonal Persistence.
    Objects and Databases, International Symposium, Sophia Antipolis, France, June 13, 2000, Proceedings 2001 (0) 2000
    Conference paper
    Suad Alagic, Jose Solorzano.
    Java and OQL: A Reflective Solution for the Impedance Mismatch.
    L'OBJET 2000, Volume 6 (0) 2000
    Conference paper
    Suad Alagic.
    Temporal Object-Oriented Programming.
    Comput. J. 2000, Volume 43 (0) 2000
    Conference paper
    Suad Alagic.
    Semantics of Temporal Classes.
    Inf. Comput. 2000, Volume 163 (0) 2000
    Conference paper
    Suad Alagic.
    A Family of the ODMG Object Models.
    Advances in Databases and Information Systems, Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Suad Alagic.
    O2 and The ODMG Standard: Do They Match?
    TAPOS 1999, Volume 5 (0) 1999
    Conference paper
    Suad Alagic.
    Type-Checking OQL Queries In the ODMG Type Systems.
    ACM Trans. Database Syst. 1999, Volume 24 (0) 1999
    Conference paper
    Suad Alagic, Jose Solorzano, David Gitchell.
    Orthogonal to the Java Imperative.
    ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Jose Solorzano, Suad Alagic.
    Parametric Polymorphism for Java: A Reflective Solution.
    OOPSLA 1998 (0) 1998
    Conference paper
    Suad Alagic.
    A Temporal Constraint System for Object-Oriented Databases.
    Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers 1997 (0) 1997
    Conference paper
    Suad Alagic.
    Constrained Matching is Type Safe.
    Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings 1998 (0) 1997
    Conference paper
    Suad Alagic.
    The ODMG Object Model: Does it Make Sense?
    OOPSLA 1997 (0) 1997
    Conference paper
    Suad Alagic, Mara Alagic.
    Order-Sorted Model Theory for Temporal Executable Specifications.
    Theor. Comput. Sci. 1997, Volume 179 (0) 1997
    Journal article
    Suad Alagic.
    A Statically Typed, Temporal Object-Oriented Database Technology.
    IEICE Transactions 1995, Volume 78 (0) 1995
    Conference paper
    Suad Alagic, Rajshekhar Sunderraman.
    Expressivity of Typed Logic Paradigms for Object-Oriented Databases.
    Directions in Databases, 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Suad Alagic, Rajshekhar Sunderraman, Ashvin Radiya.
    Typed Declarative Object-Oriented Database Programming.
    COODBSE 1994 (0) 1994
    Conference paper
    Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai.
    Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.
    Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 1994 (0) 1994
    Conference paper
    Suad Alagic.
    F-Bounded Polymorphism for Database Programming Languages.
    East/West Database Workshop 1994 (0) 1994
    Conference paper
    Manicka Surendhar, Suad Alagic.
    Object-Oriented Type Evolution Using Reflection.
    TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. 1994 (0) 1994
    Conference paper
    Suad Alagic.
    Object-Oriented Type Systems.
    TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. 1992 (0) 1992
    Conference paper
    Suad Alagic.
    Associated paper: Polymorphic and Reflective Type Structures.
    TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. 1992 (0) 1992
    Conference paper
    Suad Alagic, Mara Alagic.
    Joins as Pullbacks.
    FMLDO 1991 (0) 1991
    Conference paper
    Suad Alagic.
    Toward Multiparadigm Database Interfaces.
    East/West Database Workshop 1990 (0) 1990
    Conference paper
    Suad Alagic.
    Persistent Metaobjects.
    Implementing Persistent Object Bases, Principles and Practice, Proceedings of the Fourth International Workshop on Persistent Objects, 23-27 September 1990, Martha's Vineyard, MA, USA 1990 (0) 1990
    Conference paper
    Suad Alagic, Adnan Kulenovic.
    Relational Pascal Data Base Interface.
    Comput. J. 1981, Volume 24 (0) 1981
    Conference paper
    Michael A. Arbib, Suad Alagic.
    Proof Rules for Gotos.
    Acta Inf. 1979, Volume 11 (0) 1979
    Conference paper
    Suad Alagic, Adnan Kulenovic, Muhamed Darajlic.
    Structured extension of COBOL for handling data bases.
    Inf. Syst. 1976, Volume 2 (0) 1976
    Conference paper
    Suad Alagic.
    Natural State Transformations.
    J. Comput. Syst. Sci. 1975, Volume 10 (0) 1975
    Conference paper
    Suad Alagic.
    Categorical theory of tree processing.
    Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings 1975 (0) 1974
    Show item 1 to 45 of 45  

    Your query returned 45 matches in the database.