Sandra Kiefer

45 papers A* 13B 3C 1Journal 25Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Classification of Long-Refinement Graphs for Colour Refinement.
SODA
Sandra Kiefer, T. Devini de Mel
2026 B conf
The Logic Behind Colour Refinement (Invited Talk).
CSL
Sandra Kiefer
2025 J jnl
A Classification of Long-Refinement Graphs for Colour Refinement.
CoRR
Sandra Kiefer, T. Devini de Mel
2025 — conf
A Machine Learning Approach to Cognitive Load Estimation in Augmented Reality Using Eye Tracking.
iWOAR
Sandra Kiefer, Martin Weier, Biying Fu
2025 J jnl
Detecting and Explaining (In-)equivalence of Context-Free Grammars.
Proc. ACM Program. Lang.
Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel
2024 A* conf
Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees.
LICS
Sandra Kiefer, Daniel Neuen
2024 J jnl
Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees.
CoRR
Sandra Kiefer, Daniel Neuen
2024 J jnl
Detecting and explaining (in)equivalence of context-free grammars.
CoRR
Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel
2024 C conf
Polyregular Functions: Characterisations and Refutations.
DLT
Sandra Kiefer
2024 B conf
Untangling Gaussian Mixtures.
WG
Eva Fluck, Sandra Kiefer, Christoph Standke
2024 J jnl
Untangling Gaussian Mixtures.
CoRR
Eva Fluck, Sandra Kiefer, Christoph Standke
2024 A* conf
Verification of Population Protocols with Unordered Data.
ICALP
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2024 J jnl
Verification of Population Protocols with Unordered Data.
CoRR
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2023 J jnl
Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs.
CoRR
Sandra Kiefer, Lê Thành Dung Nguyên, Cécilia Pradic
2023 A* conf
Simulating Logspace-Recursion with Logarithmic Quantifier Depth.
LICS
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus
2023 J jnl
Simulating Logspace-Recursion with Logarithmic Quantifier Depth.
CoRR
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus
2022 A* conf
A Study of Weisfeiler-Leman Colorings on Planar Graphs.
ICALP
Sandra Kiefer, Daniel Neuen
2022 J jnl
A Study of Weisfeiler-Leman Colorings on Planar Graphs.
CoRR
Sandra Kiefer, Daniel Neuen
2022 J jnl
Graphs Identified by Logics with Counting.
ACM Trans. Comput. Log.
Sandra Kiefer, Pascal Schweitzer, Erkal Selman
2022 J jnl
Report on women in logic 2020 & 2021.
ACM SIGLOG News
Sandra Alves, Sandra Kiefer, Ana Sokolova
2022 J jnl
SpeqNets: Sparsity-aware Permutation-equivariant Graph Networks.
CoRR
Christopher Morris, Gaurav Rattan, Sandra Kiefer, Siamak Ravanbakhsh
2022 A* conf
SpeqNets: Sparsity-aware permutation-equivariant graph networks.
ICML
Christopher Morris, Gaurav Rattan, Sandra Kiefer, Siamak Ravanbakhsh
2022 J jnl
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs.
SIAM J. Discret. Math.
Sandra Kiefer, Daniel Neuen
2022 A* conf
Treelike Decompositions for Transductions of Sparse Graphs.
LICS
Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michal Pilipczuk, Szymon Torunczyk
2022 J jnl
Treelike decompositions for transductions of sparse graphs.
CoRR
Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michal Pilipczuk, Szymon Torunczyk
2021 A* conf
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs.
ICALP
Martin Grohe, Sandra Kiefer
2021 J jnl
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs.
CoRR
Martin Grohe, Sandra Kiefer
2020 — —
Power and Limits of the Weisfeiler-Leman Algorithm
Sandra Kiefer
2020 A* conf
The Iteration Number of Colour Refinement.
ICALP
Sandra Kiefer, Brendan D. McKay
2020 J jnl
The Iteration Number of Colour Refinement.
CoRR
Sandra Kiefer, Brendan D. McKay
2020 J jnl
The Weisfeiler-Leman algorithm: an exploration of its power.
ACM SIGLOG News
Sandra Kiefer
2019 A* conf
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus.
ICALP
Martin Grohe, Sandra Kiefer
2019 J jnl
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus.
CoRR
Martin Grohe, Sandra Kiefer
2019 A* conf
String-to-String Interpretations With Polynomial-Size Output.
ICALP
Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
2019 J jnl
String-to-String Interpretations with Polynomial-Size Output.
CoRR
Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
2019 B conf
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs.
MFCS
Sandra Kiefer, Daniel Neuen
2019 J jnl
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs.
CoRR
Sandra Kiefer, Daniel Neuen
2019 J jnl
The Weisfeiler-Leman Dimension of Planar Graphs Is at Most 3.
J. ACM
Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer
2019 J jnl
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic.
Log. Methods Comput. Sci.
Sandra Kiefer, Pascal Schweitzer
2017 J jnl
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3.
CoRR
Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer
2017 A* conf
The Weisfeiler-Leman dimension of planar graphs is at most 3.
LICS
Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer
2016 A* conf
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic.
LICS
Sandra Kiefer, Pascal Schweitzer
2016 J jnl
Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic.
CoRR
Sandra Kiefer, Pascal Schweitzer
2015 — conf
Graphs Identified by Logics with Counting.
MFCS (1)
Sandra Kiefer, Pascal Schweitzer, Erkal Selman
2015 J jnl
Graphs Identified by Logics with Counting.
CoRR
Sandra Kiefer, Pascal Schweitzer, Erkal Selman