Vincent Hugot

zbMath Openhugot.vincentMaRDI QIDQ442146

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SAT-based automated completion for reachability analysis	2025-01-20	Paper
scientific article; zbMATH DE number 7362732 (Why is no real title available?)	2021-06-24	Paper
Logics for unordered trees with data constraints Journal of Computer and System Sciences	2019-06-25	Paper
Equivalence of symbolic tree transducers	2017-10-13	Paper
Automata for unordered trees Information and Computation	2017-03-16	Paper
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard Information Processing Letters	2016-11-23	Paper
Logics for Unordered Trees with Data Constraints on Siblings Language and Automata Theory and Applications	2016-04-08	Paper
On positive TAGED with a bounded number of constraints Implementation and Application of Automata	2012-09-20	Paper
From linear temporal logic properties to rewrite propositions Automated Reasoning	2012-09-05	Paper
Loops and overloops for tree-walking automata Theoretical Computer Science	2012-08-09	Paper
Loops and overloops for tree walking automata Implementation and Application of Automata	2011-07-29	Paper

Research outcomes over time

This page was built for person: Vincent Hugot