Characterizing Conclusive Approximations by Logical Formulae. - Yohan Boichut; Thi-Bich-Hanh Dao; Valérie Murat (RP, 2011)

Tree Regular Model Checking for Lattice-Based Automata - Thomas Genet; Tristan Le Gall; Axel Legay; Valérie Murat (CoRR, 2012)

A Completion Algorithm for Lattice Tree Automata. - Thomas Genet; Tristan Le Gall; Axel Legay; Valérie Murat (CIAA, 2013)

Extensions des automates d'arbres pour la vérification de systèmes à états infinis. (Tree automata extensions for verification of infinite states systems). - Valérie Murat (2014)