Research Interests
Automata theory, transducer synthesis
Publications
| Title | Author(s) | Published in |
|---|---|---|
| Synthesis of transducers from relations on finite Words and Trees | Sarah Winter | PhD. Thesis, RWTH Aachen University, 2019 |
| Uniformization Problems for Synchronizations of Automatic Relations on Words | Sarah Winter | 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic |
| Synthesis of deterministic top-down tree transducers from automatic tree relations | Christof Löding, Sarah Winter |
Information and Computation 253, Part 2:336 - 354, 2017 |
| 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, MFCS 2016, August 22-26, 2016, Kraków, Poland. 2016 |
| On Equivalence and Uniformisation Problems for Finite Transducers |
Emmanuel Filiot, |
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy. 2016 |
| Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations | Christof Löding, Sarah Winter |
Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, September 10-12, 2014, Verona, Italy. 2014 |
| Uniformization of Automaton Definable Tree Relations | Sarah Winter | Master Thesis, RWTH Aachen University |
| Trees over Infinite Structures and Path Logics with Synchronization | Alex Spelten, Wolfgang Thomas, Sarah Winter |
Proceedings of the 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, 10th October 2011, Taipei, Taiwan. 2011 |
| Finite Automata over Infinite Alphabets | Sarah Winter | Bachelor Thesis, RWTH Aachen University |