Mark Royer

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Suad Alagic, Mark Royer, David Briggs
Verification Technology for Object-Oriented/XML Transactions. ICOODB (2009)
Suad Alagic, Mark Royer
Genericity in Java: persistent and database systems implications. VLDB J. 17 (4) (2008)
Mark Royer, Suad Alagic, Dan Dillon
Reflective Constraint Management for Languages on Virtual Platforms. J. Object Technol. 6 (10) (2007)
Suad Alagic, Mark Royer, David Briggs
Program verification techniques for xml schema-based technologies. ICSOFT (2) (2006)
Suad Alagic, Mark Royer, David Briggs
Verification Theories for XML Schema. BNCOD (2006)