Author

Number of items: 3.
Other
  • Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2004) Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran and M. Zolda
  • Measurement-Based Timing Analysis for Reconfigurable Embedded Systems. (2011) Raimund Kirner, Sven Bünte and Michael Zolda
  • Optimised Adaptation of Mixed-criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. (2015) Raimund Kirner, Saverio Iacovelli and Michael Zolda
    • This list was generated on Sat Oct 24 02:41:32 2026 BST.