Person

Patrick Landwehr

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

Address

Building: Informatikzentrum Hörn - E1

Room: 4117b

Ahornstr. 55

52074 Aachen

Contact

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

Office Hours

nach Vereinbarung
 

Research interests

Logic, automata theory, infinite trees

 

Teaching

Term Class
Winter Term 2018/2019 Exercise class for the lecture Stochastic Games
Seminar "Theorie Effizienter Hash-Techniken"
Summer Term 2018 Exercise class for the lecture Formale Systeme Automaten und Prozesse
Winter Term 2017/2018 Practical course Reguläre Ausdrücke Implementieren in Java
Seminar "Komplexitätstheorie"
Summer Term 2017

Exercise class for the lecture Advanced Automata Theory

Winter Term 2016/2017

Exercise class for the lecture Graph Decompositions and Algorithmic Applications
Seminar "Komplexitätstheorie"

Summer Term 2016

Exercise class for the lecture Formale Systeme Automaten und Prozesse
Seminar "Aktuelle Themen der Theoretischen Informatik"
Seminar "Theorie Effizienter Hash-Techniken"

 

Publications

Title Author(s) Published in
Tree Automata with Grobal Constraints for Infinite Trees Patrick Landwehr, Christof Löding Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)
Projection for Büchi Tree Automata with Constraints between Siblings Patrick Landwehr, Christof Löding Proceedings of the 22nd International Conference on Developments in Language Theory (DLT 2018)
N-Memory Automata over the Alphabet N Benedikt Brütsch,
Patrick Landwehr,
Wolfgang Thomas
Proceedings of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017)