Author Info
Name
Affiliation
Papers
KAILIANG JI
Univ Paris Diderot, IRIF, Paris, France
2
Collaborators
Citations 
PageRank 
6
1
0.68
Referers 
Referees 
References 
5
49
21
Title
Citations
PageRank
Year
Towards Combining Model Checking and Proof Checking00.342019
On The Completeness Of Verifying Message Passing Programs Under Bounded Asynchrony10.352018