Sarah Winter

M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)


Building: Erweiterungsbau 1

Room: 4108a

Ahornstraße 55

52074 Aachen


Phone: +49 241 80 21716
Fax: +49 241 80 22215

Office Hours

nach Vereinbarung

Research Interests

Automata theory, transducer synthesis



Title Author(s) Published in
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,
Ismaël Jecker,
Christof Löding, and Sarah Winter.

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