Jens Oliver Gutsfeld

Orcid: 0009-0007-5806-441X

According to our database1, Jens Oliver Gutsfeld authored at least 7 papers between 2018 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deciding Asynchronous Hyperproperties for Recursive Programs.
Proc. ACM Program. Lang., January, 2024

A Navigation Logic for Recursive Programs with Dynamic Thread Creation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023
Temporal logics with language parameters.
Inf. Comput., December, 2023

2022
Temporal Team Semantics Revisited.
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.
Proc. ACM Program. Lang., 2021

2020
Propositional Dynamic Logic for Hyperproperties.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2018
A Branching Time Variant of CaRet.
Proceedings of the Model Checking Software - 25th International Symposium, 2018


  Loading...