Valérie Murat

发表

Aquifer vulnerability mapping and GIS: A proposal to monitor uncertainty associated with spatial data processing

Jacynthe Pouliot, Valérie Murat, Alfonso Rivera, 2004 .

Characterizing Conclusive Approximations by Logical Formulae

Thi-Bich-Hanh Dao, Yohan Boichut, Valérie Murat, 2011, RP.

Tree Regular Model Checking for Lattice-Based Automata pdf

Axel Legay, Tristan Le Gall, Thomas Genet, 2012, ArXiv.

A Completion Algorithm for Lattice Tree Automata

Axel Legay, Tristan Le Gall, Thomas Genet, 2013, CIAA.

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, Valérie Murat, 2014 .