VLDB 2026 Research / reviewers in the wild / expert
Vincent Hugot
dblp:80/9679
· DBLP profile ↗
9ranked-venue papers
1as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 9 · 1 first-author · 1 since 2021Databases, data management, data science and information retrieval · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | SAT-Based Automated Completion for Reachability Analysis
Yohan Boichut, Vincent Hugot, Adrien Boiret |
CIAA | 2 |
| 2019 | Logics for unordered trees with data constraints
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
J. Comput. Syst. Sci. | 2 |
| 2017 | Equivalence of Symbolic Tree Transducers
Vincent Hugot, Adrien Boiret, Joachim Niehren |
DLT | 1 |
| 2017 | Automata for unordered trees
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
Inf. Comput. | 2 |
| 2017 | The emptiness problem for tree automata with at least one global disequality constraint is NP-hard
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
Inf. Process. Lett. | 2 |
| 2015 | Logics for Unordered Trees with Data Constraints on Siblings
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
LATA | 2 |
| 2012 | On Positive TAGED with a Bounded Number of Constraints
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
CIAA | 2 |
| 2012 | Loops and overloops for Tree-Walking Automata
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
Theor. Comput. Sci. | 2 |
| 2011 | Loops and Overloops for Tree Walking Automata
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
CIAA | 2 |