Search the dblp DataBase

Publications of Author

1. Suad Alagic, Mark Royer, David Briggs
   Verification Theories for XML Schema. [Citation Graph (0, 0)][DBLP]
   BNCOD, 2006, pp:262-265 [Conf]
   
2. Suad Alagic, David Briggs
   Semantics of Objectified XML Constraints. [Citation Graph (0, 0)][DBLP]
   DBPL, 2003, pp:147-165 [Conf]
   
3. Linda Beale, Hugh Matthews, Phil D. Picton, David Briggs
   MAGUS: modelling access with GIS in urban systems. [Citation Graph (0, 0)][DBLP]
   HCI, 2001, pp:552-556 [Conf]
   
4. Suad Alagic, Mark Royer, David Briggs
   Program verification techniques for xml schema-based technologies. [Citation Graph (0, 0)][DBLP]
   ICSOFT (2), 2006, pp:86-93 [Conf]
   
5. 
   Algebraic specification techniques for parametric types with logic-based constraints. [Citation Graph (, )][DBLP]
   
   
6. 
   Embedding human scheduling in a steel plant simulation. [Citation Graph (, )][DBLP]
   
   
7. 
   Verification Technology for Object-Oriented/XML Transactions. [Citation Graph (, )][DBLP]