Vincent Hugot

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 5

Top Venues

J. Comput. Syst. Sci.

CoRR

Inf. Process. Lett.

GandALF

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Logics for unordered trees with data constraints. J. Comput. Syst. Sci. 104 (2019)
Vincent Hugot, Adrien Boiret, Joachim Niehren
Equivalence of Symbolic Tree Transducers. DLT (2017)
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Automata for unordered trees. Inf. Comput. 253 (2017)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard. Inf. Process. Lett. 118 (2017)
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Logics for Unordered Trees with Data Constraints on Siblings. LATA (2015)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard. CoRR (2014)
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Deterministic Automata for Unordered Trees. GandALF (2014)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
From Linear Temporal Logic Properties to Rewrite Propositions. IJCAR (2012)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
Loops and overloops for Tree-Walking Automata. Theor. Comput. Sci. 450 (2012)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
On Positive TAGED with a Bounded Number of Constraints. CIAA (2012)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
Loops and Overloops for Tree Walking Automata. CIAA (2011)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
SAT Solvers for Queries over Tree Automata with Constraints. ICST Workshops (2010)

Vincent Hugot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincent Hugot