Martin Zimmermann

Diese Website wird nicht mehr aktualisiert. Meine neue Website befindet sich hier: http://www.react.uni-saarland.de/people/zimmermann.html.

Persönliche Informationen

Ich war ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen. Aktuell bin ich Postdoc am Institut für Informatik der Universität Warschau.

Lehre

Wintersemester 2011/12
Proseminar über Automatentheorie
Sommersemester 2011
Übungen zu Angewandte Automatentheorie
Informatik-Praktikum für Mathematiker
Wintersemester 2010/11
Seminar über Automatentheorie
Softwarepraktikum Webprogrammierung und das Satzsystem LaTeX
Sommersemester 2010
Seminar über Automatentheorie
Informatik-Praktikum für Mathematiker
Wintersemester 2009/10
Übungen zu Regular and Context-Free Languages: Advanced Results
Seminar über Automatentheorie
Softwarepraktikum Webprogrammierung und das Satzsystem LaTeX
Sommersemester 2009
Seminar über Automatentheorie

Publikationen

Ausgewählte Vorträge

Solving Infinite Games with Bounds: Slides
Oberseminar Informatik, RWTH Aachen University, Deutschland, Februar 2012
Down the Borel Hierarchy: Solving Muller Games via Safety Games: Slides
Gasics Meeting, Brüssel, Belgien, November 2011
Playing Infinite Games in Finite Time: Slides
AlgoSyn Workshop 2011, Kerkrade, Niederlande, November 2011
Degrees of Lookahead in Context-free Infinite Games: Slides, Extended Abstract
Games Workshop 2011, Paris, Frankreich, August 2011
Optimal Bounds in Parametric LTL Games: Slides
GandALF 2011, Minori, Italien, Juni 2011
Degrees of Lookahead in Context-free Infinite Games: Slides
Gasics Meeting, Mons, Belgien, Mai 2011
Degrees of Lookahead in Context-free Infinite Games: Slides, Extended Abstract
AlMoTh 2011, Leipzig, Deutschland, Februar 2011
Synthesis of Time-optimal Controllers: Slides
Tag der Informatik 2010, RWTH Aachen University, Aachen, Deutschland, Dezember 2010
Optimal Bounds in Parametric LTL Games: Slides
Gasics Meeting, Paris, Frankreich, November 2010
Playing Muller Games in a Hurry: Slides, Extended Abstract
Games Workshop 2010, Oxford, Vereinigtes Königreich, September 2010
Playing Muller Games in a Hurry: Slides, Extended Abstract
MoVeP 2010, Aachen, Deutschland, Juni 2010
Playing Muller Games in a Hurry: Slides
GandALF 2010, Minori, Italien, Juni 2010
Playing Muller Games in a Hurry: Slides
Gasics Meeting, Aalborg, Dänemark, Mai 2010
Time-optimal Strategies for Infinite Games: Slides
DIMAP Seminar, University of Warwick, Coventry, Vereinigtes Königreich, März 2010
Parametric LTL Games: Slides
AlMoTh 2010, Frankfurt am Main, Deutschland, Februar 2010
Parametric LTL Games: Slides
Gasics Meeting, Aachen, Deutschland, Oktober 2009
Prompt and Parametric LTL Games: Slides, Extended Abstract
Games Workshop 2009, Udine, Italien, September 2009
Time-optimal Winning Strategies for Poset Games: Slides
CIAA 2009, Sydney, Australien, Juli 2009
Time-optimal Winning Strategies in Infinite Games: Slides
Gasics Meeting, Brüssel, Belgien, März 2009