Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21711
Fax:	+49-241-80-22215
Büro:	4114a (E1) / Ahornstr. 55
E-Mail:	rabinovich [AT] logic.rwth-aachen.de

Sprechstunden

Nach Vereinbarung

Forschung

• Komplexitätsmaße für Graphen
• Strategien mit endlichem Speicher
• Zerlegungen der gerichteten Graphen

Lehre

• Sommersemester 2011
• Seminar Logik, Komplexität, Spiele: Algorithmische Aspekte der Paritätsspiele
• Wintersemester 2010/2011
• Übungen zur Vorlesung Mathematische Logik II
• Seminar Logik, Komplexität, Spiele: Bewachte Logiken
• Sommersemester 2010
• Seminar Logik, Komplexität, Spiele: Strukturkomplexität von Graphen und Graph Searching Games — Einführungsvortrag
• Wintersemester 2009/2010
• Seminar Logik, Komplexität, Spiele: Moderne Lösungskonzepte in der Spieltheorie
• Sommersemester 2008
  • Seminar Logik, Komplexität, Spiele: Fixpunktlogiken
  • Übungen zur Vorlesung Mathematische Logik
• Wintersemester 2008/09
• Seminar Logik, Komplexität, Spiele: Logik und (Un)Abhängigkeit
• Übungen zur Vorlesung Mathematische Logik II

Vorträge

• Folien zum Vortrag bei GAMES, Paris 2011
• Folien zum Vortrag bei der Schüleruni Informatik, Aachen 08.2011 und der Ringvorlesung Informatik, RWTH Aachen
• Folien zum Vortrag beim gemeinsamen Workshop der Graduiertenkollegs I, Dagstuhl 06.2011
• Folien zum Vortrag beim AlgoSyn-Seminar, Dagstuhl 03.2011
• Folien zum Vortrag bei GAMES, Oxford 2010
• Folien zum Vortrag bei Midterm-Treffen des LINT-Projektes, Paris 2010
• Folien zum Vortrag bei GASICS, Aalborg 2010
• Folien zum Vortrag bei AlgoSyn (DFG-Graduiertenkolleg), Aachen 2010
• Folien zum Vortrag bei FCT , Wroclaw 2009
• Folien zum Vortrag bei GAMES , Warschau 2008

Aktuelle Publikationen

• E. Grädel, Ł. Kaiser, D. Berwanger, and R. Rabinovich. Entanglement and the Complexity Measures for Directed Graphs. Submitted for publication.
• D. Neider, R. Rabinovich, and M. Zimmermann. Solving Muller Games via Safety Games. Technical Report. RWTH Aachen University, 2011.
• B. Puchala and R. Rabinovich. Graph Searching, Parity Games and Imperfect Information. arXiv:1110.5575v1 [cs.GT], 2011.
• B. Puchala and R. Rabinovich. Parity Games with Partial Information Played on Graphs of Bounded Complexity. In Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science 2010, MFCS '10, vol. 6281 of LNCS, pp. 604–615. Springer, 2010.
• E. Grädel, Ł. Kaiser, and R. Rabinovich. Directed Graphs of Entanglement Two. In Proceedings of the 17th International Symposium on Fundamentals of Computation Theory, FCT '09, vol. 5699 of LNCS, pp. 169–181. Springer, 2009.

Alle Publikationen