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)

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