Emmanuel Coquery
Emmanuel Coquery
Accueil
Publications
Stages/Projects
Enseignement
Contact
Clair
Sombre
Automatique
Projects
Mise à jour incrémentale pour les permissions RDF
Mise au point et implémentation d’un algorithme incrémental pour la mise à jour des permissions fines sur une base de données RDF
Preuves en Coq pour la récriture de requêtes
Écriture d’une bibliothèque de récriture de requêtes dont certaines propriétés sont prouvées en Coq
Workflows scientifiques pour l'expérimentation en informatique
Créer un langage de workflow permettant de réaliser des expériences numériques
Métadonnées pour PAGoDA
Élaboration d’un modèle de méta-données pour PAGoDA et implémentation prototype
Citation
×