N-Memory Automata over the Alphabet N. - Benedikt Brütsch; Patrick Landwehr; Wolfgang Thomas (LATA, 2017)

Tree Automata with Global Constraints for Infinite Trees. - Patrick Landwehr; Christof Löding (STACS, 2019)

Projection for Büchi Tree Automata with Constraints between Siblings. - Patrick Landwehr; Christof Löding (Int. J. Found. Comput. Sci., 2020)

Tree automata with constraints on infinite trees. - Patrick Landwehr (2021)