Author Info
Name
Affiliation
Papers
KE XU
Morgan Stanley, Shanghai , China
1
Collaborators
Citations 
PageRank 
8
1
0.36
Referers 
Referees 
References 
5
41
16
Title
Citations
PageRank
Year
Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows10.362011