Habilitations à diriger des recherches

Les présents exposés écrits et oraux ainsi que tous les éléments qu'ils comportent, font l'objet d'une protection par le droit d'auteur.

Années : 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991 - 1990 - 1989 - 1988

2009

Thomas Genet

Reachability analysis of rewriting for software verification

30 Novembre 2009

Résumé - video

Guillaume Gravier

Intégration de connaissances par modèles probabilistes pour l'analyse de documents multimédias

29 Septembre 2009

Résumé - vidéo

Nizar Bouabdallah

Une croisière dans les réseaux : des réseaux d'accès sans fil aux réseaux de coeur tout optique

30 Avril 2009 / 107 pages

Résumé - manuscrit.pdf - vidéo

Gabriel Antoniu

Contribution à la conception de services de partage de données pour les grilles de calcul

05 Mars 2009

Résumé - vidéo - Hal

2008

Anne Siegel

Analyse de systèmes dynamiques par discrétisation Exemples d'applications en théorie des nombres et en biologie moléculaire

08 Décembre 2008 / 226 pages

Résumé - manuscrit.pdf - vidéo

Miklós Molnár

Optimisation des communications multicast sous contraintes

25 Novembre 2008 / 165 pages

Résumé - manuscrit.pdf - - vidéo

Stefan Haar

Law and partial order Nonsequential behaviour and probability in asynchronous systems

30 Octobre 2008

Résumé - vidéo

Eric Anquetil

Reconnaissance d'écriture manuscrite et interaction homme-document

27 Octobre 2008 / 127 pages

Résumé - manuscrit.pdf - vidéo

Laurent Mevel

Identification and detection of stochastic systems application in structural monitoring

22 Octobre 2008

Résumé - vidéo

Christophe Collewet

Vers des asservissements visuels sur des scènes inconnues

30 Septembre 2008 / 89 pages

Résumé - manuscrit.pdf - vidéo

Jacques Nicolas

Syntaxe, raisonnement et génomes

13 Mai 2008 / 110 pages

Résumé - manuscrit.pdf - vidéo

Années : 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991 - 1990 - 1989 - 1988

Les présents exposés écrits et oraux ainsi que tous les éléments qu'ils comportent, font l'objet d'une protection par le droit d'auteur. A ce titre, toute reproduction, représentation, adaptation, traduction partielle et ou intégrale, sans l'accord préalable et écrit de leur auteur, est strictement interdite. Chacun des auteurs a autorisé l'INRIA, le CNRS, l'Université de Rennes 1 et l'INSA à reproduire, et représenter, sur le présent site internet, ses exposés écrits et oraux ainsi que tous les éléments qu'ils comportent.

IRISA

Sections

Habilitations à diriger des recherches

2009

2008