Vincent Hugot

Available identifiers

zbMath Open hugot.vincentMaRDI QIDQ442146

List of research outcomes

Publication	Date of Publication	Type
SAT-based automated completion for reachability analysis	2025-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q4995369	2021-06-24	Paper
Logics for unordered trees with data constraints	2019-06-25	Paper
Equivalence of symbolic tree transducers	2017-10-13	Paper
Automata for unordered trees	2017-03-16	Paper
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard	2016-11-23	Paper
Logics for Unordered Trees with Data Constraints on Siblings	2016-04-08	Paper
On Positive TAGED with a Bounded Number of Constraints	2012-09-20	Paper
From Linear Temporal Logic Properties to Rewrite Propositions	2012-09-05	Paper
Loops and overloops for tree-walking automata	2012-08-09	Paper
Loops and Overloops for Tree Walking Automata	2011-07-29	Paper

Research outcomes over time

This page was built for person: Vincent Hugot