Login / Signup
Yeting Ge
Publication Activity (10 Years)
Years Active: 2006-2011
Publications (10 Years): 0
</>
Publications
</>
Temesghen Kahsai
,
Yeting Ge
,
Cesare Tinelli
Instantiation-Based Invariant Discovery.
NASA Formal Methods
(2011)
Yeting Ge
,
Clark W. Barrett
,
Cesare Tinelli
Solving quantified verification conditions using satisfiability modulo theories.
Ann. Math. Artif. Intell.
55 (1-2) (2009)
Yeting Ge
,
Leonardo Mendonça de Moura
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories.
CAV
(2009)
Yeting Ge
,
Clark W. Barrett
,
Cesare Tinelli
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.
CADE
(2007)
Sean McLaughlin
,
Clark W. Barrett
,
Yeting Ge
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite.
Electron. Notes Theor. Comput. Sci.
144 (2) (2006)