Yeting Ge

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Yeting Ge, Leonardo Mendonça de Moura: Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. CAV 2009: 306-320

2007

2 Yeting Ge, Clark Barrett, Cesare Tinelli: Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. CADE 2007: 167-182

2006

1 Sean McLaughlin, Clark Barrett, Yeting Ge: Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. Electr. Notes Theor. Comput. Sci. 144(2): 43-51 (2006)

	2009
3		Yeting Ge, Leonardo Mendonça de Moura: Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. CAV 2009: 306-320
	2007
2		Yeting Ge, Clark Barrett, Cesare Tinelli: Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. CADE 2007: 167-182
	2006
1		Sean McLaughlin, Clark Barrett, Yeting Ge: Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. Electr. Notes Theor. Comput. Sci. 144(2): 43-51 (2006)

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[1] [2]
2	Sean McLaughlin	[1]
3	Leonardo Mendonça de Moura	[3]
4	Cesare Tinelli	[2]