| 2009 |
|---|
| 7 | EE | David Briggs,
Suad Alagic:
Algebraic specification techniques for parametric types with logic-based constraints.
SAC 2009: 1890-1897 |
| 2008 |
|---|
| 6 | EE | David Briggs:
Embedding human scheduling in a steel plant simulation.
Winter Simulation Conference 2008: 1959-1967 |
| 2007 |
|---|
| 5 | EE | Edzer J. Pebesma,
Kor de Jong,
David Briggs:
Interactive visualization of uncertain spatial and spatio-temporal data under different scenarios: an air quality example.
International Journal of Geographical Information Science 21(5): 515-527 (2007) |
| 2006 |
|---|
| 4 | EE | Suad Alagic,
Mark Royer,
David Briggs:
Verification Theories for XML Schema.
BNCOD 2006: 262-265 |
| 3 | | Suad Alagic,
Mark Royer,
David Briggs:
Program verification techniques for xml schema-based technologies.
ICSOFT (2) 2006: 86-93 |
| 2003 |
|---|
| 2 | EE | Suad Alagic,
David Briggs:
Semantics of Objectified XML Constraints.
DBPL 2003: 147-165 |
| 2001 |
|---|
| 1 | | Linda Beale,
Hugh Matthews,
Phil D. Picton,
David Briggs:
MAGUS: modelling access with GIS in urban systems.
HCI 2001: 552-556 |
