Person
Sandra Kiefer
M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: E1, 1. Etage
Room: 4107a
Ahornstraße 55
52074 Aachen
Contact
- workPhone
- Phone: +49 241 80 21717
Fax: +49 241 80 22215
Office Hours
- by appointment
Research Interests
Algorithmic Graph Theory, Discrete Mathematics (in particular, Combinatorial Optimization, Geometric Group Theory), Topology
Publications
| Title | Authors | Published in |
|---|---|---|
| The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs | Sandra Kiefer, Daniel Neuen | Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, August 26-30, 2019 |
| 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 |
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
|
| Sandra Kiefer, Pascal Schweitzer, Erkal Selman |
Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, Milan, Italy, August 24-28, 2015
|