| 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 | 12 | 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 | 11 | 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 | 10* | 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 |
| Deterministic regular functions of infinite words O Carton, G Douéneau-Tabot, E Filiot, S Winter arXiv preprint arXiv:2302.06672, 2023 | 3 | 2023 |
| 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 | 3 | 2022 |
| Regular Transformations (Dagstuhl Seminar 23202) R Alur, M Bojańczyk, E Filiot, A Muscholl, S Winter Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | 2 | 2023 |
| 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 |
| Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. M Fränzle, S Winter, M Zimmermann GandALF 390, 220-235, 2023 | 1 | 2023 |
| 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 |
| Decision Problems for Origin-Close Top-Down Tree Transducers S Winter 46th International Symposium on Mathematical Foundations of Computer Science …, 2021 | 1 | 2021 |
| Synthesis of Transducers from Relations on Finite Words and Trees S Winter Doctoral thesis, RWTH Aachen University, Germany, 2018 | 1 | 2018 |
| 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 |
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
