51.

2004 - 2007

Subvention

ACAMBA
Analyse de Chimiothèques et Construction Automatique de Modèles de Bio-Activité

52.

2004 - 2007

RAFALE
Règles pour l'Annotation Fonctionnelle semi-Automatisée de la LEvure

53.

2006 - 2007

DIGITEO

GATEL
OMT GATEL (DIGITEO LABS)

54.

2004 - 2007

ANR

SR2I
Sécurité du routage interdomaine dans l'internet

55.

2004 - 2007

CIFRE

CIFRE RASHEED
IETF - Thèse Mohammed RASHEED

56.

2005 - 2008

Industriel

PICSEL 3
Production d'Interfaces à base de Connaissances pour des Services En Ligne

57.

2005 - 2008

CIFRE

CIFRE DASSAULT
Thèse CIFRE Thierry Hubert

58.

2005 - 2008

CIFRE

CIFRE ATHIS (POUZET)
Thèse Elodie MALGOUYRES

59.

2004 - 2008

Contrat europeen

Rex CoreGrid
European Research Network on Foundations, Software Infrastructures and Applications for large scale distributed, Grid and Peer-to-Peer Technologies

60.

2003 - 2008

Contrat europeen

PASCAL
Pattern Analysis, statistical Modelling and Computational Learning

61.

2006 - 2008

Industriel

Usine Logicielle
Usine Logicielle

62.

2005 - 2008

ANR

MISTR
Mistr

63.

2005 - 2008

Industriel

CIFRE EADS
CIFRE EADS

64.

2005 - 2008

Subvention

PI-Vert
FNS Nouvelles-Interfaces des Mathématiques

65.

2005 - 2008

Industriel

MEDIAD
Médiation distribuée de données et de connaissances

66.

2006 - 2008

Contrat europeen

QCCC
Quantum Information and Applications to communication, cryptography and classical computer science

67.

2004 - 2008

Contrat europeen

TYPES
Types for Proofs and Programs

68.

2005 - 2008

Contrat europeen

KDUBIQ
A BLUEPRINT FOR UBIQUITOUS KNOWLEDGE DISCOVERY SYSTEMS

69.

2005 - 2008

Contrat europeen

WS-DIAMOND
Web Services - DIAgnosability, MONitoring and Diagnosis

70.

2004 - 2008

Subvention

FRAGILE
Tolerance aux défaillances et intégrité garantie par les applications dans les systèmes à grande échelle

71.

2006 - 2008

Contrat europeen

GRID4ALL
GRID4ALL

72.

2005 - 2008

Industriel

DISCODOM
Dispositifs expérimentaux de communication pour l'environnement familial

73.

2007 - 2008

PRA INRIA--ICT-CAS
Partenariat Hubert Curien avec ICT-CAS

74.

2007 - 2008

ANR

RegRNAs
Biological and bioinformatics approaches for identifying novel regulatory RNAs in human introns

75.

2005 - 2008

Subvention

INCA
Identification d'une signature de progression dans les cancers de vessie grâce à une combinaison d'analyse du transcriptome et du génome