426.

2009 - 2011

ANR

TRAVESTI
Traffic Volume Estimation by Spatio- Temporal Inference

427.

2004 - 2008

Contrat europeen

TYPES
Types for Proofs and Programs

428.

2012 - 2015

ANR

Typex
Typeful certified XML: : integrating language, logic, and data- oriented best practices

429.

2008 - 2011

ANR

U3CAT
U3CAT

430.

2012 - 2013

Subvention

Updates
Updates

431.

2006 - 2008

Industriel

Usine Logicielle
Usine Logicielle

432.

2018 - 2019

autre financeur public

VASTE
Veracity Assessment in spatio-temporal data

433.

2005 - 2006

Subvention

VEDIORBIS
Fouille de Données pour les Ressources Humaines

434.

2003 - 2006

Subvention

VERA
Vérification approchée

435.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems

436.

2012 - 2015

ANR

VERASCO
ANR VERASCO

437.

2018 - 2018

Subvention

VISU 2018
CONF VISU 2018

438.

2011 - 2012

ANR

VNC
VNC

439.

2015 - 2020

ANR

VOCAL
VOCAL

440.

2006 - 2009

ANR

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

441.

2005 - 2009

ANR

WEBCONTENT
La Plateforme du Web Sémantique

442.

2007 - 2010

ANR

WebMov
Modélisation et Validation de Services Web

443.

2016 - 2017

Webstore
Webstore

444.

2008 - 2012

DIGITEO

WILD
Plateforme de visualissation interactive haute résolution

445.

2010 - 2012

DIGITEO

WILD 2-PCRI
Extension de WILD au PCRI

446.

2009 - 2010

Subvention

WILD PRECIPUT
Réseau haute performance pour WILD

447.

2007 - 2010

DIGITEO

WIMAX
Qualité de service dans les réseaux de capteurs et Wi-Max

448.

2005 - 2008

Contrat europeen

WS-DIAMOND
Web Services - DIAgnosability, MONitoring and Diagnosis

449.

2008 - 2011

DIGITEO

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