Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Automata and Fixpoints for Asynchronous Hyperproperties Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: Proc. ACM Program. Lang. (POPL), 5(POPL) Art der Publikation: Forschungsartikel (Zeitschrift)
Temporal Logics with Language Parameters Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021) In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (Hrsg.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings. Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Propositional Dynamic Logic for Hyperproperties Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph (2020) In: Konnov Igor, Kovács Laura (Hrsg.), 31st International Conference on Concurrency Theory. Dagstuhl Publishing. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
A Branching Time Variant of CaRet Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (Hrsg.), Model Checking Software - 25th International Symposium, SPIN 2018. Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)