2013
Paths in infinite trees: logics and automata.
PhD thesis, 2013

2011
Trees over Infinite Structures and Path Logics with Synchronization
Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

2007
Transition Graphs of Rewriting Systems over Unranked Trees.
Proceedings of the Mathematical Foundations of Computer Science 2007, 2007