Valérie Murat

According to our database¹, Valérie Murat authored at least 4 papers between 2011 and 2014.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2014

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

[BibT_eX]

[DOI]

Valérie Murat

PhD thesis, 2014

2013

A Completion Algorithm for Lattice Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2013

2012

Tree Regular Model Checking for Lattice-Based Automata

[BibT_eX]

[DOI]

CoRR, 2012

2011

Characterizing Conclusive Approximations by Logical Formulae.

[BibT_eX]

[DOI]

Yohan Boichut

Thi-Bich-Hanh Dao

Valérie Murat

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Valérie Murat

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...