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
Projection for Büchi Tree Automata with Constraints between Siblings Patrick Landwehr, Christof Löding Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
N-Memory Automata over the Alphabet N Benedikt Brütsch,
Patrick Landwehr,
Wolfgang Thomas
Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings