|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Briggs, Suad Alagic |
Algebraic specification techniques for parametric types with logic-based constraints.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
parametric types, verification theories, assertions, PVS, JML |
| 1 | Suad Alagic, Mark Royer, David Briggs |
Verification Technology for Object-Oriented/XML Transactions. |
ICOODB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Briggs |
Embedding human scheduling in a steel plant simulation. |
Winter Simulation Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Suad Alagic, Mark Royer, David Briggs |
Program verification techniques for xml schema-based technologies. |
ICSOFT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Suad Alagic, Mark Royer, David Briggs |
Verification Theories for XML Schema. |
BNCOD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Suad Alagic, David Briggs |
Semantics of Objectified XML Constraints. |
DBPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Beale, Hugh Matthews, Phil D. Picton, David Briggs |
MAGUS: modelling access with GIS in urban systems. |
HCI |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")