Author Info
Name
Papers
Collaborators
DAVID W. J. STRINGER-CALVERT
3
11
Citations 
PageRank 
Referers 
130
6.06
480
Referees 
References 
158
59
Search Limit
100480
Title
Citations
PageRank
Year
BioWarehouse: a bioinformatics database warehouse toolkit.1023.702006
PVS: An Experience Report191.691998
Using PVS to Prove a Z Refinement: A Case Study90.671997