Rigid Tree Automata. - Florent Jacquemard; Francis Klay; Camille Vacher (LATA, 2009)

The Emptiness Problem for Tree Automata with Global Constraints. - Luis Barguñó; Carles Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher (LICS, 2010)

Tree automata with global constraints for the verification of security properties. (Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité). - Camille Vacher (2010)

Rigid tree automata and applications. - Florent Jacquemard; Francis Klay; Camille Vacher (Inf. Comput., 2011)

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories - Luis Barguñó; Carles Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher (Log. Methods Comput. Sci., 2013)