Christoph Dittmann

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Tree Decompositions

Alternating Time Temporal Logic

Proof Procedure

Top Venues

Arch. Formal Proofs

Theor. Comput. Sci.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Christoph Dittmann
Menger's Theorem. Arch. Formal Proofs 2017 (2017)
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
Graph operations on parity games and polynomial-time algorithms. Theor. Comput. Sci. 614 (2016)
Christoph Dittmann
Tree Decomposition. Arch. Formal Proofs 2016 (2016)
Christoph Dittmann
Positional Determinacy of Parity Games. Arch. Formal Proofs 2015 (2015)
Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
Decomposition Theorems and Model-Checking for the Modal $μ$-Calculus. CoRR (2014)
Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
-calculus. CSL-LICS (2014)
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
Graph Operations on Parity Games and Polynomial-Time Algorithms CoRR (2012)