Publikationer pr. år
Publikationer pr. år
Personlig profil
Uddannelse (Akademiske kvalifikationer)
Computer Science, PhD, Solving Infinite Games with Bounds, RWTH Aachen University
1 feb. 2009 → 31 jan. 2012
Computer Science, Diploma, Time-optimal Winning Strategies in Infinite Games, RWTH Aachen University
30 sep. 2003 → 31 jan. 2009
Eksterne ansættelser
Lecturer, University of Liverpool
31 okt. 2018 → 31 jul. 2021
Postdoc, Saarland University
1 maj 2013 → 30 sep. 2018
Postdoc, University of Warsaw
1 feb. 2012 → 30 apr. 2013
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Publikationer
-
HYPERLTL SATISFIABILITY IS HIGHLY UNDECIDABLE, HYPERCTL* IS EVEN HARDER
Fortin, M., Kuijer, L. B., Totzke, P. & Zimmermann, M., jan. 2025, I: Logical Methods in Computer Science. 21, 1, s. 3:1-3:39Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil10 Downloads (Pure) -
ON THE EXISTENCE OF REACTIVE STRATEGIES RESILIENT TO DELAY
Fränzle, M., Kröger, P., Winter, S. & Zimmermann, M., 2025, I: Logical Methods in Computer Science. 21, 1, s. 24:1-24:27Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Robust probabilistic temporal logics
Zimmermann, M., feb. 2025, I: Information Processing Letters. 188, 106522.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil8 Downloads (Pure) -
The Complexity of Second-Order HyperLTL
Frenkel, H. & Zimmermann, M., 3 feb. 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 326).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)6 Downloads (Pure) -
A bit of nondeterminism makes pushdown automata expressive and succinct
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., jan. 2024, I: Logical Methods in Computer Science. 20, 1, s. 3:1–3:39 39 s., 39.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)17 Downloads (Pure)