Decomposition theorems and model-checking for the modal μ-calculus. - Mikolaj Bojanczyk; Christoph Dittmann; Stephan Kreutzer (CSL-LICS, 2014)

Decomposition Theorems and Model-Checking for the Modal $μ$-Calculus. - Mikolaj Bojanczyk; Christoph Dittmann; Stephan Kreutzer (CoRR, 2014)

Positional Determinacy of Parity Games. - Christoph Dittmann (Arch. Formal Proofs, 2015)

Tree Decomposition. - Christoph Dittmann (Arch. Formal Proofs, 2016)

Graph operations on parity games and polynomial-time algorithms. - Christoph Dittmann; Stephan Kreutzer; Alexandru I. Tomescu (Theor. Comput. Sci., 2016)

Menger's Theorem. - Christoph Dittmann (Arch. Formal Proofs, 2017)

Parity games, separations, and the modal μ-calculus. - Christoph Dittmann (2017)