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

by appointment
 

Research interests

Logic, automata theory, infinite trees

 

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)