Intranet
Vous êtes ici : Accueil Centre de documentation Publications de l'Irisa Habilitations à diriger des recherches

Habilitations à diriger des recherches


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

Guillaume Gravier

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

29 Septembre 2009

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

Gabriel Antoniu

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

05 Mars 2009

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

Miklós Molnár

Optimisation des communications multicast sous contraintes

25 Novembre 2008 / 165 pages

Stefan Haar

Law and partial order Nonsequential behaviour and probability in asynchronous systems

30 Octobre 2008

Eric Anquetil

Reconnaissance d'écriture manuscrite et interaction homme-document

27 Octobre 2008 / 127 pages

Laurent Mevel

Identification and detection of stochastic systems application in structural monitoring

22 Octobre 2008

Christophe Collewet

Vers des asservissements visuels sur des scènes inconnues

30 Septembre 2008 / 89 pages

Jacques Nicolas

Syntaxe, raisonnement et génomes

13 Mai 2008 / 110 pages

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

Mentions légales et crédits