Adrien Boiret

From MaRDI portal
Person:515667

Available identifiers

zbMath Open boiret.adrienMaRDI QIDQ515667

List of research outcomes





PublicationDate of PublicationType
SAT-based automated completion for reachability analysis2025-01-20Paper
Transduction from trees to graphs through folding2024-02-02Paper
https://portal.mardi4nfdi.de/entity/Q50909892022-07-21Paper
Active learning of sequential transducers with side information about the domain2022-03-25Paper
https://portal.mardi4nfdi.de/entity/Q49953692021-06-24Paper
Logics for unordered trees with data constraints2019-06-25Paper
Equivalence of symbolic tree transducers2017-10-13Paper
Automata for unordered trees2017-03-16Paper
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time2016-08-30Paper
Normal Form on Linear Tree-to-Word Transducers2016-04-13Paper
Logics for Unordered Trees with Data Constraints on Siblings2016-04-08Paper
Learning rational functions2012-11-02Paper

Research outcomes over time

This page was built for person: Adrien Boiret

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:515667&oldid=6753687"
Powered by MediaWiki