Name Card

Full name Familienname, Vorname

Mittermayr, Robert

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Mittermayr, Robert ; Blieberger, Johann	Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs	Artikel Article	2021
	2		Sodsong, Wasuwee ; Mittermayr, Robert ; Park, Yoojin ; Burgstaller, Bernd ; Blieberger, Johann	Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores	Konferenzbeitrag Inproceedings	2017
	3		Mittermayr, Robert ; Blieberger, Johann ; Schöbel, Andreas	Kronecker Algebra based Deadlock Analysis for Railway Systems	Artikel Article	2012
	4		Mittermayr, Robert ; Blieberger, Johann	Timing Analysis of Concurrent Programs	Konferenzbeitrag Inproceedings	2012
	5		Mittermayr, Robert ; Blieberger, Johann	Static Partial-Order Reduction of Concurrent Systems in Polynomial Time	Konferenzbeitrag Inproceedings	2008
	6		Burgstaller, Bernd ; Blieberger, Johann ; Mittermayr, Robert	Static Detection of Access Anomalies in Ada95	Konferenzbeitrag Inproceedings	2006