101.

2007 - 2009

Subvention

GT CMF
Complexity and Finite Models

102.

2006 - 2009

PPF

Bioinformatics and biomathematic
PPF - Bioinformatics and biomathematics

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 BIM

106.

2006 - 2009

Subvention

GT IQ
Quantum Computation

107.

2007 - 2009

Subvention

108.

2008 - 2009

Subvention

CeProMi
Certification of Programs involving memory sharing and side effects

109.

2008 - 2009

Contrat europeen

EDGeS
EDGeS

110.

2009 - 2010

Pole de competitivite

Open GPU
Open GPU

111.

2006 - 2010

ANR

TRAFIC
Vehicular network architecture for grouped mobility and real time services

112.

2009 - 2010

DIGITEO

PROJET 2009-67D
PROJET 2009-67D

113.

2007 - 2010

ANR

WebMov
Web Service Modelling and Validation

114.

2009 - 2010

Industriel

HEDI
HEDI–Heterogeneous Electronic Data Integration project

115.

2009 - 2010

Subvention

WILD PRECIPUT
WILD High Performance Network

116.

2007 - 2010

ANR

HIPCAL
HIPCAL

117.

2007 - 2010

DIGITEO

QoS
QoS in Sensor and ad hoc networks

118.

2007 - 2010

DIGITEO

Simplified Models & Active Learning

119.

2007 - 2010

CIFRE

CIFRE J.BIBAI
CIFRE J.BIBAI

120.

2007 - 2010

Industriel

SIRASAS
Design of Advanced Fault Tolerant Control System in aeronautics and space domains

121.

2007 - 2010

Industriel

RAF
High Efficiency ad hoc Networks

122.

2010 - 2010

Industriel

THINKSTRAIGHT
CONTRAT D'ETUDE ENTRE THINKSTRAIGHT ET L'INRIA

123.

2007 - 2010

ANR

124.

2007 - 2010

DIGITEO

GALEE
Automatic Generation of Efficient Embedded Softwares

125.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems