InforLorV4, Main, Merge, indexHead, AutAff.i

Bonfante A < Bonfante G < Bonhomme F

Author's uniq id: Bonfante G
Total number of names:
Total number of records with affiliations: 115

G. Bonfante

France	005504 009742 00B081
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
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 -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
Loria, Calligramme project, B.P. 23954506 Vandœuvre-lès-NancyFRA France Grand EstLorraine (région)Vandœuvre-lès-Nancy	006584
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
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
France École Nationale Supérieure des Mines de Nancy, INPL NancyGrand EstLorraine (région) Institut national polytechnique de Lorraine Université de Lorraine	006397
École Nationale Supérieure des Mines de Nancy, INPLFRA France INPL NancyGrand EstLorraine (région) Institut national polytechnique de Lorraine Université de Lorraine	006584

Guillaume Bonfante

France	003167 004436 004D27 004D94 004E66 005533 005703 009845
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
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	004909 005109 005200 005245 005B75 005C32 006787 006788 007290 007317 008142 009A15 009B33 009B88 009C87 009D94 00A960 00AA33 00B466 00BE47 00BE78
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 000466 000782 000887 000E53 000F81 001199 001304 001774 002A93 002C31 002D27 002E43 003399 003425 003455 003551 003832 003F45 004147 004851 004879 004A85 004A90 004B16 004E95
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	001956 001B22 001C07 002007 002105 002318 002426 002529
France LORIA-INPL, 615, rue du Jardin Botanique, BP-101, 54602, Villers-lés-Nancy Grand EstLorraine (région)Villers-lés-Nancy	004D94
France INRIA-LORIA, Nancy Grand EstLorraine (région)Nancy	003167
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, Calligramme project, B.P. 239, 54506 Cedex, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-NancyNancy	005533
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, É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 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 - UMR 7503, Campus Scientifique, BP 23954506 Vandoeuvre-lès-NancyFRA1 aut.2 aut.3 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	007F18
Loria, Calligramme project, B.P. 23954506 Vandoeuvre-lès-NancyFRA1 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	005754
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
France LORIA, Université de Nancy, Nancy Grand EstLorraine (région)Nancy Nancy-Université	003159
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 École Nationale Supérieure des Mines de Nancy, INPL NancyGrand EstLorraine (région) Institut national polytechnique de Lorraine Université de Lorraine	005533
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
École Nationale Supérieure des Mines de Nancy, INPLFRA1 aut. France INPL NancyGrand EstLorraine (région) Institut national polytechnique de Lorraine Université de Lorraine	005754
É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
NONE	005E79 006022 006293 006B29 007760 009395 009436 009656 009682 009E50 00A125 00A205 00AD64 00AD92 00B772 00B837

<g><k>Bonfante G</k>
<l><g><k>G. Bonfante</k>
<l><g><k><affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</k>
<l><i>005504</i>
<i>009742</i>
<i>00B081</i>
</l>
<n>3</n>
<t>3</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"><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 -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>Loria, Calligramme project, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
</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>006584</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="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"><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>
<g><k><affiliation wicri:level="4"><inist:fA14 i1="02"><s1>École Nationale Supérieure des Mines de Nancy, INPL</s1>
<s3>FRA</s3>
</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>006584</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>12</n>
<t>14</t>
</g>
<g><k>Guillaume Bonfante</k>
<l><g><k><affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</k>
<l><i>003167</i>
<i>004436</i>
<i>004D27</i>
<i>004D94</i>
<i>004E66</i>
<i>005533</i>
<i>005703</i>
<i>009845</i>
</l>
<n>8</n>
<t>8</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"><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>004909</i>
<i>005109</i>
<i>005200</i>
<i>005245</i>
<i>005B75</i>
<i>005C32</i>
<i>006787</i>
<i>006788</i>
<i>007290</i>
<i>007317</i>
<i>008142</i>
<i>009A15</i>
<i>009B33</i>
<i>009B88</i>
<i>009C87</i>
<i>009D94</i>
<i>00A960</i>
<i>00AA33</i>
<i>00B466</i>
<i>00BE47</i>
<i>00BE78</i>
</l>
<n>21</n>
<t>21</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>000466</i>
<i>000782</i>
<i>000887</i>
<i>000E53</i>
<i>000F81</i>
<i>001199</i>
<i>001304</i>
<i>001774</i>
<i>002A93</i>
<i>002C31</i>
<i>002D27</i>
<i>002E43</i>
<i>003399</i>
<i>003425</i>
<i>003455</i>
<i>003551</i>
<i>003832</i>
<i>003F45</i>
<i>004147</i>
<i>004851</i>
<i>004879</i>
<i>004A85</i>
<i>004A90</i>
<i>004B16</i>
<i>004E95</i>
</l>
<n>28</n>
<t>28</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>001956</i>
<i>001B22</i>
<i>001C07</i>
<i>002007</i>
<i>002105</i>
<i>002318</i>
<i>002426</i>
<i>002529</i>
</l>
<n>8</n>
<t>8</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr" wicri:curation="lc">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>004D94</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>003167</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, 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>005533</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, É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>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 - UMR 7503, Campus Scientifique, 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>007F18</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>005754</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="4"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, Université de Nancy, 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">Nancy-Université</orgName>
</affiliation>
</k>
<l><i>003159</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>É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>005533</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>École Nationale Supérieure des Mines de Nancy, INPL</s1>
<s3>FRA</s3>
<sZ>1 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>005754</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>NONE</affiliation>
</k>
<l><i>005E79</i>
<i>006022</i>
<i>006293</i>
<i>006B29</i>
<i>007760</i>
<i>009395</i>
<i>009436</i>
<i>009656</i>
<i>009682</i>
<i>009E50</i>
<i>00A125</i>
<i>00A205</i>
<i>00AD64</i>
<i>00AD92</i>
<i>00B772</i>
<i>00B837</i>
</l>
<n>16</n>
<t>16</t>
</g>
</l>
<n>24</n>
<t>101</t>
</g>
</l>
<n>2</n>
<t>115</t>
</g>

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

	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.

Serveur d'exploration sur la recherche en informatique en Lorraine