 | 2006 |
|---|
| 6 |       | Thomas J. Lee,
Yannick Pouliot,
Valerie Wagner,
Priyanka Gupta,
David W. J. Stringer-Calvert,
Jessica D. Tenenbaum,
Peter D. Karp:
BioWarehouse: a bioinformatics database warehouse toolkit.
BMC Bioinformatics 7: 170 (2006) |
| 2002 |
|---|
| 5 | | Ajay Chander,
Steven Dawson,
Patrick Lincoln,
David W. J. Stringer-Calvert:
NEVRLATE: Scalable Resource Discovery.
CCGRID 2002: 382-388 |
| 4 | | Taeho Kim,
David W. J. Stringer-Calvert,
Sung Deok Cha:
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.
TACAS 2002: 205-220 |
| 3 | | David W. J. Stringer-Calvert:
Digital Evidence.
Commun. ACM 45(4): 128 (2002) |
| 1998 |
|---|
| 2 | | Sam Owre,
John M. Rushby,
Natarajan Shankar,
David W. J. Stringer-Calvert:
PVS: An Experience Report.
FM-Trends 1998: 338-345 |
| 1997 |
|---|
| 1 | | David W. J. Stringer-Calvert,
Susan Stepney,
Ian Wand:
Using PVS to Prove a Z Refinement: A Case Study.
FME 1997: 573-588 |
