Christoph Dittmann

According to our database, Christoph Dittmann authored at least 7 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Parity games, separations, and the modal μ-calculus.

Christoph Dittmann

PhD thesis, 2017

Menger's Theorem.

Christoph Dittmann

Arch. Formal Proofs, 2017

2016

Graph operations on parity games and polynomial-time algorithms.

Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu

Theor. Comput. Sci., 2016

Tree Decomposition.

Christoph Dittmann

Arch. Formal Proofs, 2016

2015

Positional Determinacy of Parity Games.

Christoph Dittmann

Arch. Formal Proofs, 2015

2014

Decomposition Theorems and Model-Checking for the Modal $μ$-Calculus.

Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer

CoRR, 2014

Decomposition theorems and model-checking for the modal <i>μ</i>-calculus.

Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014