| 2026 | MFCS | Logics for Context-Free Hyperproperties. | Sarah Winter, Martin Zimmermann |
| 2025 | CONCUR | Prophecies All the Way: Game-Based Model-Checking for HyperQPTL Beyond ∀*∃*. | Sarah Winter, Martin Zimmermann |
| 2024 | LICS | Finite-valued Streaming String Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Anca Muscholl, Gabriele Puppis, Sarah Winter |
| 2023 | ICALP | Deterministic Regular Functions of Infinite Words. | Olivier Carton, Gatan Douneau-Tabot, Emmanuel Filiot, Sarah Winter |
| 2023 | STACS | A Regular and Complete Notion of Delay for Streaming String Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Sarah Winter |
| 2021 | MFCS | Decision Problems for Origin-Close Top-Down Tree Transducers. | Sarah Winter |
| 2018 | ICALP | Uniformization Problems for Synchronizations of Automatic Relations on Words. | Sarah Winter |
| 2016 | ICALP | On Equivalence and Uniformisation Problems for Finite Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Sarah Winter |
| 2016 | MFCS | Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers. | Christof Lding, Sarah Winter |