Christoph M. Wintersteiger

2008
2	EE	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
2007
1	EE	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	Toni Jussila	[1]
3	Daniel Kroening (Daniel Kröning)	[1] [2]
4	Natasha Sharygina	[2]
5	Carsten Sinz	[1]
6	Stefano Tonetta	[2]
7	Aliaksei Tsitovich	[2]