Adrien Boiret

According to our database, Adrien Boiret authored at least 15 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Transduction from trees to graphs through folding.

Martin Berglund, Henrik Björklund, Johanna Björklund, Adrien Boiret

Inf. Comput., December, 2023

2022

Privacy Operators for Semantic Graph Databases as Graph Rewriting.

Adrien Boiret, Cédric Eichler, Benjamin Nguyen

Proceedings of the New Trends in Database and Information Systems, 2022

2021

Active Learning of Sequential Transducers with Side Information About the Domain.

Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin

Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2019

Logics for unordered trees with data constraints.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

J. Comput. Syst. Sci., 2019

2018

The "Hilbert Method" for Solving Transducer Equivalence Problems.

Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude

CoRR, 2018

Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method".

Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

Automata for unordered trees.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Inf. Comput., 2017

Equivalence of Symbolic Tree Transducers.

Vincent Hugot, Adrien Boiret, Joachim Niehren

Proceedings of the Developments in Language Theory - 21st International Conference, 2017

2016

Normalization and Learning of Transducers on Trees and Words. (Normalisation et Apprentissage de Transducteurs d'Arbres et de Mots).

Adrien Boiret

PhD thesis, 2016

Normal Form on Linear Tree-to-Word Transducers.

Adrien Boiret

Proceedings of the Language and Automata Theory and Applications, 2016

Learning Top-Down Tree Transducers with Regular Domain Inspection.

Adrien Boiret, Aurélien Lemay, Joachim Niehren

Proceedings of the 13th International Conference on Grammatical Inference, 2016

Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time.

Adrien Boiret, Raphaela Palenta

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Logics for Unordered Trees with Data Constraints on Siblings.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Proceedings of the Language and Automata Theory and Applications, 2015

2014

Deterministic Automata for Unordered Trees.

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

2012

Learning Rational Functions.

Adrien Boiret, Aurélien Lemay, Joachim Niehren

Proceedings of the Developments in Language Theory - 16th International Conference, 2012