Jens Oliver Gutsfeld

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Automata and fixpoints for asynchronous hyperproperties.
Proc. ACM Program. Lang., 2021

Temporal Logics with Language Parameters.
Proceedings of the Language and Automata Theory and Applications, 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...