Publications et Présentations

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.