Patrick Landwehr

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 4

Top Topics

Regular Expressions

Finite Automaton

Top Venues

Int. J. Found. Comput. Sci.

Publications

Patrick Landwehr, Christof Löding
Projection for Büchi Tree Automata with Constraints between Siblings. Int. J. Found. Comput. Sci. 31 (6) (2020)
Patrick Landwehr, Christof Löding
Tree Automata with Global Constraints for Infinite Trees. STACS (2019)
Patrick Landwehr, Christof Löding
Projection for Büchi Tree Automata with Constraints Between Siblings. DLT (2018)
Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas
N-Memory Automata over the Alphabet N. LATA (2017)