Items where Author is "Zolda, M."

Item Type No Grouping

Context-sensitive measurement-based worst-case execution time estimation. (2011) M. Zolda, S. Bünte and Raimund Kirner

Context-sensitivity in IPET for measurement-based timing analysis. (2010) M. Zolda, S. Bünte and Raimund Kirner

Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2004) Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran and M. Zolda