| 2026 | CSL | The Logic Behind Colour Refinement (Invited Talk). | Sandra Kiefer |
| 2026 | SODA | A Classification of Long-Refinement Graphs for Colour Refinement. | Sandra Kiefer, T. Devini de Mel |
| 2024 | DLT | Polyregular Functions: Characterisations and Refutations. | Sandra Kiefer |
| 2024 | ICALP | Verification of Population Protocols with Unordered Data. | Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy |
| 2024 | LICS | Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees. | Sandra Kiefer, Daniel Neuen |
| 2024 | WG | Untangling Gaussian Mixtures. | Eva Fluck, Sandra Kiefer, Christoph Standke |
| 2023 | LICS | Simulating Logspace-Recursion with Logarithmic Quantifier Depth. | Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus |
| 2022 | ICALP | A Study of Weisfeiler-Leman Colorings on Planar Graphs. | Sandra Kiefer, Daniel Neuen |
| 2022 | ICML | SpeqNets: Sparsity-aware permutation-equivariant graph networks. | Christopher Morris, Gaurav Rattan, Sandra Kiefer, Siamak Ravanbakhsh |
| 2022 | LICS | Treelike Decompositions for Transductions of Sparse Graphs. | Jan Dreier, Jakub Gajarsk, Sandra Kiefer, Michal Pilipczuk, Szymon Torunczyk |
| 2021 | ICALP | Logarithmic Weisfeiler-Leman Identifies All Planar Graphs. | Martin Grohe, Sandra Kiefer |
| 2020 | ICALP | The Iteration Number of Colour Refinement. | Sandra Kiefer, Brendan D. McKay |
| 2019 | ICALP | String-to-String Interpretations With Polynomial-Size Output. | Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote |
| 2019 | ICALP | A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus. | Martin Grohe, Sandra Kiefer |
| 2019 | MFCS | The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs. | Sandra Kiefer, Daniel Neuen |
| 2017 | LICS | The Weisfeiler-Leman dimension of planar graphs is at most 3. | Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer |
| 2016 | LICS | Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic. | Sandra Kiefer, Pascal Schweitzer |
| 2015 | MFCS | Graphs Identified by Logics with Counting. | Sandra Kiefer, Pascal Schweitzer, Erkal Selman |