Author Info
Name
Affiliation
Papers
YETING GE
Department of Computer Science, New York University
4
Collaborators
Citations 
PageRank 
6
182
5.90
Referers 
Referees 
References 
317
126
58
Search Limit
100317
Title
Citations
PageRank
Year
Instantiation-Based Invariant Discovery200.982011
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories872.212009
Solving quantified verification conditions using satisfiability modulo theories491.472009
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite261.242006