Accéder directement au contenu

Florent Jacquemard

3
Documents

Publications

17966
Image document

Rigid Tree Automata and Applications

 Florent Jacquemard , Francis Klay , Camille Vacher
Information and Computation, 2011, 209 (3), pp.486-512. ⟨10.1016/j.ic.2010.11.015⟩
Article dans une revue inria-00578820v1
Image document

Rewrite-Based Verification of XML Updates

 Florent Jacquemard , Michael Rusinowitch
12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
Communication dans un congrès inria-00578916v1
Image document

The Emptiness Problem for Tree Automata with Global Constraints

 Luis Barguñó , Carlos Creus , Guillem Godoy , Florent Jacquemard , Camille Vacher
25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. pp.263-272, ⟨10.1109/LICS.2010.28⟩
Communication dans un congrès inria-00578901v1