Propositional Dynamic Logic for Hyperproperties. - Jens Oliver Gutsfeld; Markus Müller-Olm; Christoph Ohrem (CONCUR, 2020)

Automata and fixpoints for asynchronous hyperproperties. - Jens Oliver Gutsfeld; Markus Müller-Olm; Christoph Ohrem (Proc. ACM Program. Lang., 2021)

Temporal Team Semantics Revisited. - Jens Oliver Gutsfeld; Arne Meier; Christoph Ohrem; Jonni Virtema (LICS, 2022)

A Navigation Logic for Recursive Programs with Dynamic Thread Creation. - Roman Lakenbrink; Markus Müller-Olm; Christoph Ohrem; Jens Oliver Gutsfeld (VMCAI (2), 2024)

Deciding Asynchronous Hyperproperties for Recursive Programs. - Jens Oliver Gutsfeld; Markus Müller-Olm; Christoph Ohrem (Proc. ACM Program. Lang., 2024)