Person
Dr.Sandra Kiefer
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 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 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 |
| 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 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 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 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5-8, 2016 |