String-to-String Interpretations With Polynomial-Size Output. - Mikolaj Bojanczyk; Sandra Kiefer; Nathan Lhote (ICALP, 2019)

A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus. - Martin Grohe; Sandra Kiefer (ICALP, 2019)

The Weisfeiler-Leman Dimension of Planar Graphs Is at Most 3. - Sandra Kiefer; Ilia Ponomarenko; Pascal Schweitzer (J. ACM, 2019)

Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic. - Sandra Kiefer; Pascal Schweitzer (Log. Methods Comput. Sci., 2019)

The Iteration Number of Colour Refinement. - Sandra Kiefer; Brendan D. McKay (ICALP, 2020)

The Weisfeiler-Leman algorithm: an exploration of its power. - Sandra Kiefer (ACM SIGLOG News, 2020)

Power and Limits of the Weisfeiler-Leman Algorithm - Sandra Kiefer (2020)

Logarithmic Weisfeiler-Leman Identifies All Planar Graphs. - Martin Grohe; Sandra Kiefer (ICALP, 2021)

A Study of Weisfeiler-Leman Colorings on Planar Graphs. - Sandra Kiefer; Daniel Neuen (ICALP, 2022)

SpeqNets: Sparsity-aware permutation-equivariant graph networks. - Christopher Morris 001; Gaurav Rattan; Sandra Kiefer; Siamak Ravanbakhsh (ICML, 2022)

Treelike Decompositions for Transductions of Sparse Graphs. - Jan Dreier; Jakub Gajarský; Sandra Kiefer; Michal Pilipczuk; Szymon Torunczyk (LICS, 2022)

The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs. - Sandra Kiefer; Daniel Neuen (SIAM J. Discret. Math., 2022)

Report on women in logic 2020 & 2021. - Sandra Alves; Sandra Kiefer; Ana Sokolova (ACM SIGLOG News, 2022)

Graphs Identified by Logics with Counting. - Sandra Kiefer; Pascal Schweitzer; Erkal Selman (ACM Trans. Comput. Log., 2022)

Simulating Logspace-Recursion with Logarithmic Quantifier Depth. - Steffen van Bergerem; Martin Grohe; Sandra Kiefer; Luca Oeljeklaus (LICS, 2023)

Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs. - Sandra Kiefer; Lê Thành Dung Nguyên; Cécilia Pradic (CoRR, 2023)

Polyregular Functions: Characterisations and Refutations. - Sandra Kiefer (DLT, 2024)

Verification of Population Protocols with Unordered Data. - Steffen van Bergerem; Roland Guttenberg; Sandra Kiefer; Corto Mascle; Nicolas Waldburger; Chana Weil-Kennedy (ICALP, 2024)

Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees. - Sandra Kiefer; Daniel Neuen (LICS, 2024)

Untangling Gaussian Mixtures. - Eva Fluck; Sandra Kiefer; Christoph Standke (WG, 2024)

Detecting and explaining (in)equivalence of context-free grammars. - Marko Schmellenkamp; Thomas Zeume; Sven Argo; Sandra Kiefer; Cedric Siems; Fynn Stebel (CoRR, 2024)