Person

Aziz Erkal Selman

Address

 

Research Interests

Logic, Graph theory

 

Teaching

Term Class
Summer Term 2016 Exercise Class for the lecture Formale Systeme, Automaten und Prozesse
Winter Term 2015/2016 Practical Course Reguläre Ausdrücke implementieren in Java
Summer Term 2015 Practical Course Reguläre Ausdrücke implementieren in Java
Summer Term 2014 Exercise Class for the lecture Formale Systeme, Automaten und Prozesse
Winter Term 2013/2014

Practical Course Reguläre Ausdrücke implementieren in Java

Summer Term 2013 Exercise Class for the lecture Formale Systeme, Automaten und Prozesse

 

Publications

Title Author(s) 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