Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Fax:	+49-241-80-22215
Email:	rabinovich [AT] logic.rwth-aachen.de

Office Hours

By appointment

Research

• Graph complexity measures
• Finite-state strategies for games
• Model-Checking
• Automatic Synthesis
• Decompositions of directed graphs

PhD Thesis

• Graph Complexity Measures and Monotonicity

Recent Publications

• F. Canavoi, E. Grädel, and R. Rabinovich. The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. Theoretical Computer Science, vol. 560, Part 3(0), pp. 235 - 250, 2014.
• R. Rabinovich. Graph Complexity Measures and Monotonicity. PhD thesis, RWTH Aachen University, 2013.
• D. Berwanger, E. Grädel, Ł. Kaiser, and R. Rabinovich. Entanglement and the Complexity of Directed Graphs. Theoretical Computer Science, vol. 463(0), pp. 2–25, 2012.
• E. Grädel, F. Canavoi, and R. Rabinovich. The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. In Proceedings of the Third International Symposium on Games, Automata, Logic, and Formal Verification, GandALF 2012 (M. Faella and A. Murano, Eds.), Electronic Proceedings in Theoretical Computer Science, 2012.
• D. Neider, R. Rabinovich, and M. Zimmermann. Down the Borel Hierarchy: Solving Muller Games via Safety Games. In Proceedings of the Third International Symposium on Games, Automata, Logic, and Formal Verification, GandALF 2012 (M. Faella and A. Murano, Eds.), Electronic Proceedings in Theoretical Computer Science, 2012.

All publications

Talks

• Slides for the talk at GAMES, Paris 2011
• Slides for the talk at Pupil University Computer Science, Aachen 08.2011 and Lecture Series Computer Science, RWTH Aachen University
• Slides for the talk at the Joint Workshop of Research Training Schools I, Dagstuhl 06.2011
• Slides for the talk at AlgoSyn Seminar, Dagstuhl 03.2011
• Slides for the talk at GAMES, Oxford 2010
• Slides for the talk at LINT midterm meeting, Paris 2010
• Slides for the talk at GASICS, Aalborg 2010
• Slides for the talk at AlgoSyn (DFG Research Training Group), Aachen 2010
• Slides for the talk at FCT , Wroclaw 2009
• Slides for the talk at GAMES , Warsaw 2008

Teaching

• Winter Term 2012/2013
• Seminar Logic, Complexity, Games: Finite Model Theory
• Winter Term 2011/2012
• Seminar Logic, Complexity, Games: Automatic Structures
• Summer Term 2011
• Seminar Logic, Complexity, Games: Algorithmic Aspects of Parity Games
• Winter Term 2010/2011
• Exercises for the lecture Mathematical Logic II
• Seminar Logic, Complexity, Games: Guarded Logics
• Summer Term 2010
• Seminar Logic, Complexity, Games: Modern Solution Concepts in Game Theory: Introductory talk
• Winter Term 2009/2010
• Seminar Logic, Complexity, Games: Modern Solution Concepts in Game Theory
• Summer Term 2009
• Seminar Logic, Complexity, Games: Fixed-Point Logics
• Exercises for the course Mathematical Logic

• Winter Term 2008/09
• Seminar on Logic and (In)Dependence
• Exercises for the course Mathematical Logic II