| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura: A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720 |
| 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 |
| 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] |