Mark Royer

According to our database, Mark Royer authored at least 5 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Verification Technology for Object-Oriented/XML Transactions.

Suad Alagic, Mark Royer, David Briggs

Proceedings of the Object Databases, Second International Conference, 2009

2008

Genericity in Java: persistent and database systems implications.

Suad Alagic, Mark Royer

VLDB J., 2008

2007

Reflective Constraint Management for Languages on Virtual Platforms.

Mark Royer, Suad Alagic, Dan Dillon

J. Object Technol., 2007

2006

Program verification techniques for xml schema-based technologies.

Suad Alagic, Mark Royer, David Briggs

Proceedings of the ICSOFT 2006, 2006

Verification Theories for XML Schema.

Suad Alagic, Mark Royer, David Briggs

Proceedings of the Flexible and Efficient Information Handling, 2006