| |
| 2008 | ||
|---|---|---|
| 2 | EE | Michael Zolda: INFER: Interactive Timing Profiles based on Bayesian Networks. WCET 2008 |
| 2003 | ||
| 1 | EE | Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda: Comparing Different Prenexing Strategies for Quantified Boolean Formulas. SAT 2003: 214-228 |
| 1 | Uwe Egly | [1] |
| 2 | Martina Seidl | [1] |
| 3 | Hans Tompits | [1] |
| 4 | Stefan Woltran | [1] |