Christoph Ohrem

According to our database, Christoph Ohrem authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Deciding Asynchronous Hyperproperties for Recursive Programs.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proc. ACM Program. Lang., January, 2024

A Navigation Logic for Recursive Programs with Dynamic Thread Creation.

Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

Temporal Team Semantics Revisited.

Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Automata and fixpoints for asynchronous hyperproperties.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proc. ACM Program. Lang., 2021

2020

Propositional Dynamic Logic for Hyperproperties.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proceedings of the 31st International Conference on Concurrency Theory, 2020