Author Info
Name
Affiliation
Papers
SHENGYI WANG
Peking Univ, LMAM, Sch Math, Beijing 100871, Peoples R China
3
Collaborators
Citations 
PageRank 
7
1
1.06
Referers 
Referees 
References 
1
18
10
Title
Citations
PageRank
Year
Certifying graph-manipulating C programs via localizations within data structures00.342019
Certified Reasoning with Infinity.10.382015
A Tool for Estimating Memory Usage00.342009