Adrien Vieilleribière sur dblp
Journaux
Approximate consistency for transformations on words and trees, avec Michel de Rougemont, Theoretical Computer Science, 2016 [editeur, bibtex]
The directed Switching Game on Lawrence Oriented Matroids, avec David Forge, European Journal of Combinatorics, 2009. [article, éditeur, bibtex]
Approximate Schemas, Source-Consistency and Query Answering, avec Michel de Rougemont. Journal of Intelligent Information Systems, 2008. [article, éditeur, bibtex]
Conférences
Improving time travel experience by combining annotations, Web Audio Conferebce 2016, [article, poster, éditeur, bibtex]
Approximate Structural Consistency avec Michel de Rougemont, SOFSEM 2010, p. 685-696. [article, présentation, éditeur, bibtex]
Équivalence Approchée de Transducteurs, CMF (Complexité et Modèles Finis), 2007.[présentation]
Approximate Data Exchange, avec Michel de Rougemont, International Conference on Database Theory, 2007. [article, présentation, éditeur, bibtex]
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. [présentation]
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 [poster]
Groupes de travail
From Approximate membership To Data Integration, MOVE 2010. [présentation]
Approximate Tree Transducers, On Verification of Web Services (VerAp) 2008.
Rapports
Thèse de doctorat : Transformations de Mots, d’Arbres et de Statistiques [Manuscript,présentation]
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. [Manuscript]
Algorithmique des matroïdes, : Stage de recherche au L.R.I. dans l’équipe Graphcom, supervisé par David Forge, 2003.
Étude du polynôme chromatique, Stage de recherche dans l’équipe Graphcom du L.R.I, 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.