David W. J. Stringer-Calvert

Publication Activity (10 Years)

Years Active: 1997-2006
Publications (10 Years): 0

Publications

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 Bioinform. 7 (2006)
Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
Formal verification of functional properties of a SCR-style software requirements specification using PVS. Reliab. Eng. Syst. Saf. 87 (3) (2005)
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)
Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert
NEVRLATE: Scalable Resource Discovery. CCGRID (2002)
David W. J. Stringer-Calvert
Digital Evidence. Commun. ACM 45 (4) (2002)
Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert
PVS: An Experience Report. FM-Trends (1998)
David W. J. Stringer-Calvert, Susan Stepney, Ian Wand
Using PVS to Prove a Z Refinement: A Case Study. FME (1997)