Paths in infinite trees: logics and automata.
PhD thesis, 2013
Trees over Infinite Structures and Path Logics with Synchronization
Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011
Transition Graphs of Rewriting Systems over Unranked Trees.
Proceedings of the Mathematical Foundations of Computer Science 2007, 2007