dblp.uni-trier.dewww.uni-trier.de

David W. J. Stringer-Calvert

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEThomas 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
5EEAjay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert: NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388
4EETaeho 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
3EEDavid 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

Coauthor Index

1Sung Deok Cha [4]
2Ajay Chander [5]
3Steven Dawson [5]
4Priyanka Gupta [6]
5Peter D. Karp [6]
6Taeho Kim [4]
7Thomas J. Lee [6]
8Patrick Lincoln [5]
9Sam Owre [2]
10Yannick Pouliot [6]
11John M. Rushby [2]
12Natarajan Shankar [2]
13Susan Stepney [1]
14Jessica D. Tenenbaum [6]
15Valerie Wagner [6]
16Ian Wand [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)