Author Info
Name
Affiliation
Papers
MINH-THAI TRINH
Vietnam National University, Hanoi
7
Collaborators
Citations 
PageRank 
11
72
3.49
Referers 
Referees 
References 
168
237
113
Search Limit
100237
Title
Citations
PageRank
Year
Inter-theory dependency analysis for SMT string solvers10.362020
Towards a unified proof framework for automated fixpoint reasoning using matching logic00.342020
Progressive Reasoning Over Recursively-Defined Strings80.462016
Automatic induction proofs of data-structures in imperative programs70.442015
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications421.012014
Bi-Abduction with Pure Properties for Specification Inference.60.432013
FIXBAG: a fixpoint calculator for quantified bag constraints80.462011