Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Zimmermann, Martin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Down the Borel hierarchy: Solving Muller games via safety games
Daniel Neider
,
Roman Rabinovich
,
Martin Zimmermann
Theoretical Computer Science
560, Part 3
, 2014, pp. 219-234
The complexity of counting models of linear-time temporal logic
Hazem Torfah
,
Martin Zimmermann
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 241-252
Optimal bounds in parametric LTL games
Martin Zimmermann
Theoretical Computer Science
493
, 2013, pp. 30-45
Playing Muller games in a hurry
John Fearnley
,
Martin Zimmermann
International Journal of Foundations of Computer Science
23
(3), 2012, pp. 649-668
Cost-parity and cost-Streett games
Nathanael Fijalkow
,
Martin Zimmermann
Leibniz International Proceedings in Informatics (LIPIcs)
18
, 2012, pp. 124-135