Publications

Automata and Fixpoints for Asynchronous Hyperproperties Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: ((Bitte Journal prüfen)), 5(POPL), 1-29. doi:10.1145/3434319 Research article (journal) \| Peer reviewed \| Published
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 (eds.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, 187-199. Springer. doi:10.1007/978-3-030-68195-1\_14 Research article in edited proceedings (conference) \| Peer reviewed \| Published
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. doi:10.4230/LIPIcs.CONCUR.2020.50 Research article in edited proceedings (conference) \| Peer reviewed \| Published
A Branching Time Variant of CaRet Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (eds.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. Springer. doi:10.1007/978-3-319-94111-0\_9 Research article in edited proceedings (conference) \| Peer reviewed \| Published

Automata and Fixpoints for Asynchronous Hyperproperties Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: ((Bitte Journal prüfen)), 5(POPL), 1-29. doi:10.1145/3434319 Research article (journal) \| Peer reviewed \| Published
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 (eds.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, 187-199. Springer. doi:10.1007/978-3-030-68195-1\_14 Research article in edited proceedings (conference) \| Peer reviewed \| Published
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. doi:10.4230/LIPIcs.CONCUR.2020.50 Research article in edited proceedings (conference) \| Peer reviewed \| Published
A Branching Time Variant of CaRet Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (eds.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. Springer. doi:10.1007/978-3-319-94111-0\_9 Research article in edited proceedings (conference) \| Peer reviewed \| Published