Person

Daniel Neuen

M. Sc. RWTH
Daniel Neuen
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Address

Building: Erweiterungsbau 1

Room: 4107a

Ahornstrasse 55

52074 Aachen

Contact

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

Office Hours

by appointment
 

Research interests

Graph Isomorphism Problem, computational group theory, geometric graphs

 

Publications

Title Author Published in
Canonisation and Definability for Graphs of Bounded Rank Width Martin Grohe, Daniel Neuen Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
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
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
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
Benchmark Graphs for Practical Graph Isomorphism
(benchmark graphs are available for download here)
Daniel Neuen, Pascal Schweitzer Proceedings of the 25th Annual European Symposium on Algorithms, 2017
Subgroups of 3-factor direct products Daniel Neuen, Pascal Schweitzer not yet published
Graph Isomorphism for Unit Square Graphs Daniel Neuen Proceedings of the 24th Annual European Symposium on Algorithms, 2016