Michael Zolda

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

Coauthor Index

1	Uwe Egly	[1]
2	Martina Seidl	[1]
3	Hans Tompits	[1]
4	Stefan Woltran	[1]