Herr Christoph Ohrem, Institut für Informatik

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, Müller-Olm Markus, Ohrem Christoph Propositional Dynamic Logic for Hyperproperties. 31st International Conference on Concurrency TheoryLIPIcs, 2020 online
E-Mailc_ohre01@uni-muenster.de
Phone+49 251 83-32749
FAX+49 251 83-32729
Room715
Secretary   Sekretariat Claudia Giesbert
Frau Claudia Giesbert
Telefon +49 251 83-33792
Fax +49 251 83-32729
Zimmer 120.002
AddressHerr Christoph Ohrem
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Deutschland
Diese Seite editieren