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
Normalisation et apprentissage de transducteurs d'arbres et de mots 07/11/2016
Evaluation de requêtes XPath sur des flux XML avec des réseaux d'automates de mots imbriqués 17/06/2016
Requêtes et schémas hétérogènes : Complexité et apprentissage 01/07/2015