1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.DM2025
A Classification of Long-Refinement Graphs for Colour Refinement
Sandra Kiefer, T. Devini de Mel
The Colour Refinement algorithm is a classical procedure to detect symmetries in graphs, whose most prominent application is in graph-isomorphism tests. The algorithm and its gener…
cs.DC2024
Verification of Population Protocols with Unordered Data
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer +3
Population protocols are a well-studied model of distributed computation in which a group of anonymous finite-state agents communicates via pairwise interactions. Together they dec…
math.ST2024★ 1 cited
Untangling Gaussian Mixtures
Eva Fluck, Sandra Kiefer, Christoph Standke
Tangles were originally introduced as a concept to formalize regions of high connectivity in graphs. In recent years, they have also been discovered as a link between structural gr…