Roman Rabinovich

Roman Rabinovich

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Fax:   +49-241-80-22215
E-Mail:   rabinovich [AT] logic.rwth-aachen.de

Sprechstunden

Nach Vereinbarung

Forschung

  • Komplexitätsmaße für Graphen
  • Strategien mit endlichem Speicher
  • Model-Checking
  • Automatische Synthese
  • Zerlegungen der gerichteten Graphen

Dissertation

Aktuelle Publikationen

Alle Publikationen

Vorträge

Lehre