default search action

combined dblp search
author search
venue search
publication search

ask others

David W. J. Stringer-Calvert

David William John Stringer-Calvert

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/LeePWGSTK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/LeePWGSTK06
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: 170 (2006)
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/KimSC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/KimSC05
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): 351-363 (2005)
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Stringer-Calvert02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Stringer-Calvert02
David W. J. Stringer-Calvert:
Digital Evidence. Commun. ACM 45(4): 128 (2002)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ccgrid/ChanderDLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccgrid/ChanderDLS02
Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert:
NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KimSC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KimSC02
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

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/StringerCalvert98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/StringerCalvert98
David William John Stringer-Calvert:
Mechanical verification of compiler correctness. University of York, UK, 1998
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/OwreRSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/OwreRSS98
Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert:
PVS: An Experience Report. FM-Trends 1998: 338-345
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Stringer-CalvertSW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Stringer-CalvertSW97
David W. J. Stringer-Calvert, Susan Stepney, Ian Wand:
Using PVS to Prove a Z Refinement: A Case Study. FME 1997: 573-588

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.