InforLorV4, Main, Merge, indexHead, AutAff.i

Author's uniq id: Monfroy E
Total number of names:
Total number of records with affiliations: 47

E. Monfroy

CWI, P.O. Box 940791090 GB AmsterdamNLD1 aut. Pays-Bas 1090 GB Amsterdam	00BB52
CWI, P.O. Box 940791090 GB AmsterdamNLD2 aut. Pays-Bas 1090 GB Amsterdam	00A605 00A638
NONE	00C639 00C685 00CC39 00DC49 00DC80 00DD14 00E491 00E492

Eric Monfroy

Allemagne	00DF61
Chili	004510
France	006E35 006F58
Pays-Bas	00A471 00A530 00BA43
Pays-Bas CWI, P.O. Box 94079, NL-1090, GB Amsterdam GB Amsterdam	00A471
Chili Universidad Técnica Federico Santa María, Valparaíso Valparaíso	004510
France Institut de Recherche en Informatique de Nantes (IRIN), University of Nantes University of Nantes University of Nantes	006E35
Pays-Bas CWI, P.O. Box 94079, NL-1090, GB Amsterdam GB Amsterdam	00BA43
Centrum voor Wiskunde en InformaticaCWIKruislaan 413 P.O. Box 94079 1090 GB Amsterdamhttp://www.cwi.nl/CWINetherlands Organisation for Scientific Research Pays-Bas	00A993 00B427 00B484 00BE87 00BE88
Departamento de Informatica [Valparaíso, Chile]Av.España 1680 - Valparaísohttp://portal.inf.utfsm.clUniversidad Tecnica Federico Santa Maria [Valparaiso]UTFSMAvenida España 1680, Valparaísohttp://www.usm.cl/ Chili	002A96
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	00BD39 00D099
Allemagne ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81 BavièreDistrict de Haute-BavièreMunich	00DF61
Allemagne ECRC European Computer-industry Research Centre, Arabellastr. 17, D-8000, Munich 81 BavièreDistrict de Haute-BavièreMunich	00DA70
Pays-Bas CWI, P.O. Box 94079, NL-1090 GB, Amsterdam AmsterdamHollande-Septentrionale	00A530
France IRIN, Université de Nantes NantesPays de la Loire Université de Nantes	006F58
France LINA, Université de Nantes NantesPays de la Loire Université de Nantes	004510
IRIN, Université de NantesFRA2 aut. France Université de Nantes NantesPays de la Loire Université de Nantes	007069
NONE	003F03 006989 006D12 007B71 008368 00A023 00AB61 00AC61 00B695 00B755 00B848

<g><k>Monfroy E</k>
<l><g><k>E. Monfroy</k>
<l><g><k><affiliation wicri:level="1"><inist:fA14 i1="01"><s1>CWI, P.O. Box 94079</s1>
<s2>1090 GB Amsterdam</s2>
<s3>NLD</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>Pays-Bas</country>
<wicri:noRegion>1090 GB Amsterdam</wicri:noRegion>
</affiliation>
</k>
<l><i>00BB52</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><inist:fA14 i1="02"><s1>CWI, P.O. Box 94079</s1>
<s2>1090 GB Amsterdam</s2>
<s3>NLD</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Pays-Bas</country>
<wicri:noRegion>1090 GB Amsterdam</wicri:noRegion>
</affiliation>
</k>
<l><i>00A605</i>
<i>00A638</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>00C639</i>
<i>00C685</i>
<i>00CC39</i>
<i>00DC49</i>
<i>00DC80</i>
<i>00DD14</i>
<i>00E491</i>
<i>00E492</i>
</l>
<n>8</n>
<t>8</t>
</g>
</l>
<n>3</n>
<t>11</t>
</g>
<g><k>Eric Monfroy</k>
<l><g><k><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</k>
<l><i>00DF61</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><country wicri:rule="url">Chili</country>
</affiliation>
</k>
<l><i>004510</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</k>
<l><i>006E35</i>
<i>006F58</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation wicri:level="1"><country wicri:rule="url">Pays-Bas</country>
</affiliation>
</k>
<l><i>00A471</i>
<i>00A530</i>
<i>00BA43</i>
</l>
<n>3</n>
<t>3</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr" wicri:curation="lc">Pays-Bas</country>
<wicri:regionArea>CWI, P.O. Box 94079, NL-1090, GB Amsterdam</wicri:regionArea>
<wicri:noRegion>GB Amsterdam</wicri:noRegion>
</affiliation>
</k>
<l><i>00A471</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr">Chili</country>
<wicri:regionArea>Universidad Técnica Federico Santa María, Valparaíso</wicri:regionArea>
<wicri:noRegion>Valparaíso</wicri:noRegion>
</affiliation>
</k>
<l><i>004510</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>Institut de Recherche en Informatique de Nantes (IRIN), University of Nantes</wicri:regionArea>
<wicri:noRegion>University of Nantes</wicri:noRegion>
<wicri:noRegion>University of Nantes</wicri:noRegion>
</affiliation>
</k>
<l><i>006E35</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr">Pays-Bas</country>
<wicri:regionArea>CWI, P.O. Box 94079, NL-1090, GB Amsterdam</wicri:regionArea>
<wicri:noRegion>GB Amsterdam</wicri:noRegion>
</affiliation>
</k>
<l><i>00BA43</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-20495" status="VALID"><orgName>Centrum voor Wiskunde en Informatica</orgName>
<orgName type="acronym">CWI</orgName>
<desc><address><addrLine>Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam</addrLine>
<country key="NL"></country>
</address>
<ref type="url">http://www.cwi.nl/</ref>
</desc>
<listRelation><relation active="#struct-300172" type="direct"></relation>
<relation active="#struct-300190" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300172" type="direct"><org type="institution" xml:id="struct-300172" status="VALID"><orgName>CWI</orgName>
<desc><address><country key="NL"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300190" type="direct"><org type="institution" xml:id="struct-300190" status="VALID"><orgName>Netherlands Organisation for Scientific Research</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Pays-Bas</country>
</affiliation>
</k>
<l><i>00A993</i>
<i>00B427</i>
<i>00B484</i>
<i>00BE87</i>
<i>00BE88</i>
</l>
<n>5</n>
<t>5</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-36850" status="VALID"><orgName>Departamento de Informatica [Valparaíso, Chile]</orgName>
<desc><address><addrLine>Av.España 1680 - Valparaíso</addrLine>
<country key="CL"></country>
</address>
<ref type="url">http://portal.inf.utfsm.cl</ref>
</desc>
<listRelation><relation active="#struct-406898" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-406898" type="direct"><org type="institution" xml:id="struct-406898" status="VALID"><orgName>Universidad Tecnica Federico Santa Maria [Valparaiso]</orgName>
<orgName type="acronym">UTFSM</orgName>
<desc><address><addrLine>Avenida España 1680, Valparaíso</addrLine>
<country key="CL"></country>
</address>
<ref type="url">http://www.usm.cl/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Chili</country>
</affiliation>
</k>
<l><i>002A96</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>00BD39</i>
<i>00D099</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country>
<wicri:regionArea>ECRC European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea>
<placeName><region type="land" nuts="1">Bavière</region>
<region type="district" nuts="2">District de Haute-Bavière</region>
<settlement type="city">Munich</settlement>
</placeName>
</affiliation>
</k>
<l><i>00DF61</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country>
<wicri:regionArea>ECRC European Computer-industry Research Centre, Arabellastr. 17, D-8000, Munich 81</wicri:regionArea>
<placeName><region type="land" nuts="1">Bavière</region>
<region type="district" nuts="2">District de Haute-Bavière</region>
<settlement type="city">Munich</settlement>
</placeName>
</affiliation>
</k>
<l><i>00DA70</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">Pays-Bas</country>
<wicri:regionArea>CWI, P.O. Box 94079, NL-1090 GB, Amsterdam</wicri:regionArea>
<placeName><settlement type="city">Amsterdam</settlement>
<region nuts="2" type="province">Hollande-Septentrionale</region>
</placeName>
</affiliation>
</k>
<l><i>00A530</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="4"><country xml:lang="fr">France</country>
<wicri:regionArea>IRIN, Université de Nantes</wicri:regionArea>
<placeName><settlement type="city">Nantes</settlement>
<region type="region" nuts="2">Pays de la Loire</region>
</placeName>
<orgName type="university">Université de Nantes</orgName>
</affiliation>
</k>
<l><i>006F58</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="4"><country xml:lang="fr">France</country>
<wicri:regionArea>LINA, Université de Nantes</wicri:regionArea>
<placeName><settlement type="city">Nantes</settlement>
<region type="region" nuts="2">Pays de la Loire</region>
</placeName>
<orgName type="university">Université de Nantes</orgName>
</affiliation>
</k>
<l><i>004510</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="4"><inist:fA14 i1="02"><s1>IRIN, Université de Nantes</s1>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>Université de Nantes</wicri:noRegion>
<placeName><settlement type="city">Nantes</settlement>
<region type="region" nuts="2">Pays de la Loire</region>
</placeName>
<orgName type="university">Université de Nantes</orgName>
</affiliation>
</k>
<l><i>007069</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>003F03</i>
<i>006989</i>
<i>006D12</i>
<i>007B71</i>
<i>008368</i>
<i>00A023</i>
<i>00AB61</i>
<i>00AC61</i>
<i>00B695</i>
<i>00B755</i>
<i>00B848</i>
</l>
<n>11</n>
<t>11</t>
</g>
</l>
<n>18</n>
<t>36</t>
</g>
</l>
<n>2</n>
<t>47</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