Jens Oliver Gutsfeld

Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Publikationen

Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021)
In: ((Bitte Journal prüfen))5(POPL)1-29. doi:10.1145/3434319
Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021)
In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (Hrsg.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings187-199Springer. doi:10.1007/978-3-030-68195-1\_14
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph  (2020)
In: Konnov Igor, Kovács Laura (Hrsg.), 31st International Conference on Concurrency TheoryDagstuhl Publishing. doi:10.4230/LIPIcs.CONCUR.2020.50
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018)
In: Gallardo María-del-Mar, Merino Pedro (Hrsg.), Model Checking Software - 25th International Symposium, SPIN 2018153-170Springer. doi:10.1007/978-3-319-94111-0\_9
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht