Person

Sarah Winter

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

Address

Building: Erweiterungsbau 1

Room: 4108a

Ahornstraße 55

52074 Aachen

Contact

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

Office Hours

nach Vereinbarung
 

Research Interests

Automata theory, transducer synthesis

 

Teaching

Term Class
Winter Term 2018/2019 Exercise class for the lecture Infinite Computations and Games
Summer Term 2018 Exercise class for the lecture Advanced Automata Theory
Winter Term 2017/2018 Exercise class for the lecture Infinite Computations and Games
Seminar Aktuelle Themen der Theoretischen Informatik
Summer Term 2017

Exercise class for the lecture Infinite Computations and Games
Seminar Aktuelle Themen der Theoretischen Informatik

Winter Term 2016/2017

Exercise class for the lecture Infinite Computations and Games
Seminar Aktuelle Themen der Theoretischen Informatik

Summer Term 2016

Exercise class for the lecture Automaten, Sprachen, Komplexität
Seminar Aktuelle Themen der Theoretischen Informatik

Winter Term 2015/2016

Exercise class for the lecture Tree Automata
Seminar Automatentheorie - Master und Lehramt

Summer Term 2015

Exercise class for the lecture Formale Systeme, Automaten, Prozesse
Seminar Automatentheorie

Winter Term 2014/2015

Proseminar Automatentheorie
Seminar Automatentheorie
Seminar Aktuelle Themen der Theoretischen Informatik

Summer Term 2014

Exercise class for the lecture Automaten, Sprachen, Komplexität
Exercise class for the lecture Formale Systeme, Automaten, Prozesse
Seminar Automatentheorie

 

Publications

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