Approximate consistency for transformations on words and trees
Avec Michel de Rougemont, Theoretical Computer Science, 2016.
Accueil
Recherche
Des travaux à l'intersection de la théorie informatique, des structures discrètes, de l'approximation et de la navigation temporelle dans les médias.
Journaux
Conférences
Improving time travel experience by combining annotations
Web Audio Conference 2016.
Approximate Structural Consistency
Avec Michel de Rougemont, SOFSEM 2010, p. 685-696.
Équivalence Approchée de Transducteurs
CMF, Complexité et Modèles Finis, 2007.
Approximate Data Exchange
Avec Michel de Rougemont, International Conference on Database Theory, 2007.
Approximate schemas and Query Answering
Avec Michel de Rougemont, Information Search, Integration and Personalization, 2005.
Some Properties of Directed Switching Games on Oriented Matroids
Avec David Forge, Combinatorial Geometries and Applications: Oriented Matroids and Matroids, 2005.
Projets de recherche
DoCoVi
Document Composition through Visual Interaction : réponse à l'appel d'offre ANR CONTINT 2011.
CIPE
Composition, Indexation, et Personnalisation d'Ebook : réponse à l'appel d'offre Digiteo-Ile-de-France 2010.
VERAP
VéRification Approchée de systèmes Probabilistes : ACI sécurité et informatique, 2006-2008.
VISIR
VISual InteRaction : projet Digiteo 2008.
Groupes de travail
From Approximate membership To Data Integration
MOVE 2010.
Approximate Tree Transducers
On Verification of Web Services, VerAp, 2008.
Rapports
Thèse de doctorat
Transformations de Mots, d'Arbres et de Statistiques.
Jeux sémantiques et vérification
École d'informatique théorique, 2006.
Complexité Algorithmique
École d'informatique théorique, 2005.
Complexité et théorie de jeux
Stage de recherche au Laboratoire de Recherche en Informatique dans l'équipe Algorithmique et Complexité, sous la direction de Michel de Rougemont, 2004.
Algorithmique des matroïdes
Stage de recherche au LRI dans l'équipe Graphcom, supervisé par David Forge, 2003.
Étude du polynôme chromatique
Stage de recherche dans l'équipe Graphcom du LRI, sous la direction de Pascal Berthomé, 2002.
Dénombrement de motifs et probabilités de répétition
Stage de magistère de mathématiques, 2002.