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.
Kirchnei H < Kirchner C < Kirchner F

C. Kirchner
France
CRIN and INRIA-Lorraine, BP 239, Vandœuvre-lès-Nancy Cedex, 54506
Grand EstLorraine (région)
00BA97
INRIA Lorraine & CRIN, 615, rue du Jardin Botanique, BP 10154602 Villers-lès-NancyFRA1 aut.2 aut.3 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
00C979
INRIA-Lorraine & CRIN, BP 10154602 Villers-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
00C962
INRIA-Lorraine & CRIN-CNRS, 615, rue du Jardin Botanique, BP 10154602 Villers-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
00C522
LORIA -, INRIA, 615, rue du Jardin Botanique54600 Villers-lès-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
00BB51
LORIA & INRIA, 615, rue du Jardin Botanique54600 Villers-lès-NancyFRA3 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
00B170
LORIA and INRIA, 615, rue du Jardin Botanique54600 Villers-lès-NancyFRA3 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
00A601
LORIA & INRIA, 615 Rue du Jardin Botanique54602 Villers-lès-NancyFRA4 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
00B194
NONE
00CA60
00CA89
00CB53
00CC82
00CD75
00D304
00D335
00D681
00D779
00D849
00D851
00DC60
00DC88
00DC92
00DD55
00E145
00E159
00E178
00E235
00E246
00E380
00E381
00E479
00E532
00E571
00E576
00E750
00E819
00E820
00E846
00EA95
00EB16
00EB39
00ED15
00ED21
00ED68
00ED77
00ED87
00ED88
00ED96
00EE23
00EF47
00F001
00F017
00F167
00F176
00F213
00F233
00F427
00F437
Claude Kirchner
France
001543
003A20
004D01
004E40
005625
006D83
006E41
008C20
008C64
008C71
008C88
009718
009787
009853
00A285
00A336
00B044
00BA35
00BA84
00C423
00C827
00C888
00CF60
00D598
00DF46
00E715
00E740
00EC43
France
Centre de Recherche en Informatique de NANCY, Campus scientifique, BP 239, Vandoeuvre les Nancy Cedex
Vandoeuvre les Nancy Cedex
Vandoeuvre les Nancy Cedex
00F541
France
INRIA France
001543
France
LORIA & CRIN
00EC32
France
LORIA and INRIA Nancy
00A285
France
LORIA and INRIA, Villers-lés-Nancy
Villers-lés-Nancy
Villers-lés-Nancy
009888
France
UHP & LORIA, INRIA & LORIA, and INRIA & LORIA, BP 101, 54602 Cedex, Villers-lès-Nancy
Villers-lès-Nancy
Villers-lès-Nancy
005625
États-Unis
GRECO-Programmation
00F541
200818243ZINRIA Bordeaux - Sud-Ouest200, avenue de la Vieille Tour, 33405 Talencehttp://www.inria.fr/bordeaux/Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/
France
003605
003669
003743
004647
INRIA SiègeDomaine de Voluceau 78150 RocquencourtInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/
France
000A97
009245
009252
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
002C72
004783
004818
004908
004957
004A11
004A14
004A47
004C09
004C12
005055
005240
005268
005323
005338
005372
005391
005846
005912
005A01
005C12
005D20
005D24
006887
006934
006A00
007117
007160
007222
007251
007266
007286
007287
007288
007289
007367
007624
007640
007659
007695
008167
008176
008177
008179
008418
008423
008427
008466
008467
008487
008495
008497
008498
008F51
009069
009070
009077
009161
009230
009231
009A77
009A96
009B24
009B25
009B55
009B57
009D48
009D59
009D90
00A774
00A843
00A966
00AA19
00AA20
00AA32
00B302
00B354
00B409
00B426
00B449
00B508
00BD05
00BD09
00BD16
00BD42
00BE07
00BE50
00BE51
00BE61
00BE70
00BF06
00CA19
00CA23
00D100
00D664
00E753
200820941GFormal islands: foundations and applicationsPAREOhttp://www.inria.fr/equipes/pareoLaboratoire 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
001282
002E94
002E99
003772
004081
200820941GFormal islands: foundations and applicationsPAREOhttp://www.inria.fr/equipes/pareoLaboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr02636817X0000000122597504Centre 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
002427
INRIA & LORIAFRA2 aut.
France
INRIA & LORIA
INRIA & LORIA
005808
LORIA and INRIAVillers-lès-NancyFRA2 aut.
France
Villers-lès-Nancy
LORIA and INRIA
LORIA and INRIA
009994
États-Unis
Californie
SRI International, 94025, Menlo Park
00EF11
France
LORIA and INRIA, 615, rue du Jardin Botanique, 54600, Villers-lès-Nancy Cedex
Grand EstLorraine (région)Villers-lès-Nancy
00A465
France
CRIN-CNRS & INRIA-Lorraine, BP239, 54506, Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00CF60
00D598
France
CRIN/INRIA, BP239, 54506, Vandoeuvre les Nancy
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00EC43
France
Campus Scientifique, BP 239, 54506, Vandœuvre-les-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00EC32
France
Centre de Recherche en Informatique de Nancy et GRECO Programmation Campus scientifique, BP 239, 54506, Vandoeuvre-les-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00F601
France
Centre de Recherche en Informatique de Nancy, BP 239, 54506, Vandoeuvre Les Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00F331
France
Centre de Recherche en Informatique de Nancy, BP 239, 54506, Vandoeuvre-Les-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00F333
France
INRIA & LORIA, Nancy
Grand EstLorraine (région)Nancy
004D01
004E40
France
INRIA Lorraine & CRIN, 615 Rue du Jardin Botanique, BP101, 54600, Villers les Nancy
Grand EstLorraine (région)Villers les Nancy
00DF46
00E715
France
INRIA Lorraine & CRIN, 615, rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex
Grand EstLorraine (région)Villers-lès-Nancy
00C888
France
INRIA Lorraine & CRIN, BP 239, 54506, Vandœuvre-Les-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00E740
France
INRIA Lorraine & CRIN, Nancy
Grand EstLorraine (région)Nancy
00E689
France
INRIA, Bordeaux
Nouvelle-AquitaineAquitaineBordeaux
003A20
France
INRIA-Lorraine & CRIN, BP 101, 54602, Villers-lès-Nancy
Grand EstLorraine (région)Villers-lès-Nancy
00C827
France
INRIA-Lorraine & CRIN-CNRS, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lés-Nancy Cedex
Grand EstLorraine (région)Villers-lés-Nancy
00C423
France
Inria & Crin, 615, rue du jardin botanique, 54602, Villers-lés-Nancy
Grand EstLorraine (région)Villers-lés-Nancy
00BA84
France
LORIA & CRIN, BP 239, 54506, Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00EC26
France
LORIA & INRIA, 615 Rue du Jardin Botanique, 54602, Villers-lès-Nancy Cedex
Grand EstLorraine (région)Villers-lès-Nancy
00B111
France
LORIA & INRIA, 615 rue du Jardin Botanique, 54602, Villers-lès-Nancy
Grand EstLorraine (région)Villers-lès-Nancy
006E41
008C64
France
LORIA & INRIA, 615 rue du Jardin Botanique, BP 101, 54602, Villers-lès-Nancy Cedex, Nancy
Grand EstLorraine (région)Nancy
008C20
008C71
France
LORIA & INRIA, 615, rue du Jardin Botanique, 54600, Villers-lès-Nancy
Grand EstLorraine (région)Villers-lès-Nancy
008C88
France
LORIA & INRIA, LORIA & INRIA, rue du Jardin Botanique, 615, 54600, Villers-lés-Nancy
Grand EstLorraine (région)Villers-lés-Nancy
00B044
France
LORIA - INRIA, 615, rue du Jardin Botanique, 54600, Villers-lés-Nancy
Grand EstLorraine (région)Villers-lés-Nancy
00BA35
France
LORIA INRIA INPL ENSMN, 54506, Vandoeuvre-lès-Nancy BP 239 Cedex
Grand EstLorraine (région)Vandoeuvre-lès-Nancy BP 239
009853
France
LORIA INRIA INPL ENSMN, BP 239 Cedex, 54506, Vandoeuvre-lès-Nancy
Grand EstLorraine (région)Vandœuvre-lès-Nancy
009787
France
LORIA and INRIA, 615, rue du Jardin Botanique, 54600, Villers-lès-Nancy Cedex
Grand EstLorraine (région)Villers-lès-Nancy
007D60
France
LORIA: CNRS and INRIA 615, rue du jardin botanique 54602, Villers-lès-Nancy
Grand EstLorraine (région)Villers-lès-Nancy
00A328
France
NancyGrand EstLorraine (région)
LORIA & INRIA
006D83
LORIA & INRIA, 615 rue du Jardin Botanique, BP 10154602 Villers-lès-Nancy NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy Nancy
008D98
LORIA & INRIA, 615 rue du Jardin Botanique, BP 10154602 Villers-lès-Nancy, NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Nancy
008D64
LORIA & INRIA, 615 rue du Jardin Botanique54602 Villers-lès-NancyFRA1 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
007007
LORIA & INRIA, UHP, University Nancy II, 615, rue du Jardin Botanique, BP-10154602 Villers-lès-Nancy 54506FRA1 aut.2 aut.3 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy 54506
005791
LORIA INRIA INPL ENSMN, BP 23954506Vandoeuvre-lès-NancyFRA1 aut.2 aut.3 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-NancyNancy
009960
LORIA INRIA INPL ENSMN, BP 23954506 Vandoeuvre-lès-NancyFRA1 aut.2 aut.3 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
009983
LORIA-INRIA-CNRS, BP 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.3 aut.4 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
007F40
UHP & LORIA, INRIA & LORIA, and INRIA & LORIA, BP 10154602 Villers-les-NancyFRA1 aut.2 aut.3 aut.
France
Grand EstLorraine (région)Villers-les-Nancy
005786
INRIA, Centre de Recherche INRIA Bordeaux - Sud-Ouest, 351 cours de la Libération, Bâtiment A2933405 TalenceFRA2 aut.
France
Nouvelle-AquitaineAquitaineTalence
003233
JNRJA & LORIA, 615, rue du Jardin Botanique, B.P 10154602 WIers-les-NancyFRA2 aut.
France
Grand EstLorraine (région)WIers-les-Nancy
005816
LORIA & INRIA 615 rue du Jardin Botanique54602 Villers-lès-NancyFRA2 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
008D93
LORIA - CNRS & INRIA, BP 23954506, Vandœuvre-lès-NancyFRA2 aut.3 aut.4 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-NancyNancy
008D94
LORIA & INRIA, 615, rue du Jardin Botanique54600 Villers-lès-NancyFRA3 aut.
France
Grand EstLorraine (région)Villers-lès-Nancy
008E12
LORIA, Équipe Pareo, Bâtiment B, Campus Scientifique, BP23954506 Vandœuvre-lés-NancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
003233
009718
00A336
INRIA & LORIAINC1 aut.2 aut.
INC
005768
Cedex
007D87
00B991
http://www.loria.fr/equipe/protheo.html
00A332
 
004532
004D11
004D59
005571
NONE
005F53
006013
006019
006051
006081
006094
006104
006190
006305
007820
007850
007851
007934
007941
007B87
007C54
007F38
008665
008747
008906
008A42
008A43
008A55
008A73
008A74
008A80
008A91
008A92
008C60
009314
009320
009381
009456
009461
009506
009581
009582
009623
009653
009669
009E11
009E61
009F62
00A043
00A182
00A249
00AA47
00AC37
00AC45
00AC86
00AD14
00AD40
00AD84
00AD96
00AD97
00AE20
00B541
00B661
00B675
00B750
00B773
00B804
00B840
00B852
00B891
00B940
00B957
00BD48
00BE12
00BE27
00BE84
00C062
00C124
00C191
00C255
00C699
00EC58
Cedex
007D87
00B991
http://www.loria.fr/equipe/protheo.html
00A332
 
004532
004D11
004D59
005571
INC
005768

<g>
<k>Kirchner C</k>
<l>
<g>
<k>C. Kirchner</k>
<l>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>CRIN and INRIA-Lorraine, BP 239, Vandœuvre-lès-Nancy Cedex, 54506</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
</affiliation>
</k>
<l>
<i>00BA97</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>INRIA Lorraine & CRIN, 615, rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00C979</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>INRIA-Lorraine & CRIN, BP 101</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>00C962</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>INRIA-Lorraine & CRIN-CNRS, 615, rue du Jardin Botanique, BP 101</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>00C522</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA -, INRIA, 615, rue du Jardin Botanique</s1>
<s2>54600 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>00BB51</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="03">
<s1>LORIA & INRIA, 615, rue du Jardin Botanique</s1>
<s2>54600 Villers-lès-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00B170</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="03">
<s1>LORIA and INRIA, 615, rue du Jardin Botanique</s1>
<s2>54600 Villers-lès-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00A601</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="04">
<s1>LORIA & INRIA, 615 Rue du Jardin Botanique</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<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>00B194</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>00CA60</i>
<i>00CA89</i>
<i>00CB53</i>
<i>00CC82</i>
<i>00CD75</i>
<i>00D304</i>
<i>00D335</i>
<i>00D681</i>
<i>00D779</i>
<i>00D849</i>
<i>00D851</i>
<i>00DC60</i>
<i>00DC88</i>
<i>00DC92</i>
<i>00DD55</i>
<i>00E145</i>
<i>00E159</i>
<i>00E178</i>
<i>00E235</i>
<i>00E246</i>
<i>00E380</i>
<i>00E381</i>
<i>00E479</i>
<i>00E532</i>
<i>00E571</i>
<i>00E576</i>
<i>00E750</i>
<i>00E819</i>
<i>00E820</i>
<i>00E846</i>
<i>00EA95</i>
<i>00EB16</i>
<i>00EB39</i>
<i>00ED15</i>
<i>00ED21</i>
<i>00ED68</i>
<i>00ED77</i>
<i>00ED87</i>
<i>00ED88</i>
<i>00ED96</i>
<i>00EE23</i>
<i>00EF47</i>
<i>00F001</i>
<i>00F017</i>
<i>00F167</i>
<i>00F176</i>
<i>00F213</i>
<i>00F233</i>
<i>00F427</i>
<i>00F437</i>
</l>
<n>50</n>
<t>50</t>
</g>
</l>
<n>9</n>
<t>58</t>
</g>
<g>
<k>Claude Kirchner</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>001543</i>
<i>003A20</i>
<i>004D01</i>
<i>004E40</i>
<i>005625</i>
<i>006D83</i>
<i>006E41</i>
<i>008C20</i>
<i>008C64</i>
<i>008C71</i>
<i>008C88</i>
<i>009718</i>
<i>009787</i>
<i>009853</i>
<i>00A285</i>
<i>00A336</i>
<i>00B044</i>
<i>00BA35</i>
<i>00BA84</i>
<i>00C423</i>
<i>00C827</i>
<i>00C888</i>
<i>00CF60</i>
<i>00D598</i>
<i>00DF46</i>
<i>00E715</i>
<i>00E740</i>
<i>00EC43</i>
</l>
<n>28</n>
<t>28</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>Centre de Recherche en Informatique de NANCY, Campus scientifique, BP 239, Vandoeuvre les Nancy Cedex</wicri:regionArea>
<wicri:noRegion>Vandoeuvre les Nancy Cedex</wicri:noRegion>
<wicri:noRegion>Vandoeuvre les Nancy Cedex</wicri:noRegion>
</affiliation>
</k>
<l>
<i>00F541</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA France</wicri:regionArea>
</affiliation>
</k>
<l>
<i>001543</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & CRIN</wicri:regionArea>
</affiliation>
</k>
<l>
<i>00EC32</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA and INRIA Nancy</wicri:regionArea>
</affiliation>
</k>
<l>
<i>00A285</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA and INRIA, Villers-lés-Nancy</wicri:regionArea>
<wicri:noRegion>Villers-lés-Nancy</wicri:noRegion>
<wicri:noRegion>Villers-lés-Nancy</wicri:noRegion>
</affiliation>
</k>
<l>
<i>009888</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>UHP & LORIA, INRIA & LORIA, and INRIA & LORIA, BP 101, 54602 Cedex, Villers-lès-Nancy</wicri:regionArea>
<wicri:noRegion>Villers-lès-Nancy</wicri:noRegion>
<wicri:noRegion>Villers-lès-Nancy</wicri:noRegion>
</affiliation>
</k>
<l>
<i>005625</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">États-Unis</country>
<wicri:regionArea>GRECO-Programmation</wicri:regionArea>
</affiliation>
</k>
<l>
<i>00F541</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-104751" status="VALID">
<idno type="RNSR">200818243Z</idno>
<orgName>INRIA Bordeaux - Sud-Ouest</orgName>
<desc>
<address>
<addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/bordeaux/</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-300009" type="direct">
<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>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l>
<i>003605</i>
<i>003669</i>
<i>003743</i>
<i>004647</i>
</l>
<n>4</n>
<t>4</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-207728" status="VALID">
<orgName>INRIA Siège</orgName>
<desc>
<address>
<addrLine>Domaine de Voluceau 78150 Rocquencourt</addrLine>
<country key="FR"></country>
</address>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-300009" type="direct">
<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>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l>
<i>000A97</i>
<i>009245</i>
<i>009252</i>
</l>
<n>3</n>
<t>3</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>002C72</i>
<i>004783</i>
<i>004818</i>
<i>004908</i>
<i>004957</i>
<i>004A11</i>
<i>004A14</i>
<i>004A47</i>
<i>004C09</i>
<i>004C12</i>
<i>005055</i>
<i>005240</i>
<i>005268</i>
<i>005323</i>
<i>005338</i>
<i>005372</i>
<i>005391</i>
<i>005846</i>
<i>005912</i>
<i>005A01</i>
<i>005C12</i>
<i>005D20</i>
<i>005D24</i>
<i>006887</i>
<i>006934</i>
<i>006A00</i>
<i>007117</i>
<i>007160</i>
<i>007222</i>
<i>007251</i>
<i>007266</i>
<i>007286</i>
<i>007287</i>
<i>007288</i>
<i>007289</i>
<i>007367</i>
<i>007624</i>
<i>007640</i>
<i>007659</i>
<i>007695</i>
<i>008167</i>
<i>008176</i>
<i>008177</i>
<i>008179</i>
<i>008418</i>
<i>008423</i>
<i>008427</i>
<i>008466</i>
<i>008467</i>
<i>008487</i>
<i>008495</i>
<i>008497</i>
<i>008498</i>
<i>008F51</i>
<i>009069</i>
<i>009070</i>
<i>009077</i>
<i>009161</i>
<i>009230</i>
<i>009231</i>
<i>009A77</i>
<i>009A96</i>
<i>009B24</i>
<i>009B25</i>
<i>009B55</i>
<i>009B57</i>
<i>009D48</i>
<i>009D59</i>
<i>009D90</i>
<i>00A774</i>
<i>00A843</i>
<i>00A966</i>
<i>00AA19</i>
<i>00AA20</i>
<i>00AA32</i>
<i>00B302</i>
<i>00B354</i>
<i>00B409</i>
<i>00B426</i>
<i>00B449</i>
<i>00B508</i>
<i>00BD05</i>
<i>00BD09</i>
<i>00BD16</i>
<i>00BD42</i>
<i>00BE07</i>
<i>00BE50</i>
<i>00BE51</i>
<i>00BE61</i>
<i>00BE70</i>
<i>00BF06</i>
<i>00CA19</i>
<i>00CA23</i>
<i>00D100</i>
<i>00D664</i>
<i>00E753</i>
</l>
<n>96</n>
<t>96</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-54175" status="OLD">
<idno type="RNSR">200820941G</idno>
<orgName>Formal islands: foundations and applications</orgName>
<orgName type="acronym">PAREO</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/pareo</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>001282</i>
<i>002E94</i>
<i>002E99</i>
<i>003772</i>
<i>004081</i>
</l>
<n>5</n>
<t>5</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-54175" status="OLD">
<idno type="RNSR">200820941G</idno>
<orgName>Formal islands: foundations and applications</orgName>
<orgName type="acronym">PAREO</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/pareo</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="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>
<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>002427</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<inist:fA14 i1="02">
<s1>INRIA & LORIA</s1>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>INRIA & LORIA</wicri:noRegion>
<wicri:noRegion>INRIA & LORIA</wicri:noRegion>
</affiliation>
</k>
<l>
<i>005808</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<inist:fA14 i1="02">
<s1>LORIA and INRIA</s1>
<s2>Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>Villers-lès-Nancy</wicri:noRegion>
<wicri:noRegion>LORIA and INRIA</wicri:noRegion>
<wicri:noRegion>LORIA and INRIA</wicri:noRegion>
</affiliation>
</k>
<l>
<i>009994</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="2">
<country xml:lang="fr">États-Unis</country>
<placeName>
<region type="state">Californie</region>
</placeName>
<wicri:cityArea>SRI International, 94025, Menlo Park</wicri:cityArea>
</affiliation>
</k>
<l>
<i>00EF11</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country wicri:rule="url">France</country>
<wicri:regionArea>LORIA and INRIA, 615, rue du Jardin Botanique, 54600, Villers-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00A465</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, BP239, 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>00CF60</i>
<i>00D598</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>CRIN/INRIA, BP239, 54506, Vandoeuvre les 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>00EC43</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Campus Scientifique, BP 239, 54506, Vandœuvre-les-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>00EC32</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Centre de Recherche en Informatique de Nancy et GRECO Programmation Campus scientifique, BP 239, 54506, Vandoeuvre-les-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>00F601</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Centre de Recherche en Informatique de Nancy, BP 239, 54506, Vandoeuvre Les 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>00F331</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Centre de Recherche en Informatique de Nancy, BP 239, 54506, Vandoeuvre-Les-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>00F333</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA & 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>
</affiliation>
</k>
<l>
<i>004D01</i>
<i>004E40</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA Lorraine & CRIN, 615 Rue du Jardin Botanique, BP101, 54600, Villers les 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 les Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00DF46</i>
<i>00E715</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA Lorraine & CRIN, 615, rue du Jardin Botanique, BP 101, 54602, Villers-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00C888</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA Lorraine & CRIN, BP 239, 54506, Vandœuvre-Les-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>00E740</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA Lorraine & CRIN, 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>00E689</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA, Bordeaux</wicri:regionArea>
<placeName>
<region type="region">Nouvelle-Aquitaine</region>
<region type="old region">Aquitaine</region>
<settlement type="city">Bordeaux</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>003A20</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA-Lorraine & CRIN, 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>00C827</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>INRIA-Lorraine & CRIN-CNRS, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-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">Villers-lés-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00C423</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Inria & Crin, 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>00BA84</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & CRIN, BP 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>00EC26</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA, 615 Rue du Jardin Botanique, 54602, Villers-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00B111</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA, 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>006E41</i>
<i>008C64</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA, 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>008C20</i>
<i>008C71</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA, 615, rue du Jardin Botanique, 54600, 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>008C88</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA & INRIA, LORIA & INRIA, rue du Jardin Botanique, 615, 54600, 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>00B044</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA - INRIA, 615, rue du Jardin Botanique, 54600, 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>00BA35</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA INRIA INPL ENSMN, 54506, Vandoeuvre-lès-Nancy BP 239 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">Vandoeuvre-lès-Nancy BP 239</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>009853</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA INRIA INPL ENSMN, BP 239 Cedex, 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>009787</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA and INRIA, 615, rue du Jardin Botanique, 54600, Villers-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>007D60</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA: CNRS and INRIA 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>00A328</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<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>
<wicri:orgArea>LORIA & INRIA</wicri:orgArea>
</affiliation>
</k>
<l>
<i>006D83</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA & INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy 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 Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>008D98</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA & INRIA, 615 rue du Jardin Botanique, BP 101</s1>
<s2>54602 Villers-lès-Nancy, Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<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>008D64</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA & INRIA, 615 rue du Jardin Botanique</s1>
<s2>54602 Villers-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>007007</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA & INRIA, UHP, University Nancy II, 615, rue du Jardin Botanique, BP-101</s1>
<s2>54602 Villers-lès-Nancy 54506</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">Villers-lès-Nancy 54506</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005791</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA INRIA INPL ENSMN, BP 23954506</s1>
<s2>Vandoeuvre-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>
<settlement type="city" wicri:auto="agglo">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>009960</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA INRIA INPL ENSMN, BP 239</s1>
<s2>54506 Vandoeuvre-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>009983</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>LORIA-INRIA-CNRS, BP 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>007F40</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>UHP & LORIA, INRIA & LORIA, and INRIA & LORIA, BP 101</s1>
<s2>54602 Villers-les-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">Villers-les-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005786</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="02">
<s1>INRIA, Centre de Recherche INRIA Bordeaux - Sud-Ouest, 351 cours de la Libération, Bâtiment A29</s1>
<s2>33405 Talence</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Nouvelle-Aquitaine</region>
<region type="old region" nuts="2">Aquitaine</region>
<settlement type="city">Talence</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>003233</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="02">
<s1>JNRJA & LORIA, 615, rue du Jardin Botanique, B.P 101</s1>
<s2>54602 WIers-les-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">WIers-les-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>005816</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="02">
<s1>LORIA & INRIA 615 rue du Jardin Botanique</s1>
<s2>54602 Villers-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>008D93</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="02">
<s1>LORIA - CNRS & INRIA, BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<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>
<settlement type="city" wicri:auto="agglo">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>008D94</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="03">
<s1>LORIA & INRIA, 615, rue du Jardin Botanique</s1>
<s2>54600 Villers-lès-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">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>008E12</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="03">
<s1>LORIA, Équipe Pareo, Bâtiment B, Campus Scientifique, BP239</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>003233</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation></affiliation>
</k>
<l>
<i>009718</i>
<i>00A336</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation>
<inist:fA14 i1="01">
<s1>INRIA & LORIA</s1>
<s3>INC</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<wicri:noCountry>INC</wicri:noCountry>
</affiliation>
</k>
<l>
<i>005768</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>
<wicri:noCountry code="subField">Cedex</wicri:noCountry>
</affiliation>
</k>
<l>
<i>007D87</i>
<i>00B991</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation>
<wicri:noCountry code="subField">http://www.loria.fr/equipe/protheo.html</wicri:noCountry>
</affiliation>
</k>
<l>
<i>00A332</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>
<wicri:noCountry code="subField"> </wicri:noCountry>
</affiliation>
</k>
<l>
<i>004532</i>
<i>004D11</i>
<i>004D59</i>
<i>005571</i>
</l>
<n>4</n>
<t>4</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>005F53</i>
<i>006013</i>
<i>006019</i>
<i>006051</i>
<i>006081</i>
<i>006094</i>
<i>006104</i>
<i>006190</i>
<i>006305</i>
<i>007820</i>
<i>007850</i>
<i>007851</i>
<i>007934</i>
<i>007941</i>
<i>007B87</i>
<i>007C54</i>
<i>007F38</i>
<i>008665</i>
<i>008747</i>
<i>008906</i>
<i>008A42</i>
<i>008A43</i>
<i>008A55</i>
<i>008A73</i>
<i>008A74</i>
<i>008A80</i>
<i>008A91</i>
<i>008A92</i>
<i>008C60</i>
<i>009314</i>
<i>009320</i>
<i>009381</i>
<i>009456</i>
<i>009461</i>
<i>009506</i>
<i>009581</i>
<i>009582</i>
<i>009623</i>
<i>009653</i>
<i>009669</i>
<i>009E11</i>
<i>009E61</i>
<i>009F62</i>
<i>00A043</i>
<i>00A182</i>
<i>00A249</i>
<i>00AA47</i>
<i>00AC37</i>
<i>00AC45</i>
<i>00AC86</i>
<i>00AD14</i>
<i>00AD40</i>
<i>00AD84</i>
<i>00AD96</i>
<i>00AD97</i>
<i>00AE20</i>
<i>00B541</i>
<i>00B661</i>
<i>00B675</i>
<i>00B750</i>
<i>00B773</i>
<i>00B804</i>
<i>00B840</i>
<i>00B852</i>
<i>00B891</i>
<i>00B940</i>
<i>00B957</i>
<i>00BD48</i>
<i>00BE12</i>
<i>00BE27</i>
<i>00BE84</i>
<i>00C062</i>
<i>00C124</i>
<i>00C191</i>
<i>00C255</i>
<i>00C699</i>
<i>00EC58</i>
</l>
<n>77</n>
<t>77</t>
</g>
<g>
<k>
<wicri:noCountry code="subField">Cedex</wicri:noCountry>
</k>
<l>
<i>007D87</i>
<i>00B991</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<wicri:noCountry code="subField">http://www.loria.fr/equipe/protheo.html</wicri:noCountry>
</k>
<l>
<i>00A332</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<wicri:noCountry code="subField"> </wicri:noCountry>
</k>
<l>
<i>004532</i>
<i>004D11</i>
<i>004D59</i>
<i>005571</i>
</l>
<n>4</n>
<t>4</t>
</g>
<g>
<k>
<wicri:noCountry>INC</wicri:noCountry>
</k>
<l>
<i>005768</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>68</n>
<t>289</t>
</g>
</l>
<n>2</n>
<t>347</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