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
122017
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
112020
Synthesizing Computable Functions from Rational Specifications over Infinite Words
E Filiot, S Winter
41st IARCS Annual Conference on Foundations of Software Technology and …, 2021
10*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
Deterministic regular functions of infinite words
O Carton, G Douéneau-Tabot, E Filiot, S Winter
arXiv preprint arXiv:2302.06672, 2023
32023
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
32022
Regular Transformations (Dagstuhl Seminar 23202)
R Alur, M Bojańczyk, E Filiot, A Muscholl, S Winter
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
22023
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
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games.
M Fränzle, S Winter, M Zimmermann
GandALF 390, 220-235, 2023
12023
Resynchronized uniformization and definability problems for rational relations
C Löding, S Winter
Discrete Mathematics & Theoretical Computer Science 25 (Automata, Logic and …, 2023
12023
Decision Problems for Origin-Close Top-Down Tree Transducers
S Winter
46th International Symposium on Mathematical Foundations of Computer Science …, 2021
12021
Synthesis of Transducers from Relations on Finite Words and Trees
S Winter
Doctoral thesis, RWTH Aachen University, Germany, 2018
12018
Finite-valued Streaming String Transducers
E Filiot, I Jecker, C Löding, A Muscholl, G Puppis, S Winter
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
2024
Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
S Winter, M Zimmermann
arXiv preprint arXiv:2404.18280, 2024
2024
On the Existence of Reactive Strategies Resilient to Delay
M Fränzle, P Kröger, S Winter, M Zimmermann
arXiv preprint arXiv:2305.19985, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–19