Sylvain Salvati
Evaluation du programme hyperstreaming pour les données dynamiques
Compilation et aggrégation dans les bases de données
Sur la complexité des langages réguliers. 05/07/2024
De la théorie des semigroupes à la vectorisation : valider les langages réguliers 14/12/2023
Enrichir et résoudre des programmes linéaires avec des requêtes conjonctives 28/02/2023
Safety of data transformations 16/12/2021
Requêtes logiques sur les hyperflux 24/07/2020
Dialogue entre la procédure du chase et la réécriture sur les mots 19/12/2019
Normalization and Learning of Transducers on Trees and Words 07/11/2016
Evaluation of XPath Queries on XML streams with Networks of Early Nested Word Automata 17/06/2016
Requêtes et schémas hétérogènes : Complexité et apprentissage 01/07/2015