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 25 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
    Show item 1 to 25 of 45  

    Your query returned 45 matches in the database.