51.

2005 - 2009

ANR

SOGEA
Security Of Games. Equilibria and distributed Algorithms.

52.

2007 - 2010

ANR

WebMov
Modélisation et Validation de Services Web

53.

2005 - 2009

ANR

CAT
C Analysis Toolbox

54.

2005 - 2009

ANR

A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces

55.

2005 - 2009

ANR

CerPAN
Certification de Programmes d'Analyse Numérique

56.

2004 - 2007

ANR

ALIDECS
Langages et Atelier Integré pour le Développement de Composants Embarqués Sûrs

57.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

58.

2007 - 2012

ANR

IStar
Moteur Multi-Langage d'Interaction

59.

2005 - 2009

ANR

ALGOQP
Algorithmique et Complexité Quantique et Probabiliste

60.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems

61.

2005 - 2009

ANR

MICROBIOGENOMICS
Extraction optimisée d'informations pertinentes à partir de données complexes et hétérogènes issues de comparaisons génomiques

62.

2006 - 2009

ANR

Brasero
Biologically Relevant Algorithms and Softwares for Efficient RNA Structure Comparison

63.

2006 - 2009

ANR

Web-Content
Plate-forme flexible et generique pour la gestion de contenus et l'integration des technologies du Web Semantique

64.

2007 - 2010

ANR

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

65.

2007 - 2009

ANR

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

66.

2006 - 2009

ANR

OCARI
Optimisation des Communications Ad hoc pour les Réseaux Industriels

67.

2006 - 2009

ANR

SARAH
Services Avancés pour Réseaux Ad Hoc

68.

2006 - 2010

ANR

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

69.

2007 - 2008

ANR

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

70.

2009 - 2011

ANR

TRAVESTI
Traffic Volume Estimation by Spatio- Temporal Inference

71.

2009 - 2012

ANR

QRAC
Algorithmes et complexité quantiques et probabiliste

72.

2004 - 2007

ANR

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

73.

2008 - 2010

ANR

SAFE-0S
Système d'exploitation sécurisé pour l'internaute

74.

2003 - 2005

ANR

SAFARI
Services Ad hoc/Filaires: développement d´une Architecture de Réseaux

75.

2003 - 2006

ANR

NEURODYNE
NEURODYNE (NIM)