Person

Daniel Neuen

M. Sc. RWTH
Nicht verfügbar
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4107a

Ahornstrasse 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21725
Fax: +49 241 80 22215
 

Forschungsinteressen

Graphisomorphieproblem, algorithmische Gruppentheorie, geometrische Graphen

 

Lehre

Semester Lehrveranstaltung
Sommersemester 2017

Seminar "Aktuelle Themen der Theoretischen Informatik"
Übung zur Vorlesung "The Graph Isomorphism Problem"

Wintersemester 2016/2017 Seminar "Komplexitätstheorie"
Übung zur Vorlesung "Berechenbarkeit und Komplexität"
Sommersemester 2016 Seminar "Theorie Effizienter Hash-Techniken"
Seminar "Aktuelle Themen der Theoretischen Informatik"
Übung zur Vorlesung "Theory of Constraint Satisfaction Problems"
Wintersemester 2015/2016 Seminar "Algorithmische Graphentheorie"
Übung zur Vorlesung "Berechenbarkeit und Komplexität"

 

Publikationen

Titel Autor(en) Veröffentlicht in
Graph Isomorphism for Unit Square Graphs Daniel Neuen Proceedings of the 24th Annual European Symposium on Algorithms, 2016
Subgroups of 3-factor direct products Daniel Neuen, Pascal Schweitzer not yet published
Benchmark Graphs for Practical Graph Isomorphism Daniel Neuen, Pascal Schweitzer Proceedings of the 25th Annual European Symposium on Algorithms, 2017
An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism Daniel Neuen, Pascal Schweitzer Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018
An improved isomorphism test for bounded-tree-width graphs Martin Grohe, Daniel Neuen, Pascal Schweitzer, Daniel Wiebking Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
A Faster Isomorphism Test for Graphs of Small Degree Martin Grohe, Daniel Neuen, Pascal Schweitzer Proceedings of the 59th Annual IEEE Symposium on Foundations of Computer Science, 2018