• Sign in
  • Sign up
conf.researchr.org / Christoph Ohrem
  • POPL 2021 profile
  • POPL 2024 profile
No Photo

Registered user since Tue 31 Oct 2023

Name:Christoph Ohrem
Affiliation:Westfälische Wilhelms-Universität Münster (WWU), Germany

Contributions

2024

POPL

  • Author of Deciding Asynchronous Hyperproperties for Recursive Programs within the POPL-track

VMCAI

  • Author of A Navigation Logic for Recursive Programs with Dynamic Thread Creation within the VMCAI 2024-track

2021

POPL

  • Author of Automata and Fixpoints for Asynchronous Hyperproperties within the POPL-track
Share
xSun 25 May 13:28
using conf.researchr.org (v1.69.0)
Support page
Sign Up