Logik
und Theorie
diskreter Systeme

Informatik 7

 

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4117b, Ahornstr. 55, 52074 Aachen
Telefon +49 (241) 80 21723
E-Mail selman(at)informatik.rwth-aachen.de
Sprechstunde nach Vereinbarung

 

Forschungsinteressen

Logik, Graphentheorie 

 

Veröffentlichungen

Dimension Reduction via Colour Refinement

with Martin Grohe and Kristian Kersting and Martin Mladenov, 2014.
Conference version in A. Schulz and D. Wagner, Proceedings of the 22nd Annual European Symposium on Algorithms (ESA 2014).
Lecture Notes in Computer Science 8737, pp. 505–516, 2014

Graphs Identified by Logics with Counting

with Sandra Kiefer, Pascal Schweitzer, 2015.
Conference Version in Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015)

 

Lehre

SS 16: Übung für Formale Systeme, Automaten, Prozesse
WS 15/16: Softwarepraktikum Reguläre Ausdrücke Implementieren in Java
SS 15: Softwarepraktikum Reguläre Ausdrücke Implementieren in Java
SS 14: Übung für Formale Systeme, Automaten, Prozesse
WS 13/14: Softwarepraktikum Reguläre Ausdrücke Implementieren in Java
SS 13: Übung für Formale Systeme, Automaten, Prozesse