Christoph Dittmann

Tree Decomposition

Christoph Dittmann, 2016, Arch. Formal Proofs.

Positional Determinacy of Parity Games

Christoph Dittmann, 2015, Arch. Formal Proofs.

Menger's Theorem

Christoph Dittmann, 2017, Arch. Formal Proofs.

Graph operations on parity games and polynomial-time algorithms

Stephan Kreutzer, Alexandru I. Tomescu, Christoph Dittmann, 2016, Theor. Comput. Sci..

Atmospheric correction of 2000 HyMAP data in the framework of the EU-project MINEO

Rudolf Richter, Andreas Brunn, Christoph Dittmann, 2002, SPIE Remote Sensing.

Quality Assessment, Atmospheric and Geometric Correction of Airborne Hyperspectral HyMap Data

Rudolf Richter, Andreas Brunn, Christoph Dittmann, 2003 .

Parity games, separations, and the modal μ-calculus

Christoph Dittmann, Christoph Dittmann, 2017 .

Decomposition theorems and model-checking for the modal μ-calculus

Stephan Kreutzer, Mikolaj Bojanczyk, Christoph Dittmann, 2014, CSL-LICS.