Nicht verfügbar

Person

Aziz Erkal Selman

Adresse

 

Forschungsinteressen

Logik, Graphentheorie

 

Lehre

Semester Lehrveranstaltung
Sommersemester 2016 Übung zur Vorlesung Formale Systeme, Automaten und Prozesse
Wintersemester 2015/2016 Softwarepraktikum Reguläre Ausdrücke implementieren in Java
Sommersemester 2015 Softwarepraktikum Reguläre Ausdrücke implementieren in Java
Sommersemester 2014 Übung zur Vorlesung Formale Systeme, Automaten und Prozesse
Wintersemester 2013/2014

Softwarepraktikum Reguläre Ausdrücke implementieren in Java
Sommersemester 2013 Übung zur Vorlesung Formale Systeme, Automaten und Prozesse

 

Publikationen

Titel Autor(en) Download
Graphs Identified by Logics with Counting
Conference Version in Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) 		Sandra Kiefer,
Pascal Schweitzer,
Erkal Selman		 Full pdf on arXiv

Dimension Reduction via Colour Refinement
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

Martin Grohe,
Kristian Kersting,
Erkal Selman

 Full pdf on arXiv