InforLorV4, Main, Merge, indexHead, AutAff.i

Author's uniq id: Hermann M
Total number of names:
Total number of records with affiliations: 90

M. Hermann

CRIN (CNRS) and INRIA-Lorraine BP 23954506 Vandœuvre-lès-NancyFRA1 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00C961
CRIN (CNRS) and INRIA-Lorraine, Campus Scientifique, BP 23954506 Vandæuvre-lès-NancyFRA1 aut.2 aut. France Grand EstLorraine (région)Vandæuvre-lès-Nancy	00C498
LORIA (CNRS and Université Henri Poincaré Nancy 1), BP 23954506, Vandœuvre-lès-NancyFRA1 aut.2 aut. France Grand EstLorraine (région)Vandœuvre-lès-NancyNancy	00B159
LORIA (CNRS), BP 23954506 Vandœuvre-lès-NancyFRA1 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00BB60 00C516
CRIN(CNRS) and INRIA-Lorraine, BP 23954506 Vandœuvre-lès-NancyFRA2 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00C984
LORIA (CNRS and Université Henri Poincaré Nancy 1), BP 23954506, Vandœuvre-lès-NancyFRA2 aut.3 aut. France Grand EstLorraine (région)Vandœuvre-lès-NancyNancy	00B158
LORIA (CNRS), BP 23954506 Vandœuvre-lès-NancyFRA2 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A573
NONE	00C506 00C614 00C634 00C668 00D264 00D694 00D831 00D952 00DC71 00DC95 00E124 00E206 00E207 00E235 00E380 00E407 00E438 00E464 00E759 00E774 00E836 00E853 00EA96

Miki Hermann

France	006F11 00A405 00B010 00B011 00B080 00BA58 00C295 00C393 00C408 00C825 00D031 00D545 00DF30 00E333 00E337 00E950
France LIX (FRE 2653), École Polytechnique École Polytechnique École Polytechnique	006F11
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	009013 00A761 00A780 00AA03 00B384 00B468 00BD76 00BD78 00BE31
États-Unis CRIN (CNRS) and INRIA-Lorraine, BP 239, 54506 Vandoeuvre-lès-Nancy, France and Comp. and Info. Sciences, University of California, Santa Cruz, CA 95064 Californie	00CF52
France LORIA (CNRS), BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A385
France CNRS, CRIN, BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00C825
France CRIN (CNRS) and INRIA-Lorraine, BP 239, 54506, Vandceuvre-lès-Nancy Grand EstLorraine (région)Vandceuvre-lès-Nancy	00D545
France CRIN (CNRS) and INRIA-Lorraine, BP 239, 54506, Vandæuvre-lès-Nancy Grand EstLorraine (région)Vandæuvre-lès-Nancy	00C900
France CRIN (CNRS) and INRIA-Lorraine, BP 239, 54506, Vand∄uvre-lès-Nancy Grand EstLorraine (région)Vand∄uvre-lès-Nancy	00D031
France CRIN (CNRS) and INRIA-Lorraine, Campus Scientifique, BP 239. 54506 Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00C295
France CRIN and INRIA-Lorraine Campus Scientifique, BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00E333
France CRIN-INRIA, BP 239, 54506, Vandoeuvre les Nancy Cedex Grand EstLorraine (région)Vandœuvre-lès-Nancy	00C393
France Campus Scientifique, CRIN (CNRS) and INRIA-Lorraine, BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00DF30
France Centre de Recherche en Informatique de Nancy CNRS and INRIA-Lorraine Campus Scientifique, BP 239, 54506, Vandœuvre-les-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00E950
France Centre de Recherche en Informatique de Nancy, CNRS and INRIA-Lorraine, Campus Scientifique, BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00E729
France Crin and Inria-Lorraine Campus Scientifique, BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00E337
France INRIA-Lorraine, BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00C825
France LORIA (CNRS and Université Henri Poincaré Nancy 1), BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00B011
France LORIA (CNRS and Université Henri Poincaré Nancy 1, BP 239, 54506, Vandceuvre-lès-Nancy Grand EstLorraine (région)Vandceuvre-lès-Nancy	00B010
France LORIA (CNRS), BP 239, 54506, Vandceuvre-lés-Nancy Grand EstLorraine (région)Vandceuvre-lés-Nancy	00C408
France LORIA (CNRS), BP 239, 54506, Vandœuvre-lès-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00B080 00BA58
France LORIA (CNRS), BP 239, 54506, Vandœuvre-lés-Nancy Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A405
LORIA (CNRS), BP 23954506 Vandœuvre-lès-NancyFRA1 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A565
NONE	008792 009F45 00A158 00AC12 00AC19 00AC28 00B706 00B799 00B844 00C060 00C140 00C282

<g><k>Hermann M</k>
<l><g><k>M. Hermann</k>
<l><g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN (CNRS) and INRIA-Lorraine BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00C961</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>CRIN (CNRS) and INRIA-Lorraine, Campus Scientifique, BP 239</s1>
<s2>54506 Vandæuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandæuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00C498</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA (CNRS and Université Henri Poincaré Nancy 1), BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
<settlement type="city" wicri:auto="agglo">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00B159</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA (CNRS), BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00BB60</i>
<i>00C516</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>CRIN(CNRS) and INRIA-Lorraine, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00C984</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA (CNRS and Université Henri Poincaré Nancy 1), BP 239</s1>
<s2>54506, Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<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>00B158</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="02"><s1>LORIA (CNRS), BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A573</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>00C506</i>
<i>00C614</i>
<i>00C634</i>
<i>00C668</i>
<i>00D264</i>
<i>00D694</i>
<i>00D831</i>
<i>00D952</i>
<i>00DC71</i>
<i>00DC95</i>
<i>00E124</i>
<i>00E206</i>
<i>00E207</i>
<i>00E235</i>
<i>00E380</i>
<i>00E407</i>
<i>00E438</i>
<i>00E464</i>
<i>00E759</i>
<i>00E774</i>
<i>00E836</i>
<i>00E853</i>
<i>00EA96</i>
</l>
<n>23</n>
<t>23</t>
</g>
</l>
<n>8</n>
<t>31</t>
</g>
<g><k>Miki Hermann</k>
<l><g><k><affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</k>
<l><i>006F11</i>
<i>00A405</i>
<i>00B010</i>
<i>00B011</i>
<i>00B080</i>
<i>00BA58</i>
<i>00C295</i>
<i>00C393</i>
<i>00C408</i>
<i>00C825</i>
<i>00D031</i>
<i>00D545</i>
<i>00DF30</i>
<i>00E333</i>
<i>00E337</i>
<i>00E950</i>
</l>
<n>16</n>
<t>16</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>LIX (FRE 2653), École Polytechnique</wicri:regionArea>
<wicri:noRegion>École Polytechnique</wicri:noRegion>
<wicri:noRegion>École Polytechnique</wicri:noRegion>
</affiliation>
</k>
<l><i>006F11</i>
</l>
<n>1</n>
<t>1</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>009013</i>
<i>00A761</i>
<i>00A780</i>
<i>00AA03</i>
<i>00B384</i>
<i>00B468</i>
<i>00BD76</i>
<i>00BD78</i>
<i>00BE31</i>
</l>
<n>9</n>
<t>9</t>
</g>
<g><k><affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>CRIN (CNRS) and INRIA-Lorraine, BP 239, 54506 Vandoeuvre-lès-Nancy, France and Comp. and Info. Sciences, University of California, Santa Cruz, CA 95064</wicri:regionArea>
<placeName><region type="state">Californie</region>
</placeName>
</affiliation>
</k>
<l><i>00CF52</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country wicri:rule="url">France</country>
<wicri:regionArea>LORIA (CNRS), BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00A385</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CNRS, CRIN, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00C825</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) and INRIA-Lorraine, BP 239, 54506, Vandceuvre-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">Vandceuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00D545</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) and INRIA-Lorraine, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00C900</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) and INRIA-Lorraine, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00D031</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) and INRIA-Lorraine, Campus Scientifique, BP 239. 54506 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>
</placeName>
</affiliation>
</k>
<l><i>00C295</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CRIN and INRIA-Lorraine Campus Scientifique, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00E333</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CRIN-INRIA, 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>00C393</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, CRIN (CNRS) and INRIA-Lorraine, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00DF30</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 CNRS and INRIA-Lorraine Campus Scientifique, BP 239, 54506, Vandœuvre-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>00E950</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, CNRS and INRIA-Lorraine, Campus Scientifique, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00E729</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Crin and Inria-Lorraine Campus Scientifique, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00E337</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, BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00C825</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 Université Henri Poincaré Nancy 1), BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00B011</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 Université Henri Poincaré Nancy 1, BP 239, 54506, Vandceuvre-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">Vandceuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00B010</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), BP 239, 54506, Vandceuvre-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">Vandceuvre-lés-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00C408</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), BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00B080</i>
<i>00BA58</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA (CNRS), BP 239, 54506, 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>
</placeName>
</affiliation>
</k>
<l><i>00A405</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA (CNRS), BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A565</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>008792</i>
<i>009F45</i>
<i>00A158</i>
<i>00AC12</i>
<i>00AC19</i>
<i>00AC28</i>
<i>00B706</i>
<i>00B799</i>
<i>00B844</i>
<i>00C060</i>
<i>00C140</i>
<i>00C282</i>
</l>
<n>12</n>
<t>12</t>
</g>
</l>
<n>24</n>
<t>59</t>
</g>
</l>
<n>2</n>
<t>90</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