Christian Dielitz

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Programming Language

Mazurkiewicz Traces

Top Venues

Publications

Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal logics with language parameters. Inf. Comput. 295 (Part B) (2023)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal Logics with Language Parameters. LATA (2021)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal Logics with Language Parameters. CoRR (2019)
Michael Biech, Timo Bigdon, Christian Dielitz, Georg Fromme, Anne Remke
A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange. ASMTA (2016)