No current affiliations available for this person. The person is no longer active at the university.

Automata and Fixpoints for Asynchronous Hyperproperties Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: Proc. ACM Program. Lang. (POPL), 5(POPL) Type of Publication: Research article (journal)
Propositional Dynamic Logic for Hyperproperties Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph (2020) In: Konnov Igor, Kovács Laura (eds.), 31st International Conference on Concurrency Theory. Dagstuhl Publishing. Type of Publication: Research article in edited proceedings (conference)