On equivalence and uniformisation problems for finite transducers E Filiot, I Jecker, C Löding, S Winter arXiv preprint arXiv:1602.08565, 2016 | 34 | 2016 |
Synthesis of deterministic top-down tree transducers from automatic tree relations C Löding, S Winter Information and Computation 253, 336-354, 2017 | 15 | 2017 |
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 | 10 | 2020 |
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 | 8 | 2011 |
Finite-state Strategies in Delay Games S Winter, M Zimmermann arXiv preprint arXiv:1704.08887, 2017 | 6 | 2017 |
Uniformization Problems for Synchronizations of Automatic Relations on Words S Winter arXiv preprint arXiv:1805.02444, 2018 | 5 | 2018 |
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 | 2 | 2022 |
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 | 2 | 2016 |
Weak Muller Conditions Make Delay Games Hard S Winter, M Zimmermann ASPECTS OF COMPUTATION AND AUTOMATA THEORY WITH APPLICATIONS, 425-464, 2024 | 1 | 2024 |
Resynchronized uniformization and definability problems for rational relations C Löding, S Winter Discrete Mathematics & Theoretical Computer Science 25 (Automata, Logic and …, 2023 | 1 | 2023 |
Deterministic regular functions of infinite words O Carton, G Douéneau-Tabot, E Filiot, S Winter arXiv preprint arXiv:2302.06672, 2023 | 1 | 2023 |
Synthesis of Transducers from Relations on Finite Words and Trees S Winter Doctoral thesis, RWTH Aachen University, Germany, 2018 | 1 | 2018 |
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 |