Sandra Kiefer
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Cedric Siemsonce
- Fynn Stebelonce
- Marko Schmellenkamponce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Detecting and explaining (in-)equivalence of context-free grammars | OOPSLA 2025 | 2025-10-16 |
A scalable framework decides, proves, and explains many (in-)equivalences of context-free grammars despite undecidability by combining a new pattern-based… | ||
| Combinatorial Properties of the Weisfeiler-Leman Algorithm | Symmetry, Logic, Computation 2016 | 2016-11-07 |
Proves a full combinatorial classification: a graph is identified by 1-dimensional Weisfeiler-Leman exactly if it flips to a bouquet forest, and this yields a… | ||
| nothing matches | ||