David Briggs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2009
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SAC | Algebraic specification techniques for parametric types with logic-based constraints. | David Briggs, Suad Alagic |
| 2008 | WSC | Embedding human scheduling in a steel plant simulation. | David Briggs |
| 2006 | ICSoft | Program verification techniques for xml schema-based technologies. | Suad Alagic, Mark Royer, David Briggs |
| 2001 | HCI | MAGUS: modelling access with GIS in urban systems. | Linda Beale, Hugh Matthews, Phil D. Picton, David Briggs |