Vincent Hugot

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
scientific article; zbMATH DE number 7362732 (Why is no real title available?) (available as arXiv preprint)	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