126.

2008 - 2010

ANR

127.

2008 - 2010

Industriel

ReActivity
Capture, Visualization and Interaction with Temporal Data

128.

2008 - 2010

ANR

FF2A3
FF2A3

129.

2009 - 2010

ANR

PETAL
PETAL

130.

2010 - 2010

Industriel

AIRBUS - SPECIFICATION ALT-ERGO
AIRBUS - SPECIFICATION ALT-ERGO

131.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

132.

2009 - 2011

Subvention

INNOV NATION
Un serious game pour encourager l'innovation ouverte et participative

133.

2007 - 2011

DIGITEO

134.

2007 - 2011

DIGITEO

DIGIBRAIN - projet 2007-15D
DIGIBRAIN - projet 2007-15D

135.

2008 - 2011

DIGITEO

HISSEO
HISSEO

136.

2008 - 2011

DIGITEO

X-SCALE-N
DIM 2008 X-Scale-N

137.

2008 - 2011

DIGITEO

EDIFLOW
Data-intensive interactive workflows for visual analytics

138.

2008 - 2011

DIGITEO

139.

2009 - 2011

DIGITEO

ITOC
ItoC

140.

2007 - 2011

DIGITEO

SHIRI
An automatic ontology-driven approach for the semantic annotation of documents

141.

2008 - 2011

CIFRE

CIFRE/Z.Bouzarkouna
CIFRE/Z.Bouzarkouna

142.

2004 - 2011

CIFRE

CIFRE THALES
Jérôme Lard Ph.D.

143.

2008 - 2011

ANR

U3CAT
U3CAT

144.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

145.

2008 - 2011

Industriel

Adaptive Combinatorial Search
Adaptive Combinatorial Search

146.

2009 - 2011

ANR

TRAVESTI
Traffic Volume Estimation by Spatio- Temporal Inference

147.

2008 - 2011

Contrat europeen

CSQIP
Collaborative student training in Quantum Information Processing

148.

2008 - 2011

Subvention

JST-ICT
Quantum Computation: Theory and Feasibility

149.

2005 - 2011

CIFRE

CIFRE/N.Rousset
CIFRE/N.Rousset

150.

2009 - 2011

ANR

FOST
Formal prOofs about Scientific compuTations