Search the dblp DataBase
David W. J. Stringer-Calvert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert
NEVRLATE: Scalable Resource Discovery. [Citation Graph (0, 0)][DBLP]
CCGRID, 2002, pp:382-388 [Conf] - Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert
PVS: An Experience Report. [Citation Graph (0, 0)][DBLP]
FM-Trends, 1998, pp:338-345 [Conf] - David W. J. Stringer-Calvert, Susan Stepney, Ian Wand
Using PVS to Prove a Z Refinement: A Case Study. [Citation Graph (0, 0)][DBLP]
FME, 1997, pp:573-588 [Conf] - Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. [Citation Graph (0, 0)][DBLP]
TACAS, 2002, pp:205-220 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
BMC Bioinformatics, 2006, v:7, n:, pp:170- [Journal] - David W. J. Stringer-Calvert
Digital Evidence. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 2002, v:45, n:4, pp:128- [Journal]
Search in 0.003secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002