Adrien Boiret

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
Transduction from trees to graphs through folding Information and Computation	2024-02-02	Paper
scientific article; zbMATH DE number 7561353 (Why is no real title available?) (available as arXiv preprint)	2022-07-21	Paper
Active learning of sequential transducers with side information about the domain (available as arXiv preprint)	2022-03-25	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
Deciding equivalence of linear tree-to-word transducers in polynomial time Developments in Language Theory	2016-08-30	Paper
Normal form on linear tree-to-word transducers Language and Automata Theory and Applications	2016-04-13	Paper
Logics for Unordered Trees with Data Constraints on Siblings Language and Automata Theory and Applications	2016-04-08	Paper
Learning rational functions Developments in Language Theory	2012-11-02	Paper

Research outcomes over time

This page was built for person: Adrien Boiret