InforLorV4, Main, Merge, indexHead, AutAff.i

Jacqueline F < Jacquemard F < Jacquemin C

Author's uniq id: Jacquemard F
Total number of names:
Total number of records with affiliations: 38

F. Jacquemard

LORIA and INRIA, 615 rue du Jardin Botanique, B.P. 10154602 Villers-les-NancyFRA3 aut.
France
Grand EstLorraine (région)Villers-les-Nancy

00B180

Florent Jacquemard

France	001511 004523 005501 00A497 00B069
France INRIA Futurs and LSV, UMR CNRS, ENS Cachan ENS Cachan ENS Cachan	004523
France LSV, ENS Cachan, CNRS UMR 8643 and INRIA CNRS UMR 8643 and INRIA CNRS UMR 8643 and INRIA	001E32
201221013TSynchronous Realtime Processing and Programming of Music SignalsMuTant2015-12-31http://www.inria.fr/equipes/mutant196718247GINRIA Paris-RocquencourtINRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex / INRIA Paris - 23 avenue d'Italie 75013 Parishttp://www.inria.fr/centre/paris-rocquencourtInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Université Pierre et Marie Curie - Paris 6UPMC4 place Jussieu - 75005 Parishttp://www.upmc.fr/IRCAM000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/ France	001151 001273
201221013TSynchronous Realtime Processing and Programming of Music SignalsMuTant2015-12-31http://www.inria.fr/equipes/mutant196718247GINRIA Paris-RocquencourtINRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex / INRIA Paris - 23 avenue d'Italie 75013 Parishttp://www.inria.fr/centre/paris-rocquencourtInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Université Pierre et Marie Curie - Paris 6UPMC4 place Jussieu - 75005 Parishttp://www.upmc.fr/IRCAM02636817X0000000122597504Centre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/ France	001878
200218376VSecurity of information systemsSECSIhttp://www.inria.fr/equipes/secsiLaboratoire Spécification et Vérification [Cachan]LSVBâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEXhttp://www.lsv.ens-cachan.fr/École normale supérieure - CachanENS Cachan61, avenue du Président Wilson - 94230 Cachanhttp://www.ens-cachan.fr/000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/200818248EINRIA Saclay - Ile de France1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseauhttp://www.inria.fr/centre/saclayInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/ France	004269 006756
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	00A796 00A916 00A917 00AA21 00B421 00B469 00BD10 00BD47
200818998VVerification in databasesDAHULSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCEhttp://www.inria.fr/equipes/dahuLaboratoire Spécification et Vérification [Cachan]LSVBâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEXhttp://www.lsv.ens-cachan.fr/000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/École normale supérieure - CachanENS Cachan61, avenue du Président Wilson - 94230 Cachanhttp://www.ens-cachan.fr/200818248EINRIA Saclay - Ile de France1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseauhttp://www.inria.fr/centre/saclayInstitut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/ France	002A35 002C24 003D59
INRIA Futurs & LSV, UMR 8643FRA1 aut. France UMR 8643 INRIA Futurs & LSV, UMR 8643	005740
France Campus Scientifique, LORIA - INRIA Lorraine, Vandœuvre-lès, B.P. 239, 54506, Nancy Cedex Grand EstLorraine (région)Nancy	00A497
France INRIA Paris–Rocquencourt & Ircam UMR, 1 place Igor Stravinsky, 75004, Paris Île-de-FranceParis	001511
France LORIA and INRIA, 615 rue du Jardin Botanique, 101, 54602, Villers-les-Nancy Cedex Grand EstLorraine (région)Villers-les-Nancy	00B069
LORIA - INRIA Lorraine, Campus Scientifique, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut. France Grand EstLorraine (région)Vandœuvre-lès-Nancy	00A624
	005501
NONE	006138 00A002 00A087 00AC31 00AE44 00AE65 00B688 00B913

<g><k>Jacquemard F</k>
<l><g><k>F. Jacquemard</k>
<l><g><k><affiliation wicri:level="3"><inist:fA14 i1="03"><s1>LORIA and INRIA, 615 rue du Jardin Botanique, B.P. 101</s1>
<s2>54602 Villers-les-Nancy</s2>
<s3>FRA</s3>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-les-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00B180</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k>Florent Jacquemard</k>
<l><g><k><affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</k>
<l><i>001511</i>
<i>004523</i>
<i>005501</i>
<i>00A497</i>
<i>00B069</i>
</l>
<n>5</n>
<t>5</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>INRIA Futurs and LSV, UMR CNRS, ENS Cachan</wicri:regionArea>
<wicri:noRegion>ENS Cachan</wicri:noRegion>
<wicri:noRegion>ENS Cachan</wicri:noRegion>
</affiliation>
</k>
<l><i>004523</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>LSV, ENS Cachan, CNRS UMR 8643 and INRIA</wicri:regionArea>
<wicri:noRegion>CNRS UMR 8643 and INRIA</wicri:noRegion>
<wicri:noRegion>CNRS UMR 8643 and INRIA</wicri:noRegion>
</affiliation>
</k>
<l><i>001E32</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-185190" status="OLD"><idno type="RNSR">201221013T</idno>
<orgName>Synchronous Realtime Processing and Programming of Music Signals</orgName>
<orgName type="acronym">MuTant</orgName>
<date type="end">2015-12-31</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/mutant</ref>
</desc>
<listRelation><relation active="#struct-86790" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-93591" type="direct"></relation>
<relation active="#struct-300476" type="direct"></relation>
<relation active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-86790" type="direct"><org type="laboratory" xml:id="struct-86790" status="VALID"><idno type="RNSR">196718247G</idno>
<orgName>INRIA Paris-Rocquencourt</orgName>
<desc><address><addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex / INRIA Paris - 23 avenue d'Italie 75013 Paris</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/paris-rocquencourt</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-93591" type="direct"><org type="institution" xml:id="struct-93591" status="VALID"><orgName>Université Pierre et Marie Curie - Paris 6</orgName>
<orgName type="acronym">UPMC</orgName>
<desc><address><addrLine>4 place Jussieu - 75005 Paris</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.upmc.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300476" type="direct"><org type="institution" xml:id="struct-300476" status="VALID"><orgName>IRCAM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-441569" type="direct"><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>
</affiliation>
</k>
<l><i>001151</i>
<i>001273</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-185190" status="OLD"><idno type="RNSR">201221013T</idno>
<orgName>Synchronous Realtime Processing and Programming of Music Signals</orgName>
<orgName type="acronym">MuTant</orgName>
<date type="end">2015-12-31</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/mutant</ref>
</desc>
<listRelation><relation active="#struct-86790" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-93591" type="direct"></relation>
<relation active="#struct-300476" type="direct"></relation>
<relation active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-86790" type="direct"><org type="laboratory" xml:id="struct-86790" status="VALID"><idno type="RNSR">196718247G</idno>
<orgName>INRIA Paris-Rocquencourt</orgName>
<desc><address><addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex / INRIA Paris - 23 avenue d'Italie 75013 Paris</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/paris-rocquencourt</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-93591" type="direct"><org type="institution" xml:id="struct-93591" status="VALID"><orgName>Université Pierre et Marie Curie - Paris 6</orgName>
<orgName type="acronym">UPMC</orgName>
<desc><address><addrLine>4 place Jussieu - 75005 Paris</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.upmc.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300476" type="direct"><org type="institution" xml:id="struct-300476" status="VALID"><orgName>IRCAM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-441569" type="direct"><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>
</affiliation>
</k>
<l><i>001878</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2337" status="OLD"><idno type="RNSR">200218376V</idno>
<orgName>Security of information systems</orgName>
<orgName type="acronym">SECSI</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/secsi</ref>
</desc>
<listRelation><relation active="#struct-2571" type="direct"></relation>
<relation active="#struct-6862" type="direct"></relation>
<relation name="UMR8643" active="#struct-441569" type="direct"></relation>
<relation active="#struct-118511" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-2571" type="direct"><org type="laboratory" xml:id="struct-2571" status="VALID"><orgName>Laboratoire Spécification et Vérification [Cachan]</orgName>
<orgName type="acronym">LSV</orgName>
<desc><address><addrLine>Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lsv.ens-cachan.fr/</ref>
</desc>
<listRelation><relation active="#struct-6862" type="direct"></relation>
<relation name="UMR8643" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-6862" type="direct"><org type="institution" xml:id="struct-6862" status="VALID"><orgName>École normale supérieure - Cachan</orgName>
<orgName type="acronym">ENS Cachan</orgName>
<desc><address><addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ens-cachan.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR8643" active="#struct-441569" type="direct"><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-118511" type="direct"><org type="laboratory" xml:id="struct-118511" status="VALID"><idno type="RNSR">200818248E</idno>
<orgName>INRIA Saclay - Ile de France</orgName>
<desc><address><addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/saclay</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>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>004269</i>
<i>006756</i>
</l>
<n>2</n>
<t>2</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>00A796</i>
<i>00A916</i>
<i>00A917</i>
<i>00AA21</i>
<i>00B421</i>
<i>00B469</i>
<i>00BD10</i>
<i>00BD47</i>
</l>
<n>8</n>
<t>8</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-56043" status="VALID"><idno type="RNSR">200818998V</idno>
<orgName>Verification in databases</orgName>
<orgName type="acronym">DAHU</orgName>
<desc><address><addrLine>LSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCE</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/dahu</ref>
</desc>
<listRelation><relation active="#struct-2571" type="direct"></relation>
<relation name="UMR8643" active="#struct-441569" type="direct"></relation>
<relation active="#struct-6862" type="direct"></relation>
<relation active="#struct-118511" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-2571" type="direct"><org type="laboratory" xml:id="struct-2571" status="VALID"><orgName>Laboratoire Spécification et Vérification [Cachan]</orgName>
<orgName type="acronym">LSV</orgName>
<desc><address><addrLine>Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lsv.ens-cachan.fr/</ref>
</desc>
<listRelation><relation active="#struct-6862" type="direct"></relation>
<relation name="UMR8643" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR8643" active="#struct-441569" type="direct"><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-6862" type="direct"><org type="institution" xml:id="struct-6862" status="VALID"><orgName>École normale supérieure - Cachan</orgName>
<orgName type="acronym">ENS Cachan</orgName>
<desc><address><addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ens-cachan.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-118511" type="direct"><org type="laboratory" xml:id="struct-118511" status="VALID"><idno type="RNSR">200818248E</idno>
<orgName>INRIA Saclay - Ile de France</orgName>
<desc><address><addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/saclay</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>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>002A35</i>
<i>002C24</i>
<i>003D59</i>
</l>
<n>3</n>
<t>3</t>
</g>
<g><k><affiliation wicri:level="1"><inist:fA14 i1="01"><s1>INRIA Futurs & LSV, UMR 8643</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>UMR 8643</wicri:noRegion>
<wicri:noRegion>INRIA Futurs & LSV, UMR 8643</wicri:noRegion>
</affiliation>
</k>
<l><i>005740</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, LORIA - INRIA Lorraine, Vandœuvre-lès, B.P. 239, 54506, Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A497</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>INRIA Paris–Rocquencourt & Ircam UMR, 1 place Igor Stravinsky, 75004, Paris</wicri:regionArea>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Paris</settlement>
</placeName>
</affiliation>
</k>
<l><i>001511</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, 101, 54602, Villers-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">Villers-les-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00B069</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><inist:fA14 i1="01"><s1>LORIA - INRIA Lorraine, Campus Scientifique, 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>00A624</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation></affiliation>
</k>
<l><i>005501</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>006138</i>
<i>00A002</i>
<i>00A087</i>
<i>00AC31</i>
<i>00AE44</i>
<i>00AE65</i>
<i>00B688</i>
<i>00B913</i>
</l>
<n>8</n>
<t>8</t>
</g>
</l>
<n>15</n>
<t>37</t>
</g>
</l>
<n>2</n>
<t>38</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