51.

2005 - 2009

ANR

SOGEA
Security Of Games. Equilibria and distributed Algorithms.

52.

2007 - 2010

ANR

WebMov
Web Service Modelling and Validation

53.

2005 - 2009

ANR

CAT
C Analysis Toolbox

54.

2005 - 2009

ANR

55.

2005 - 2009

ANR

CerPAN
Certification of numerical analysis programs

56.

2004 - 2007

ANR

ALIDECS
Languages and Tool-Chain for the Development of Safe Embedded Components

57.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

58.

2007 - 2012

ANR

IStar
Multi-language interaction kernel

59.

2005 - 2009

ANR

ALGOQP
Quantum and Randomized Algorithms and Complexity

60.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems

61.

2005 - 2009

ANR

62.

2006 - 2009

ANR

Brasero
Biologically Relevant Algorithms and Softwares for Efficient RNA Structure Comparison

63.

2006 - 2009

ANR

Web-Content
A software platform to accommodate the tools necessary to efficiently exploit and extend the Semantic Web.

64.

2007 - 2010

ANR

65.

2007 - 2009

ANR

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

66.

2006 - 2009

ANR

OCARI
Optimization of ad hoc networks for industrial applications

67.

2006 - 2009

ANR

SARAH
Advanced Services for ad hoc networks

68.

2006 - 2010

ANR

TRAFIC
Vehicular network architecture for grouped mobility and real time services

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
Quantum and Randomized Algorithms and Complexity

72.

2004 - 2007

ANR

SR2I
Security of routing in internet

73.

2008 - 2010

ANR

74.

2003 - 2005

ANR

SAFARI
Fixed/ad hoc services: providing the promizing architecture

75.

2003 - 2006

ANR