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.
[BibTeX]
[DOI]
Jens Oliver Gutsfeld
,
Markus Müller-Olm
,
Christoph Ohrem
Proc. ACM Program. Lang., 2021

Temporal Logics with Language Parameters.
[BibTeX]
[DOI]
Jens Oliver Gutsfeld
,
Markus Müller-Olm
,
Christian Dielitz
Proceedings of the Language and Automata Theory and Applications, 2021

2020
Propositional Dynamic Logic for Hyperproperties.
[BibTeX]
[DOI]
Jens Oliver Gutsfeld
,
Markus Müller-Olm
,
Christoph Ohrem
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2018
A Branching Time Variant of CaRet.
[BibTeX]
[DOI]
Jens Oliver Gutsfeld
,
Markus Müller-Olm
,
Benedikt Nordhoff
Proceedings of the Model Checking Software - 25th International Symposium, 2018


  Loading...