| Current Publications | • Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph Automata and Fixpoints for Asynchronous Hyperproperties. Proc. ACM Program. Lang. (POPL) Vol. 5 (POPL), 2021, pp 1-29 online • Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian Temporal Logics with Language Parameters. Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, ProceedingsLecture Notes in Computer Science, 2021, pp 187-199 online • Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph Propositional Dynamic Logic for Hyperproperties. 31st International Conference on Concurrency TheoryLIPIcs, 2020 online • Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt A Branching Time Variant of CaRet. Model Checking Software - 25th International Symposium, SPIN 2018Lecture Notes in Computer Science, 2018, pp 153-170 online | j_guts01@uni-muenster.de |
| Phone | +49 251 83-32678 |
| FAX | +49 251 83-32729 |
| Room | 717 |
| Secretary | Sekretariat Claudia Giesbert Frau Claudia Giesbert Telefon +49 251 83-33792 Fax +49 251 83-32729 Zimmer 120.002 |
| Address | Herr Jens Gutsfeld Institut für Informatik Fachbereich Mathematik und Informatik der Universität Münster Einsteinstrasse 62 48149 Münster Deutschland |
| Diese Seite editieren |