MAGUS: modelling access with GIS in urban systems. - Linda Beale; Hugh Matthews; Phil D. Picton; David Briggs (HCI, 2001)

Semantics of Objectified XML Constraints. - Suad Alagic; David Briggs (DBPL, 2003)

Reducing voltage rating and cost of vehicle power systems with a new transient voltage suppression technology. - Zheng John Shen; Francine Y. Robb; Steve P. Robb; David Briggs (IEEE Trans. Veh. Technol., 2003)

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)

Interactive visualization of uncertain spatial and spatio-temporal data under different scenarios: an air quality example. - Edzer J. Pebesma; Kor de Jong; David Briggs (Int. J. Geogr. Inf. Sci., 2007)

Embedding human scheduling in a steel plant simulation. - David Briggs (WSC, 2008)

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

Algebraic specification techniques for parametric types with logic-based constraints. - David Briggs; Suad Alagic (SAC, 2009)

Structural identifiability of surface binding reactions involving heterogeneous analyte: Application to surface plasmon resonance experiments. - Neil D. Evans; Harold A. J. Moyse; Dave Lowe; David Briggs; Robert Higgins; Daniel Mitchell; Daniel Zehnder; Michael J. Chappell (Autom., 2013)

A GIS-based urban simulation model for environmental health analysis. - Daniela Fecht; Linda Beale; David Briggs (Environ. Model. Softw., 2014)

Decision tree and random forest models for outcome prediction in antibody incompatible kidney transplantation. - Torgyn Shaikhina; Dave Lowe; Sunil Daga; David Briggs; Robert Higgins; Natasha A. Khovanova (Biomed. Signal Process. Control., 2019)