Follow
Sarah Winter
Sarah Winter
IRIF
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
On equivalence and uniformisation problems for finite transducers
E Filiot, I Jecker, C Löding, S Winter
arXiv preprint arXiv:1602.08565, 2016
342016
Synthesis of deterministic top-down tree transducers from automatic tree relations
C Löding, S Winter
Information and Computation 253, 336-354, 2017
152017
Synthesis from Weighted Specifications with Partial Domains over Finite Words
E Filiot, C Löding, S Winter
40th IARCS Annual Conference on Foundations of Software Technology and …, 2020
102020
Synthesizing Computable Functions from Rational Specifications over Infinite Words
E Filiot, S Winter
41st IARCS Annual Conference on Foundations of Software Technology and …, 2021
8*2021
Trees over infinite structures and path logics with synchronization
A Spelten, W Thomas, S Winter
arXiv preprint arXiv:1111.3107, 2011
82011
Finite-state Strategies in Delay Games
S Winter, M Zimmermann
arXiv preprint arXiv:1704.08887, 2017
62017
Uniformization Problems for Synchronizations of Automatic Relations on Words
S Winter
arXiv preprint arXiv:1805.02444, 2018
52018
A regular and complete notion of delay for streaming string transducers
E Filiot, I Jecker, C Löding, S Winter
arXiv preprint arXiv:2205.04287, 2022
22022
Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
C Löding, S Winter
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
22016
Weak Muller Conditions Make Delay Games Hard
S Winter, M Zimmermann
ASPECTS OF COMPUTATION AND AUTOMATA THEORY WITH APPLICATIONS, 425-464, 2024
12024
Resynchronized uniformization and definability problems for rational relations
C Löding, S Winter
Discrete Mathematics & Theoretical Computer Science 25 (Automata, Logic and …, 2023
12023
Deterministic regular functions of infinite words
O Carton, G Douéneau-Tabot, E Filiot, S Winter
arXiv preprint arXiv:2302.06672, 2023
12023
Synthesis of Transducers from Relations on Finite Words and Trees
S Winter
Doctoral thesis, RWTH Aachen University, Germany, 2018
12018
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games
M Fränzle, S Winter, M Zimmermann
arXiv preprint arXiv:2305.19985, 2023
2023
Regular Transformations (Dagstuhl Seminar 23202)
R Alur, M Bojańczyk, E Filiot, A Muscholl, S Winter
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023
Decision Problems for Origin-Close Top-Down Tree Transducers
S Winter
46th International Symposium on Mathematical Foundations of Computer Science …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–16