Person
Dr.Sandra Kiefer
Address
Research Interests
Algorithmic Graph Theory, Bioinformatics, Discrete Mathematics (in particular, Combinatorial Optimization, Geometric Group Theory), Logic in Computer Science, Topology
Recent Presentations
Ein Logikspiel auf bunten Graphen (German) — World Logic Day 2021 at University of Hamburg (virtual).
Publications
Title  Authors  Published in 

Treelike Decompositions for Transductions of Sparse Graphs  Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michał Pilipczuk, Szymon Toruńczyk  arXiv 2022 
The Power of the WeisfeilerLeman Algorithm to Decompose Graphs  Sandra Kiefer, Daniel Neuen 
SIAM Journal on Discrete Mathematics Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, August 2630, 2019 
Graphs Identified by Logics with Counting

Sandra Kiefer, Pascal Schweitzer, Erkal Selman 
ACM Transactions on Computational Logic Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, Milan, Italy, August 2428, 2015 
Logarithmic WeisfeilerLeman Identifies All Planar Graphs  Martin Grohe, Sandra Kiefer 
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, virtual, July 1216, 2021 
Sandra Kiefer 
ACM SIGLOG News 

Power and Limits of the WeisfeilerLeman Algorithm  Sandra Kiefer 
RWTH Aachen University Publications 
The Iteration Number of Colour Refinement  Sandra Kiefer, Brendan D. McKay  Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, virtual, July 811, 2020 
StringtoString Interpretations with PolynomialSize Output  Mikołaj Bojańczyk, Sandra Kiefer, Nathan Lhote  Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, July 812, 2019 
A Linear Upper Bound on the WeisfeilerLeman Dimension of Graphs of Bounded Genus  Martin Grohe, Sandra Kiefer  Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, July 812, 2019 
The WeisfeilerLeman Dimension of Planar Graphs is at most 3  Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer 
Journal of the ACM Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavík, Iceland, June 2023, 2017 
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic 
Sandra Kiefer, Pascal Schweitzer 
Logical Methods in Computer Science Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 58, 2016 