Personal information

Websites & social links

http://logic.las.tu-berlin.de/Members/Dittmann/

Countries

Germany

Activities

Collapse all

Employment (1)

Technische Universität Berlin: Berlin, DE

2012-01-01 to 2017-02-28 (Logic and Semantics Research Group, Faculty IV)
Employment
Source: Self-asserted source
Christoph Dittmann

Education and qualifications (4)

Technische Universität Berlin: Berlin, Berlin, DE

2012-01-01 to 2017-02-28 | Dr. rer. nat. (Logic and Semantics Research Group, Faculty IV)
Education
Source: Self-asserted source
Christoph Dittmann

Technische Universität Darmstadt: Darmstadt, Hessen, DE

2005-10-01 to 2011-10-31 | Diplom-Mathematiker (Dipl.-Math.) (Fachbereich Mathematik)
Education
Source: Self-asserted source
Christoph Dittmann

Technische Universität Darmstadt: Darmstadt, Hessen, DE

2008-04-01 to 2010-09-02 | Bachelor of Science (B.Sc.) (Fachbereich Informatik)
Education
Source: Self-asserted source
Christoph Dittmann

University of Saskatchewan: Saskatoon, SK, CA

2007-09-01 to 2008-03-31
Education
Source: Self-asserted source
Christoph Dittmann

Works (5)

Parity games, separations, and the modal μ-calculus

2017-02 | Dissertation or Thesis
DOI: 10.14279/depositonce-5700
ISBN: 978-3-7983-2887-7
Source: Self-asserted source
Christoph Dittmann

Tree Decomposition

Archive of Formal Proofs
2016-05-31 | Journal article
Source: Self-asserted source
Christoph Dittmann

Graph operations on parity games and polynomial-time algorithms

Theoretical Computer Science
2016-02 | Journal article
DOI: 10.1016/j.tcs.2015.11.044
Contributors: Christoph Dittmann; Stephan Kreutzer; Alexandru I. Tomescu
Source: Self-asserted source
Christoph Dittmann via Crossref Metadata Search

Positional Determinacy of Parity Games

Archive of Formal Proofs
2015-11-02 | Journal article
Source: Self-asserted source
Christoph Dittmann

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

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) - CSL-LICS '14
2014 | Conference paper
DOI: 10.1145/2603088.2603144
Contributors: Mikolaj Bojanczyk; Christoph Dittmann; Stephan Kreutzer
Source: Self-asserted source
Christoph Dittmann via Crossref Metadata Search
How many people are using ORCID?