Author Info
Name
Affiliation
Papers
TON CHANH LE
Natl Univ Singapore, Dept Comp Sci, Singapore 117548, Singapore
7
Collaborators
Citations 
PageRank 
8
23
2.69
Referers 
Referees 
References 
60
189
124
Search Limit
100189
Title
Citations
PageRank
Year
Automated lemma synthesis in symbolic-heap separation logic10.352018
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).00.342017
Automated Mutual Explicit Induction Proof in Separation Logic.40.402016
Termination and non-termination specification inference130.532015
A Resource-Based Logic for Termination and Non-termination Proofs.50.402014
A Proof Slicing Framework for Program Verification.00.342013
Preliminary Notes on Termination and Non-Termination Reasoning.00.342013