Christoph M. Wintersteiger

	2009
3		Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720
	2008
2		Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
	2007
1		Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger: A First Step Towards a Unified Proof Checker for QBF. SAT 2007: 201-214

Coauthor Index

1	Armin Biere	[1]
2	Youssef Hamadi	[3]
3	Toni Jussila	[1]
4	Daniel Kroening (Daniel Kröning)	[1] [2]
5	Leonardo Mendonça de Moura	[3]
6	Natasha Sharygina	[2]
7	Carsten Sinz	[1]
8	Stefano Tonetta	[2]
9	Aliaksei Tsitovich	[2]

Colors in the list of coauthors