Sarah Winter

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Emmanuel Filiot, Sarah Winter
Synthesizing Computable Functions from Rational Specifications Over Infinite Words. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Sarah Winter, Martin Zimmermann
Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking. CoRR (2024)
Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
Finite-valued Streaming String Transducers. CoRR (2024)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
Finite-valued Streaming String Transducers. LICS (2024)
Martin Fränzle, Sarah Winter, Martin Zimmermann
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF (2023)
Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
Deterministic regular functions of infinite words. CoRR (2023)
Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
Deterministic Regular Functions of Infinite Words. ICALP (2023)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
A Regular and Complete Notion of Delay for Streaming String Transducers. STACS (2023)
Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter
Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports 13 (5) (2023)
Martin Fränzle, Sarah Winter, Martin Zimmermann
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. CoRR (2023)
Sarah Winter, Martin Zimmermann
Weak Muller Conditions Make Delay Games Hard. CoRR (2022)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
A Regular and Complete Notion of Delay for Streaming String Transducers. CoRR (2022)
Emmanuel Filiot, Christof Löding, Sarah Winter
Synthesis from Weighted Specifications with Partial Domains over Finite Words. CoRR (2021)
Emmanuel Filiot, Sarah Winter
Synthesizing Computable Functions from Rational Specifications over Infinite Words. FSTTCS (2021)
Christof Löding, Sarah Winter
Resynchronized Uniformization and Definability Problems for Rational Relations. CoRR (2021)
Sarah Winter
Decision Problems for Origin-Close Top-Down Tree Transducers. MFCS (2021)
Sarah Winter
Decision problems for origin-close top-down tree transducers (full version). CoRR (2021)
Emmanuel Filiot, Sarah Winter
Continuous Uniformization of Rational Relations and Synthesis of Computable Functions. CoRR (2021)
Sarah Winter, Martin Zimmermann
Finite-state strategies in delay games. Inf. Comput. 272 (2020)
Emmanuel Filiot, Christof Löding, Sarah Winter
Synthesis from Weighted Specifications with Partial Domains over Finite Words. FSTTCS (2020)
Sarah Winter
Uniformization Problems for Synchronizations of Automatic Relations on Words. CoRR (2018)
Sarah Winter
Uniformization Problems for Synchronizations of Automatic Relations on Words. ICALP (2018)
Christof Löding, Sarah Winter
Synthesis of deterministic top-down tree transducers from automatic tree relations. Inf. Comput. 253 (2017)
Sarah Winter, Martin Zimmermann
Finite-state Strategies in Delay Games. CoRR (2017)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
On Equivalence and Uniformisation Problems for Finite Transducers. CoRR (2016)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
On Equivalence and Uniformisation Problems for Finite Transducers. ICALP (2016)
Christof Löding, Sarah Winter
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers. MFCS (2016)
Christof Löding, Sarah Winter
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. GandALF (2014)
Alex Spelten, Wolfgang Thomas, Sarah Winter
Trees over Infinite Structures and Path Logics with Synchronization INFINITY (2011)

Sarah Winter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sarah Winter