Research output per year
Research output per year
Personal profile
Education/Academic qualification
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 Sept 2003 → 31 Jan 2009
External positions
Lecturer, University of Liverpool
31 Oct 2018 → 31 Jul 2021
Postdoc, Saarland University
1 May 2013 → 30 Sept 2018
Postdoc, University of Warsaw
1 Feb 2012 → 30 Apr 2013
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Research output
-
A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., Jan 2024, In: Logical Methods in Computer Science. 20, 1, 39.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
Robust computation tree logic
Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., Mar 2024, (Accepted/In press) In: Innovations in Systems and Software Engineering.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
The complexity of evaluating nfer
Kauffman, S. & Zimmermann, M., Jan 2024, In: Science of Computer Programming. 231, 103012, 103012.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
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. (eds.). World Scientific Publishing Co., p. 425-464 40 p. (Lecture Notes Series, Institute for Mathematical Sciences, Vol. 42).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Open AccessFile1 Citation (Scopus)20 Downloads (Pure) -
History-Deterministic Parikh Automata
Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 279. p. 31:1-31:16 16 p. 31. (Leibniz International Proceedings in Informatics).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)2 Downloads (Pure)