Person

Dr.

Sandra Kiefer

Nicht verfügbar Urheberrecht: © Copyright 2010

Adresse

 

Forschungsinteressen

Algorithmische Graphentheorie, Bioinformatik, Diskrete Mathematik (insb. Kombinatorische Optimierung, Geometrische Gruppentheorie), Logik in der Informatik, Topologie

 

Aktuelle Präsentationen

Ein Logikspiel auf bunten Graphen — World Logic Day 2021 an der Universität Hamburg (virtuell).

 

Publikationen

Titel Autor*innen Erschienen 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 Weisfeiler-Leman Algorithm to Decompose Graphs Sandra Kiefer, Daniel Neuen

SIAM Journal on Discrete Mathematics
36(1), 2022

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, August 26-30, 2019
Graphs Identified by Logics with Counting
Sandra Kiefer,
Pascal Schweitzer,
Erkal Selman

ACM Transactions on Computational Logic
23(1), 2022

Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, Milan, Italy, August 24-28, 2015
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs Martin Grohe,
Sandra Kiefer		 Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, virtual, July 12-16, 2021
The Weisfeiler-Leman Algorithm: An Exploration of its Power Sandra Kiefer

ACM SIGLOG News
7(3), 2020

Power and Limits of the Weisfeiler-Leman Algorithm

Sandra Kiefer

RWTH Aachen University Publications
2020
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 8-11, 2020
String-to-String Interpretations with Polynomial-Size 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 8-12, 2019
A Linear Upper Bound on the Weisfeiler-Leman 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 8-12, 2019
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3 Sandra Kiefer,
Ilia Ponomarenko,
Pascal Schweitzer

Journal of the ACM
66(6), 2019

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavík, Iceland, June 20-23, 2017

Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic

Sandra Kiefer,
Pascal Schweitzer

Logical Methods in Computer Science
15(2), 2019

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5-8, 2016