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

    Your query returned 45 matches in the database.