Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Current contracts and grants
Research results
Current contracts and grants
#
Period
Type
Name
Principal investigator
401.
2004 - 2007
Subvention
ACI NPP
ACI Normes, Pratiques et Régulations des politiques
402.
2004 - 2007
ANR
ALIDECS
Languages and Tool-Chain for the Development of Safe Embedded Components
403.
2004 - 2007
Subvention
ACI project Tralala
XML Transformation Languages:logic and applications
404.
2005 - 2007
Industriel
Security in ad hoc networks
Security in ad hoc networks
405.
2004 - 2007
Subvention
TCAN
TCAN
406.
2004 - 2007
Subvention
ACI GRID'5000
ACI GRID'5000
407.
2003 - 2007
Subvention
GECCOO
Generation of Certified Code for Object Oriented Applications specification, refinement, proof and error detection
408.
2004 - 2007
edos
Environment for the development and Distribution of Open Source software
409.
2003 - 2006
Subvention
410.
2003 - 2006
Subvention
MDP2P
Massive data in Peer to Peer
411.
2003 - 2006
Subvention
412.
2003 - 2006
Subvention
413.
2003 - 2006
ANR
414.
2003 - 2006
NEMO
NEMO: a grouped mobility
415.
2003 - 2006
Subvention
VERA
Approximate verification
416.
2003 - 2006
Subvention
417.
2003 - 2006
Subvention
NAVGRAPH
NAVGRAPH
418.
2003 - 2006
Subvention
PAIR A PAIR
PAIR A PAIR
419.
2003 - 2006
Subvention
MICROMEGAS
MICROMEGAS
420.
2003 - 2006
Subvention
Réseaux quantiques
Réseaux quantiques
421.
2005 - 2006
BQR
422.
2005 - 2006
Subvention
423.
2003 - 2006
CIFRE
424.
2002 - 2005
PPF
Bioinformatics and Genomics
PPF - Bioinformatics and Genomics
425.
2002 - 2005
Contrat europeen
RESQ
RESQ
Première page - Précédant - 12 - 13 - 14 - 15 - 16 - 17 - 18 - 19 - 20 - 21 -