101.

2007 - 2009

Subvention

GT CMF
Complexité et Modèles finis

102.

2006 - 2009

PPF

Bioinformatique et Biomathémati
PPF - Bioinformatiques et Biomathématiques

103.

2008 - 2009

Contrat europeen

OMP
Open Media Platform

104.

2007 - 2009

ANR

DOCFLOW
Analysis, monitoring, and optimization of Web documents and services

105.

2006 - 2009

Subvention

GDR BIM
GDR BIOINFORMATIQUE MOLÉCULAIRE

106.

2006 - 2009

Subvention

GT IQ
Informatique Quantique

107.

2007 - 2009

Subvention

ST2I - DREI
Constructing a federation model for web-based knowledge, and applying it to ubiquitous knowledge discovery for grid modelling

108.

2008 - 2009

Subvention

CeProMi
Certification de Programmes Manipulant la Mémoire

109.

2008 - 2009

Contrat europeen

EDGeS
EDGeS

110.

2009 - 2010

Pole de competitivite

OPEN GPU
Open GPU

111.

2006 - 2010

ANR

TRAFIC
architecTure pour les Réseaux véhiculaire A Forte mobIlité groupée pour la gestion de serviCes temps réel

112.

2009 - 2010

DIGITEO

PROJET 2009-67D
PROJET 2009-67D

113.

2007 - 2010

ANR

WebMov
Modélisation et Validation de Services Web

114.

2009 - 2010

Industriel

HEDI
HEDI–Heterogeneous Electronic Data Integration project

115.

2009 - 2010

Subvention

WILD PRECIPUT
Réseau haute performance pour WILD

116.

2007 - 2010

ANR

HIPCAL
HIPCAL

117.

2007 - 2010

DIGITEO

WIMAX
Qualité de service dans les réseaux de capteurs et Wi-Max

118.

2007 - 2010

DIGITEO

MODELES SIMPLIFIES ET APPRENTISS
Modèles Simplifiés - App. Actif

119.

2007 - 2010

CIFRE

CIFRE J.BIBAI
CIFRE J.BIBAI

120.

2007 - 2010

Industriel

SIRASAS
Stratégies Innovantes et Robustes pour l'Autonomie des Systèmes Aéronautiques et Spatiaux

121.

2007 - 2010

Industriel

RAF
Réseaux Ad hoc à forte efficacité

122.

2010 - 2010

Industriel

THINKSTRAIGHT
CONTRAT D'ETUDE ENTRE THINKSTRAIGHT ET L'INRIA

123.

2007 - 2010

ANR

SIESTA
Automatisation du Test des SystèmEs Embarqués en SCADE et SIMULINK

124.

2007 - 2010

DIGITEO

GALEE
Génération Automatique de Logiciels Embarqués Efficaces

125.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems