Vincent Hugot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2017
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | DLT | Equivalence of Symbolic Tree Transducers. | Vincent Hugot, Adrien Boiret, Joachim Niehren |
| 2015 | LATA | Logics for Unordered Trees with Data Constraints on Siblings. | Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
| 2012 | CADE | From Linear Temporal Logic Properties to Rewrite Propositions. | Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko |
| 2010 | ICST | SAT Solvers for Queries over Tree Automata with Constraints. | Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko |