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
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Publikationer
-
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, 39.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Robust computation tree logic
Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., mar. 2024, (Accepteret/In press) I: Innovations in Systems and Software Engineering.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
The complexity of evaluating nfer
Kauffman, S. & Zimmermann, M., jan. 2024, I: Science of Computer Programming. 231, 103012, 103012.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Weak Muller Conditions Make Delay Games Hard
Winter, S. & Zimmermann, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. Greenberg, N., Jain, S., Yang, Y., Stephan, F., Ng, K. M., Wu, G. & Schewe, S. (red.). World Scientific Publishing Co., s. 425-464 40 s. (Lecture Notes Series, Institute for Mathematical Sciences, Bind 42).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)20 Downloads (Pure) -
History-Deterministic Parikh Automata
Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 279. s. 31:1-31:16 16 s. 31. (Leibniz International Proceedings in Informatics).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)2 Downloads (Pure)