|
1050019
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Recherche en Informatique |
|
TAckling the Underspecified |
TAU |
researchteam |
Université Paris-Saclay;Bâtiment 660 - Shannon ; 91405 Orsay Cedex |
|
2020-01-01 |
2020-12-31 |
|
|
450091
Infos complémentaires |
parentName_s |
Centre de Mathématiques Appliquées de l'Ecole polytechniqueInria Saclay - Ile de France |
|
TROPICAL |
TROPICAL |
researchteam |
1 Rue Honoré d'Estienne d'Orves91120 Palaiseau |
|
2016-01-01 |
|
|
|
55047
Infos complémentaires |
parentName_s |
Laboratoire d'informatique de l'École polytechnique [Palaiseau]Inria Saclay - Ile de France |
|
Types, Logic and computing |
TYPICAL |
researchteam |
LIX Ecole Polytechnique 91129 Palaiseau Cedex |
|
|
|
|
|
1058419
Infos complémentaires |
parentName_s |
Centre de Mathématiques Appliquées de l'Ecole polytechniqueInria Saclay - Ile de France |
|
Uncertainty Quantification in Scientific Computing and Engineering |
PLATON |
researchteam |
1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau |
|
2020-12-01 |
|
|
|
446142
Infos complémentaires |
parentName_s |
Inria Sophia Antipolis - MéditerranéeInria Saclay - Ile de France |
|
Understanding the Shape of Data |
DATASHAPE |
researchteam |
Inria Saclay1, rue Honoré d’Estienne d’Orves91120 Palaiseau |
|
|
|
|
|
56043
Infos complémentaires |
parentName_s |
Laboratoire Spécification et Vérification [Cachan]Inria Saclay - Ile de France |
|
Verification in databases |
DAHU |
researchteam |
LSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCE |
|
2009-01-01 |
2017-12-31 |
|
|
563449
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de France |
|
inTeRnet BEyond the usual |
TRiBE |
researchteam |
|
|
|
|
|