Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Marion F < Marion J < Mariot A

J. Y. Marion
France
005504
00B081
France
Loria, Calligramme project, B.P. 239, 54506 Cédex, Vandœuvre-lès-Nancy
Grand EstLorraine (région)Vandœuvre-lès-NancyNancy
006397
France
Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00B081
France
Loria, INPL, 615, rue du Jardin Botanique, BP-101, 54602, Villers-lès-Nancy
Grand EstLorraine (région)Villers-lès-Nancy
005504
Loria Calligramme Project B.P. 23954506 Vandoeuvre-lès-NancyFRA1 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
007F82
Loria, Calligramme project, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.3 aut.4 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00B185
France
École Nationale Supérieure des Mines de Nancy, INPL
NancyGrand EstLorraine (région)
Institut national polytechnique de Lorraine
Université de Lorraine
006397
J.-Y. Marion
France
005575
009742
France
Loria, Calligramme project, B.P. 239, 54506 Vandœuvre-lès-Nancy Cedex, France; (e-mail: bonfante@loria.fr, cichon@loria.fr
cichon@loria.fr
cichon@loria.fr
009742
France
Loria - INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex
Grand EstLorraine (région)Vandœuvre-lès-Nancy Cédex
005575
Loria -INPL, 615, rue du Jardin Botanique, BP-10154602 Villers-lès-NancyFRA1 aut.3 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
005742
Nancy-Universtité, Loria, INPL-ENSMN, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
002848
Universitè Nancy 2, Loria, Projet Calligramme, Campus Scientifique - B.P. 23954506 Vandoeuvre-lès-NancyFRA1 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00B171
Université Nancy 2, CRIN - CNRS & INRIA Lorraine, Projet Calligramme, Campus Scientifique - B.P. 23954506 Vandoeuvre-lès-NancyFRA1 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00C535
Université Nancy 2, CRIN - CNRS & INRIA Lorraine - B.P. 23954506 Vandoeuvre-lès-NancyFRA2 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00C511
Université Nancy 2, Loria, Projet Calligramme, B.P. 239, Campus Scientifique54506 Vandœuvre-lès-NancyFRA2 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00A640
NONE
006584
00CB36
00CE09
00D298
Jean-Yves Marion
France
001470
001598
001E03
003096
003170
004436
004548
004D27
004D33
004D42
004D94
004E66
005543
005703
006E80
006E81
007E65
009845
009912
00AE96
00C440
00CF73
France
Nancy-Université
004D72
États-Unis
00A351
France
INPL, École Nationale Supérieure des Mines de Nancy
École Nationale Supérieure des Mines de Nancy
École Nationale Supérieure des Mines de Nancy
006430
France
Université de Lorraine and LORIA
001470
France
École Nationale Supérieure, Mines de Nancy
Mines de Nancy
Mines de Nancy
004D42
École nationale supérieure des Mines de NancyMines NancyCampus Artem - CS 14 234 - 54042 Nancy cedexhttp://www.mines.inpl-nancy.fr/Institut Mines-Télécom46 rue Barrault -75634 Paris Cedex 13http://www.mines-telecom.fr/
France
000E73
199618306VLinear logic, proof networks and categorial grammarsCALLIGRAMMEhttp://www.inria.fr/equipes/calligrammeLaboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Université Henri Poincaré - Nancy 1UHP2011-12-3124-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, FranceUniversité Nancy 22011-12-3191 avenue de la Libération, BP 454, 54001 Nancy cedexInstitut National Polytechnique de LorraineINPL2011-12-31INRIA Lorraine615 rue du Jardin Botanique 54600 Villers-lès-Nancyhttp://www.inria.fr/centre-de-recherche-inria/nancy-grand-est
France
NancyGrand EstLorraine (région)
Université Nancy 2
Université de Lorraine
NancyGrand EstLorraine (région)
Institut national polytechnique de Lorraine
Université de Lorraine
005109
005211
005980
005989
005B59
005B75
005C32
006787
006788
006842
006952
006990
007200
007273
007317
007349
007350
007351
007352
007372
007411
007621
007649
007680
008139
008179
008183
008338
008485
009034
009037
009207
009A32
009B88
009C87
009C90
009D27
009D50
00A806
00A956
00A962
00B406
00B431
00BE01
00BE67
199221357DConstraints, automatic deduction and software properties proofsPROTHEOhttp://www.inria.fr/equipes/protheoLaboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Université Henri Poincaré - Nancy 1UHP2011-12-3124-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, FranceUniversité Nancy 22011-12-3191 avenue de la Libération, BP 454, 54001 Nancy cedexInstitut National Polytechnique de LorraineINPL2011-12-31INRIA Lorraine615 rue du Jardin Botanique 54600 Villers-lès-Nancyhttp://www.inria.fr/centre-de-recherche-inria/nancy-grand-est
France
NancyGrand EstLorraine (région)
Université Nancy 2
Université de Lorraine
NancyGrand EstLorraine (région)
Institut national polytechnique de Lorraine
Université de Lorraine
008F78
200918992JTheoretical adverse computations, and safetyCARTEhttp://www.inria.fr/equipes/carte198618246YINRIA Nancy - Grand Est615 rue du Jardin Botanique 54600 Villers-lès-Nancyhttp://www.inria.fr/nancyInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Department of Formal Methods LORIA - FMhttp://www.loria.fr/la-recherche-en/departements/formal-methods067077927198912571S[UL]RSI--Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIA2012-01-01Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr157040569[UL]100--Université de LorraineUL2012-01-0134 cours Léopold - CS 25233 - 54052 Nancy cedexhttp://www.univ-lorraine.fr/000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/
France
NancyMetzGrand EstLorraine (région)
Université de Lorraine
000154
000269
000285
000887
000C16
000F81
001139
001199
001285
002957
002985
002A42
002B17
002C04
002C07
002D20
002F30
002F34
003399
003403
003441
003693
003748
003785
003D44
003D45
003D74
003E50
003F45
004037
004147
004158
004258
004273
004678
004851
004879
004896
004954
004A08
004A90
004B10
005062
005114
200918992JTheoretical adverse computations, and safetyCARTEhttp://www.inria.fr/equipes/carte198618246YINRIA Nancy - Grand Est615 rue du Jardin Botanique 54600 Villers-lès-Nancyhttp://www.inria.fr/nancyInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Department of Formal Methods LORIA - FMhttp://www.loria.fr/la-recherche-en/departements/formal-methods067077927198912571S[UL]RSI--Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIA2012-01-01Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr157040569[UL]100--Université de LorraineUL2012-01-0134 cours Léopold - CS 25233 - 54052 Nancy cedexhttp://www.univ-lorraine.fr/02636817X0000000122597504Centre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/
France
NancyMetzGrand EstLorraine (région)
Université de Lorraine
001912
001930
001956
001984
001C48
001D17
001F35
001F92
002332
002397
002426
002536
France
LORIA-INPL, B.P. 239, 54506, Vandoeuvre-lés-Nancy
Grand EstLorraine (région)Vandœuvre-lès-Nancy
004D94
France
CRIN - CNRS - INRIA Lorraine, Université Nancy I, 54506, Vandœuvre-lés-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00CF73
France
INPL - INRIA Nancy Grand Est Nancy-Université - LORIA, Campus Scientifique - BP 239, F54506, Vandoeuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
003170
France
INPL-Ecole Nationale Supérieure des Mines de Nancy, Parc de Saurupt, 54042, Nancy Cedex
Grand EstLorraine (région)Nancy
006E80
France
LORIA – INPL, Ecole Nationale Supérieure des Mines de Nancy, 615, rue du jardin botanique, 54602, Villers-lès-Nancy
Grand EstLorraine (région)Villers-lès-Nancy
006E81
France
LORIA, 615 rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex, Nancy
Grand EstLorraine (région)Nancy
007E65
France
Loria - INPL, 615, rue du Jardin Botanique, BP-101, 54602, Villers-lès-Nancy
Grand EstLorraine (région)Villers-lès-Nancy
004436
France
Loria, B.P. 239, 54506, Vandœuvre-lés-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
009912
France
Loria, Calligramme project, B.P. 239, 54506 Cedex, Vandœuvre-lès-Nancy
Grand EstLorraine (région)Vandœuvre-lès-NancyNancy
005543
France
Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
009845
France
Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex
Grand EstLorraine (région)Vandœuvre-lès-Nancy Cédex
006430
France
Loria-INPL, Equipe Carte, Nancy-University, 615, rue du Jardin Botanique, 54602, Villers lès Nancy
Grand EstLorraine (région)Villers lès Nancy
003096
France
Loria-INPL, École Nationale Supérieure des Mines de Nancy, B.P. 239, 54506 Cedex, Vandoeuvre-lès-Nancy
Grand EstLorraine (région)Vandœuvre-lès-NancyNancy
005703
France
Loria-INPL, École Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
004548
France
Loria-INPL, Équipe Carte, Nancy
Grand EstLorraine (région)Nancy
004D42
France
Nancy-Université - Loria - INPL - Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506 Vandœuvre-lès-Nancy Cédex
Grand EstLorraine (région)Vandœuvre-lès-Nancy Cédex
004E66
LORIA - INPL, Ecole Nationale Supérieure des Mines de Nancy, 615, rue du jardin botanique54602 Villers-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
007031
LORIA, 615 rue du Jardin Botanique, BP 10154602 Villers-lès-NancyFRA1 aut.3 aut.4 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
005781
LORIA, BP 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
007F67
Loria, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
009A04
Loria, Calligramme project, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00A612
Loria, Calligramme project, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.3 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
006599
009977
LORIA, 615, rue du jardin botanique54602 Villers-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
004E87
Nancy-University, ENSMN-INPL, Loria B.P. 23954506 Vandoeuvre-les-NancyFRA3 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
004580
INPL-Ecole Nationale Supérieure des Mines de Nancy, Parc de Saurupt54042 NancyFRA2 aut.
France
Grand EstLorraine (région)Nancy
004E87
France
CRIN - CNRS & INRIA Lorraine, Université Nancy 2, B.P. 239, 54506, Vand∄uvre-lès-Nancy Cedex
Grand EstLorraine (région)Vand∄uvre-lès-Nancy
Université Nancy 2
00C401
France
LORIA, Université de Lorraine
NancyMetzGrand EstLorraine (région)
Université de Lorraine
001598
France
Nancy Université, Loria, ENSMN-INPL, B.P. 239, 54506 Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Nancy-Université
004D33
France
Nancy-Université, Loria, Carte team, B.P. 239, 54506 Vandœuvre-lès-Nancy Cedex, France, and École Nationale Supérieure des Mines de Nancy, INPL
NancyGrand EstLorraine (région)
Institut national polytechnique de Lorraine
Université de Lorraine
004D27
France
Nancy-Université, Loria, INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex
Grand EstLorraine (région)Vandœuvre-lès-Nancy Cédex
Nancy-Université
004531
France
Projet Calligramme, Université Nancy 2, CRIN - CNRS & INRIA Lorraine, Campus Scientifique, B.P. 239, 54506, Vand∄uvre-lès-Nancy Cedex
Grand EstLorraine (région)Vand∄uvre-lès-Nancy
Université Nancy 2
00C440
France
Université Nancy 2, Loria, Projet Calligramme, B.P. 239, Campus Scientifique, 54506 Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00A351
France
Université Nancy 2, Loria, Projet Calligramme, Campus Scientifique — B.P. 239, 54506 Vandoeuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00AE96
France
Université de Lorraine, Loria, Nancy
Grand EstLorraine (région)Nancy
Université de Lorraine
001E03
France
École Nationale Supérieure des Mines de Nancy, INPL
NancyGrand EstLorraine (région)
Institut national polytechnique de Lorraine
Université de Lorraine
005543
LORIA -INRIA Lorraine -Université de NancyFRA1 aut.2 aut.3 aut.4 aut.5 aut.
France
NancyGrand EstLorraine (région)
Nancy-Université
Université de Lorraine
005790
Nancy-Université, Loria, INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.3 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Nancy-Université
003C87
Nancy-Université, Loria-INPL-ENSMNFRA2 aut.
France
Loria-INPL-ENSMN
Nancy-Université, Loria-INPL-ENSMN
Nancy-Université
NancyGrand EstLorraine (région)
004571
École Nationale Supérieure des Mines de Nancy, INPLFRA1 aut.2 aut.
France
INPL
NancyGrand EstLorraine (région)
Institut national polytechnique de Lorraine
Université de Lorraine
006599
LORIA, Université Nancy 2, Calligramme Project, B.P. 23954506 Vandœuvre-lès-NancyFRA2 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
008D82
Université de Lorraine, LORIA, UMR, Vandoeuvre-lès-Nancy, France. jean-yves.marion@loria.fr
France
Université de Lorraine, LORIA, UMR, Vandoeuvre-lès-Nancy
Grand EstLorraine (région)Vandœuvre-lès-NancyNancy
Université de Lorraine
001D33
Nancy-Université
France
NancyGrand EstLorraine (région)
005630
E-mail:
006475
NONE
005E79
006022
006050
006079
006109
006143
006293
006D14
007732
007798
007805
007941
007A15
007A50
007C30
008627
008879
008901
008A00
009351
009395
009436
009638
009F13
009F98
00A029
00A057
00A153
00A240
00AB38
00AD74
00B653
00B763
00B837
00BE47
00C058
00C227
E-mail:
006475

<g>
<k>Marion J</k>
<l>
<g>
<k>J. Y. Marion</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>005504</i>
<i>00B081</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Calligramme project, B.P. 239, 54506 Cédex, Vandœuvre-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
<settlement type="city" wicri:auto="agglo">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>006397</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00B081</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, INPL, 615, rue du Jardin Botanique, BP-101, 54602, Villers-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005504</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria Calligramme Project B.P. 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>007F82</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria, Calligramme project, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00B185</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>École Nationale Supérieure des Mines de Nancy, INPL</wicri:regionArea>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>006397</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>7</n>
<t>8</t>
</g>
<g>
<k>J.-Y. Marion</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>005575</i>
<i>009742</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
<wicri:regionArea>Loria, Calligramme project, B.P. 239, 54506 Vandœuvre-lès-Nancy Cedex, France; (e-mail: bonfante@loria.fr, cichon@loria.fr</wicri:regionArea>
<wicri:noRegion>cichon@loria.fr</wicri:noRegion>
<wicri:noRegion>cichon@loria.fr</wicri:noRegion>
</affiliation>
</k>
<l>
<i>009742</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria - INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy Cédex</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005575</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria -INPL, 615, rue du Jardin Botanique, BP-101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005742</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Nancy-Universtité, Loria, INPL-ENSMN, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>002848</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="01">
<s1>Universitè Nancy 2, Loria, Projet Calligramme, Campus Scientifique - B.P. 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00B171</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="01">
<s1>Université Nancy 2, CRIN - CNRS & INRIA Lorraine, Projet Calligramme, Campus Scientifique - B.P. 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00C535</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="02">
<s1>Université Nancy 2, CRIN - CNRS & INRIA Lorraine - B.P. 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00C511</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="02">
<s1>Université Nancy 2, Loria, Projet Calligramme, B.P. 239, Campus Scientifique</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00A640</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>006584</i>
<i>00CB36</i>
<i>00CE09</i>
<i>00D298</i>
</l>
<n>4</n>
<t>4</t>
</g>
</l>
<n>10</n>
<t>14</t>
</g>
<g>
<k>Jean-Yves Marion</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>001470</i>
<i>001598</i>
<i>001E03</i>
<i>003096</i>
<i>003170</i>
<i>004436</i>
<i>004548</i>
<i>004D27</i>
<i>004D33</i>
<i>004D42</i>
<i>004D94</i>
<i>004E66</i>
<i>005543</i>
<i>005703</i>
<i>006E80</i>
<i>006E81</i>
<i>007E65</i>
<i>009845</i>
<i>009912</i>
<i>00AE96</i>
<i>00C440</i>
<i>00CF73</i>
</l>
<n>22</n>
<t>22</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
<wicri:regionArea>Nancy-Université</wicri:regionArea>
</affiliation>
</k>
<l>
<i>004D72</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">États-Unis</country>
</affiliation>
</k>
<l>
<i>00A351</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>INPL, École Nationale Supérieure des Mines de Nancy</wicri:regionArea>
<wicri:noRegion>École Nationale Supérieure des Mines de Nancy</wicri:noRegion>
<wicri:noRegion>École Nationale Supérieure des Mines de Nancy</wicri:noRegion>
</affiliation>
</k>
<l>
<i>006430</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>Université de Lorraine and LORIA</wicri:regionArea>
</affiliation>
</k>
<l>
<i>001470</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>École Nationale Supérieure, Mines de Nancy</wicri:regionArea>
<wicri:noRegion>Mines de Nancy</wicri:noRegion>
<wicri:noRegion>Mines de Nancy</wicri:noRegion>
</affiliation>
</k>
<l>
<i>004D42</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="department" xml:id="struct-14430" status="VALID">
<orgName>École nationale supérieure des Mines de Nancy</orgName>
<orgName type="acronym">Mines Nancy</orgName>
<desc>
<address>
<addrLine>Campus Artem - CS 14 234 - 54042 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.mines.inpl-nancy.fr/</ref>
</desc>
<listRelation>
<relation active="#struct-302102" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-302102" type="direct">
<org type="institution" xml:id="struct-302102" status="VALID">
<orgName>Institut Mines-Télécom</orgName>
<desc>
<address>
<addrLine>46 rue Barrault -75634 Paris Cedex 13</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.mines-telecom.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l>
<i>000E73</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-2347" status="OLD">
<idno type="RNSR">199618306V</idno>
<orgName>Linear logic, proof networks and categorial grammars</orgName>
<orgName type="acronym">CALLIGRAMME</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/calligramme</ref>
</desc>
<listRelation>
<relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-160" type="direct">
<org type="laboratory" xml:id="struct-160" status="OLD">
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect">
<org type="institution" xml:id="struct-300291" status="OLD">
<orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect">
<org type="institution" xml:id="struct-300292" status="OLD">
<orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect">
<org type="institution" xml:id="struct-300293" status="OLD">
<orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct">
<org type="laboratory" xml:id="struct-2496" status="OLD">
<orgName>INRIA Lorraine</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>005109</i>
<i>005211</i>
<i>005980</i>
<i>005989</i>
<i>005B59</i>
<i>005B75</i>
<i>005C32</i>
<i>006787</i>
<i>006788</i>
<i>006842</i>
<i>006952</i>
<i>006990</i>
<i>007200</i>
<i>007273</i>
<i>007317</i>
<i>007349</i>
<i>007350</i>
<i>007351</i>
<i>007352</i>
<i>007372</i>
<i>007411</i>
<i>007621</i>
<i>007649</i>
<i>007680</i>
<i>008139</i>
<i>008179</i>
<i>008183</i>
<i>008338</i>
<i>008485</i>
<i>009034</i>
<i>009037</i>
<i>009207</i>
<i>009A32</i>
<i>009B88</i>
<i>009C87</i>
<i>009C90</i>
<i>009D27</i>
<i>009D50</i>
<i>00A806</i>
<i>00A956</i>
<i>00A962</i>
<i>00B406</i>
<i>00B431</i>
<i>00BE01</i>
<i>00BE67</i>
</l>
<n>45</n>
<t>45</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-2360" status="OLD">
<idno type="RNSR">199221357D</idno>
<orgName>Constraints, automatic deduction and software properties proofs</orgName>
<orgName type="acronym">PROTHEO</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/protheo</ref>
</desc>
<listRelation>
<relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-160" type="direct">
<org type="laboratory" xml:id="struct-160" status="OLD">
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect">
<org type="institution" xml:id="struct-300291" status="OLD">
<orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect">
<org type="institution" xml:id="struct-300292" status="OLD">
<orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect">
<org type="institution" xml:id="struct-300293" status="OLD">
<orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct">
<org type="laboratory" xml:id="struct-2496" status="OLD">
<orgName>INRIA Lorraine</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>008F78</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-29797" status="VALID">
<idno type="RNSR">200918992J</idno>
<orgName>Theoretical adverse computations, and safety</orgName>
<orgName type="acronym">CARTE</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/carte</ref>
</desc>
<listRelation>
<relation active="#struct-129671" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-423084" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-129671" type="direct">
<org type="laboratory" xml:id="struct-129671" status="VALID">
<idno type="RNSR">198618246Y</idno>
<orgName>INRIA Nancy - Grand Est</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/nancy</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-423084" type="direct">
<org type="department" xml:id="struct-423084" status="VALID">
<orgName>Department of Formal Methods </orgName>
<orgName type="acronym">LORIA - FM</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
</desc>
<listRelation>
<relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect">
<org type="laboratory" xml:id="struct-206040" status="VALID">
<idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect">
<org type="institution" xml:id="struct-413289" status="VALID">
<idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc>
<address>
<addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>000154</i>
<i>000269</i>
<i>000285</i>
<i>000887</i>
<i>000C16</i>
<i>000F81</i>
<i>001139</i>
<i>001199</i>
<i>001285</i>
<i>002957</i>
<i>002985</i>
<i>002A42</i>
<i>002B17</i>
<i>002C04</i>
<i>002C07</i>
<i>002D20</i>
<i>002F30</i>
<i>002F34</i>
<i>003399</i>
<i>003403</i>
<i>003441</i>
<i>003693</i>
<i>003748</i>
<i>003785</i>
<i>003D44</i>
<i>003D45</i>
<i>003D74</i>
<i>003E50</i>
<i>003F45</i>
<i>004037</i>
<i>004147</i>
<i>004158</i>
<i>004258</i>
<i>004273</i>
<i>004678</i>
<i>004851</i>
<i>004879</i>
<i>004896</i>
<i>004954</i>
<i>004A08</i>
<i>004A90</i>
<i>004B10</i>
<i>005062</i>
<i>005114</i>
</l>
<n>44</n>
<t>44</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-29797" status="VALID">
<idno type="RNSR">200918992J</idno>
<orgName>Theoretical adverse computations, and safety</orgName>
<orgName type="acronym">CARTE</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/carte</ref>
</desc>
<listRelation>
<relation active="#struct-129671" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-423084" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-129671" type="direct">
<org type="laboratory" xml:id="struct-129671" status="VALID">
<idno type="RNSR">198618246Y</idno>
<orgName>INRIA Nancy - Grand Est</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/nancy</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-423084" type="direct">
<org type="department" xml:id="struct-423084" status="VALID">
<orgName>Department of Formal Methods </orgName>
<orgName type="acronym">LORIA - FM</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
</desc>
<listRelation>
<relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect">
<org type="laboratory" xml:id="struct-206040" status="VALID">
<idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect">
<org type="institution" xml:id="struct-413289" status="VALID">
<idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc>
<address>
<addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>001912</i>
<i>001930</i>
<i>001956</i>
<i>001984</i>
<i>001C48</i>
<i>001D17</i>
<i>001F35</i>
<i>001F92</i>
<i>002332</i>
<i>002397</i>
<i>002426</i>
<i>002536</i>
</l>
<n>12</n>
<t>12</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr" wicri:curation="lc">France</country>
<wicri:regionArea>LORIA-INPL, B.P. 239, 54506, Vandoeuvre-lés-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004D94</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>CRIN - CNRS - INRIA Lorraine, Université Nancy I, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00CF73</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INPL - INRIA Nancy Grand Est Nancy-Université - LORIA, Campus Scientifique - BP 239, F54506, Vandoeuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>003170</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INPL-Ecole Nationale Supérieure des Mines de Nancy, Parc de Saurupt, 54042, Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>006E80</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA – INPL, Ecole Nationale Supérieure des Mines de Nancy, 615, rue du jardin botanique, 54602, Villers-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>006E81</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, 615 rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex, Nancy</wicri:regionArea>
<placeName>
<region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>007E65</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria - INPL, 615, rue du Jardin Botanique, BP-101, 54602, Villers-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004436</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, B.P. 239, 54506, Vandœuvre-lés-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>009912</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Calligramme project, B.P. 239, 54506 Cedex, Vandœuvre-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
<settlement type="city" wicri:auto="agglo">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005543</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>009845</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy Cédex</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>006430</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria-INPL, Equipe Carte, Nancy-University, 615, rue du Jardin Botanique, 54602, Villers lès Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>003096</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria-INPL, École Nationale Supérieure des Mines de Nancy, B.P. 239, 54506 Cedex, Vandoeuvre-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
<settlement type="city" wicri:auto="agglo">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005703</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria-INPL, École Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004548</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria-INPL, Équipe Carte, Nancy</wicri:regionArea>
<placeName>
<region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004D42</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Nancy-Université - Loria - INPL - Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506 Vandœuvre-lès-Nancy Cédex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy Cédex</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004E66</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA - INPL, Ecole Nationale Supérieure des Mines de Nancy, 615, rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>007031</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005781</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>007F67</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>009A04</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria, Calligramme project, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00A612</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria, Calligramme project, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>006599</i>
<i>009977</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="02">
<s1>LORIA, 615, rue du jardin botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004E87</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="02">
<s1>Nancy-University, ENSMN-INPL, Loria B.P. 239</s1>
<s2>54506 Vandoeuvre-les-Nancy</s2>
<s3>FRA</s3>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004580</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="03">
<s1>INPL-Ecole Nationale Supérieure des Mines de Nancy, Parc de Saurupt</s1>
<s2>54042 Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>004E87</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>CRIN - CNRS & INRIA Lorraine, Université Nancy 2, B.P. 239, 54506, Vand∄uvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vand∄uvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00C401</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, Université de Lorraine</wicri:regionArea>
<placeName>
<settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>001598</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Nancy Université, Loria, ENSMN-INPL, B.P. 239, 54506 Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Nancy-Université</orgName>
</affiliation>
</k>
<l>
<i>004D33</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Nancy-Université, Loria, Carte team, B.P. 239, 54506 Vandœuvre-lès-Nancy Cedex, France, and École Nationale Supérieure des Mines de Nancy, INPL</wicri:regionArea>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>004D27</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Nancy-Université, Loria, INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy Cédex</settlement>
</placeName>
<orgName type="university">Nancy-Université</orgName>
</affiliation>
</k>
<l>
<i>004531</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Projet Calligramme, Université Nancy 2, CRIN - CNRS & INRIA Lorraine, Campus Scientifique, B.P. 239, 54506, Vand∄uvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vand∄uvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00C440</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Université Nancy 2, Loria, Projet Calligramme, B.P. 239, Campus Scientifique, 54506 Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00A351</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Université Nancy 2, Loria, Projet Calligramme, Campus Scientifique — B.P. 239, 54506 Vandoeuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00AE96</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Université de Lorraine, Loria, Nancy</wicri:regionArea>
<placeName>
<region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>001E03</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>École Nationale Supérieure des Mines de Nancy, INPL</wicri:regionArea>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>005543</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="01">
<s1>LORIA -INRIA Lorraine -Université de Nancy</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Nancy-Université</orgName>
<orgName type="university" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>005790</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="01">
<s1>Nancy-Université, Loria, INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Nancy-Université</orgName>
</affiliation>
</k>
<l>
<i>003C87</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="02">
<s1>Nancy-Université, Loria-INPL-ENSMN</s1>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>Loria-INPL-ENSMN</wicri:noRegion>
<wicri:noRegion>Nancy-Université, Loria-INPL-ENSMN</wicri:noRegion>
<orgName type="university">Nancy-Université</orgName>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
</affiliation>
</k>
<l>
<i>004571</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="02">
<s1>École Nationale Supérieure des Mines de Nancy, INPL</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>INPL</wicri:noRegion>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>006599</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="03">
<s1>LORIA, Université Nancy 2, Calligramme Project, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>008D82</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<nlm:affiliation>Université de Lorraine, LORIA, UMR, Vandoeuvre-lès-Nancy, France. jean-yves.marion@loria.fr</nlm:affiliation>
<country xml:lang="fr">France</country>
<wicri:regionArea>Université de Lorraine, LORIA, UMR, Vandoeuvre-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
<settlement type="city" wicri:auto="agglo">Nancy</settlement>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>001D33</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<orgName type="university">Nancy-Université</orgName>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
</affiliation>
</k>
<l>
<i>005630</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>
<wicri:noCountry code="subField">E-mail:</wicri:noCountry>
</affiliation>
</k>
<l>
<i>006475</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>005E79</i>
<i>006022</i>
<i>006050</i>
<i>006079</i>
<i>006109</i>
<i>006143</i>
<i>006293</i>
<i>006D14</i>
<i>007732</i>
<i>007798</i>
<i>007805</i>
<i>007941</i>
<i>007A15</i>
<i>007A50</i>
<i>007C30</i>
<i>008627</i>
<i>008879</i>
<i>008901</i>
<i>008A00</i>
<i>009351</i>
<i>009395</i>
<i>009436</i>
<i>009638</i>
<i>009F13</i>
<i>009F98</i>
<i>00A029</i>
<i>00A057</i>
<i>00A153</i>
<i>00A240</i>
<i>00AB38</i>
<i>00AD74</i>
<i>00B653</i>
<i>00B763</i>
<i>00B837</i>
<i>00BE47</i>
<i>00C058</i>
<i>00C227</i>
</l>
<n>37</n>
<t>37</t>
</g>
<g>
<k>
<wicri:noCountry code="subField">E-mail:</wicri:noCountry>
</k>
<l>
<i>006475</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>56</n>
<t>212</t>
</g>
</l>
<n>3</n>
<t>234</t>
</g>

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022