Sarah Winter

According to our database, Sarah Winter authored at least 18 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Synthesizing Computable Functions from Rational Specifications Over Infinite Words.

Emmanuel Filiot, Sarah Winter

Int. J. Found. Comput. Sci., 2024

2023

Regular Transformations (Dagstuhl Seminar 23202).

Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter

Dagstuhl Reports, 2023

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games.

Martin Fränzle, Sarah Winter, Martin Zimmermann

Proceedings of the Fourteenth International Symposium on Games, 2023

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version).

Martin Fränzle, Sarah Winter, Martin Zimmermann

CoRR, 2023

A Regular and Complete Notion of Delay for Streaming String Transducers.

Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

Deterministic Regular Functions of Infinite Words.

Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Weak Muller Conditions Make Delay Games Hard.

Sarah Winter, Martin Zimmermann

CoRR, 2022

2021

Decision problems for origin-close top-down tree transducers (full version).

Sarah Winter

CoRR, 2021

Resynchronized Uniformization and Definability Problems for Rational Relations.

Christof Löding, Sarah Winter

CoRR, 2021

Decision Problems for Origin-Close Top-Down Tree Transducers.

Sarah Winter

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Finite-state strategies in delay games.

Sarah Winter, Martin Zimmermann

Inf. Comput., 2020

Synthesis from Weighted Specifications with Partial Domains over Finite Words.

Emmanuel Filiot, Christof Löding, Sarah Winter

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2018

Synthesis of transducers from relations on finite words and trees.

Sarah Winter

PhD thesis, 2018

Uniformization Problems for Synchronizations of Automatic Relations on Words.

Sarah Winter

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2016

Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers.

Christof Löding, Sarah Winter

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

On Equivalence and Uniformisation Problems for Finite Transducers.

Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2014

Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations.

Christof Löding, Sarah Winter

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

2011

Trees over Infinite Structures and Path Logics with Synchronization

Alex Spelten, Wolfgang Thomas, Sarah Winter

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011