InforLorV4, Main, Merge, indexHead, AutAff.i

Author's uniq id: Klay F
Total number of names:
Total number of records with affiliations: 26

F. Klay

France Telecom CNET DTL/MSV, Technopole Anticipa, 2 av. Pierre Marzin22307, LannionFRA3 aut. France Région BretagneRégion BretagneLannion	00A594
NONE	00D293 00D681 00D767 00D810 00DC30 00E115

Francis Klay

France	00A445 00D604 00E311
CNETLannionCentre National d'Etudes des Télécommunications France	00A982
France Télécom Recherche & DéveloppementFT R&Dhttp://www.francetelecom.com/fr/groupe/rd/France Télécom France	005052
R&D DIH/EQSFRANCE TéLéCOMAucune France	00A840 00B480
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	00BE66
France CRIN-CNRS & INRIA-Lorraine, BP 239, 54506, Vandœuvre-lès-Nancy Cedex Grand EstLorraine (région)Vandœuvre-lès-Nancy	00D604
France France Telecom CNET DTL/MSV, Technopole Anticipa, 2 av. Pierre Marzin, 22307, Lannion Région BretagneLannion	00A445
France France Telecom R&D, Lannion Région BretagneRégion BretagneLannion	003A75
France Technopole Anticipa, France Telecom CNET DTL/MSV, 2 av. Pierre Marzin, 22307, Lannion Région BretagneLannion	007E09
France NancyGrand EstLorraine (région) INRIA Lorraine, 615 rue du Jardin Botanique, BP 101, F-54600	00E311
	003A75
NONE	009F77 00AB84 00AC93 00B401 00B760

<g><k>Klay F</k>
<l><g><k>F. Klay</k>
<l><g><k><affiliation wicri:level="3"><inist:fA14 i1="03"><s1>France Telecom CNET DTL/MSV, Technopole Anticipa, 2 av. Pierre Marzin</s1>
<s2>22307, Lannion</s2>
<s3>FRA</s3>
<sZ>3 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region">Région Bretagne</region>
<region type="old region">Région Bretagne</region>
<settlement type="city">Lannion</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A594</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>00D293</i>
<i>00D681</i>
<i>00D767</i>
<i>00D810</i>
<i>00DC30</i>
<i>00E115</i>
</l>
<n>6</n>
<t>6</t>
</g>
</l>
<n>2</n>
<t>7</t>
</g>
<g><k>Francis Klay</k>
<l><g><k><affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</k>
<l><i>00A445</i>
<i>00D604</i>
<i>00E311</i>
</l>
<n>3</n>
<t>3</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-15946" status="INCOMING"><orgName>CNET</orgName>
<desc><address><addrLine>Lannion</addrLine>
<country key="FR"></country>
</address>
</desc>
<listRelation><relation active="#struct-304769" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-304769" type="direct"><org type="institution" xml:id="struct-304769" status="INCOMING"><orgName>Centre National d'Etudes des Télécommunications</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>00A982</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-2545" status="VALID"><orgName>France Télécom Recherche & Développement</orgName>
<orgName type="acronym">FT R&D</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.francetelecom.com/fr/groupe/rd/</ref>
</desc>
<listRelation><relation active="#struct-300518" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300518" type="direct"><org type="institution" xml:id="struct-300518" status="VALID"><orgName>France Télécom</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>005052</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-4022" status="INCOMING"><orgName>R&D DIH/EQS</orgName>
<orgName type="acronym">FRANCE TéLéCOM</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
<listRelation><relation active="#struct-300568" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300568" type="direct"><org type="institution" xml:id="struct-300568" status="VALID"><orgName>Aucune</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>00A840</i>
<i>00B480</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>00BE66</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CRIN-CNRS & INRIA-Lorraine, BP 239, 54506, Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l><i>00D604</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>France Telecom CNET DTL/MSV, Technopole Anticipa, 2 av. Pierre Marzin, 22307, Lannion</wicri:regionArea>
<placeName><region type="region" nuts="2">Région Bretagne</region>
<settlement type="city">Lannion</settlement>
</placeName>
</affiliation>
</k>
<l><i>00A445</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>France Telecom R&D, Lannion</wicri:regionArea>
<placeName><region type="region">Région Bretagne</region>
<region type="old region">Région Bretagne</region>
<settlement type="city">Lannion</settlement>
</placeName>
</affiliation>
</k>
<l><i>003A75</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Technopole Anticipa, France Telecom CNET DTL/MSV, 2 av. Pierre Marzin, 22307, Lannion</wicri:regionArea>
<placeName><region type="region" nuts="2">Région Bretagne</region>
<settlement type="city">Lannion</settlement>
</placeName>
</affiliation>
</k>
<l><i>007E09</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation wicri:level="3"><country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<wicri:orgArea>INRIA Lorraine, 615 rue du Jardin Botanique, BP 101, F-54600</wicri:orgArea>
</affiliation>
</k>
<l><i>00E311</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation></affiliation>
</k>
<l><i>003A75</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g><k><affiliation>NONE</affiliation>
</k>
<l><i>009F77</i>
<i>00AB84</i>
<i>00AC93</i>
<i>00B401</i>
<i>00B760</i>
</l>
<n>5</n>
<t>5</t>
</g>
</l>
<n>12</n>
<t>19</t>
</g>
</l>
<n>2</n>
<t>26</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