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.
Duchesne C < Duchier D < Duchon P

Denys Duchier
France
006403
006452
France
LIFO, Université d’Orléans
Université d’Orléans
Université d’Orléans
002831
Laboratoire d'Informatique Fondamentale d'OrléansLIFOBatiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2http://www.univ-orleans.fr/lifo/0000000121581666 026402971Université d'OrléansUOChâteau de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2http://www.univ-orleans.fr/Ecole Nationale Supérieure d'Ingénieurs de Bourges
France
OrléansRégion CentreCentre-Val de Loire
Université d'Orléans
Centre Val de Loire Université
001049
Laboratoire d'Informatique Fondamentale de LilleLIFLBâtiment M3 59655 Villeneuve d'Ascq Cédexhttp://www.lifl.fr/0264045240000000121517701Université de Lille, Sciences Humaines et SocialesDomaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedexhttp://www.univ-lille3.fr/026404184Université de Lille, Sciences et TechnologiesCité Scientifique - 59655 Villeneuve d'Ascq Cedexhttp://www.univ-lille1.fr/Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/
France
005C46
Department of Computer Science [Santa Barbara]http://www.cs.ucsb.edu/University of California, Santa Barbara [Santa Barbara]Santa Barbara, CA 93106http://www.ucsb.edu/
États-Unis
009B12
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
006931
006940
006A08
007596
008290
008310
008372
France
LORIA, Campus Scientifique, BP 239, F-54 506, Vandœuvre-lès-Nancy
Grand EstLorraine (région)Vandœuvre-lès-NancyNancy
006403
France
Loria, Nancy
Grand EstLorraine (région)Nancy
006458
France
Équipe Calligramme, LORIA, Nancy
Grand EstLorraine (région)Nancy
006402
006452
LoriaNancyFRA1 aut.2 aut.
France
Grand EstLorraine (région)Nancy
006619
Équipe Calligramme, LORIANancyFRA2 aut.
France
Grand EstLorraine (région)Nancy
006615
NONE
005E05
006C01
006C54
007893
007958
007A45
007C41
009594

<g>
<k>Duchier D</k>
<l>
<g>
<k>Denys Duchier</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>006403</i>
<i>006452</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">France</country>
<wicri:regionArea>LIFO, Université d’Orléans</wicri:regionArea>
<wicri:noRegion>Université d’Orléans</wicri:noRegion>
<wicri:noRegion>Université d’Orléans</wicri:noRegion>
</affiliation>
</k>
<l>
<i>002831</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-1625" status="OLD">
<orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<orgName type="acronym">LIFO</orgName>
<desc>
<address>
<addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/lifo/</ref>
</desc>
<listRelation>
<relation name="EA4022" active="#struct-300297" type="direct"></relation>
<relation active="#struct-300379" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle name="EA4022" active="#struct-300297" type="direct">
<org type="institution" xml:id="struct-300297" status="VALID">
<idno type="ISNI">0000000121581666 </idno>
<idno type="IdRef">026402971</idno>
<orgName>Université d'Orléans</orgName>
<orgName type="acronym">UO</orgName>
<desc>
<address>
<addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300379" type="direct">
<org type="institution" xml:id="struct-300379" status="VALID">
<orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Orléans</settlement>
<region type="old region" nuts="2">Région Centre</region>
<region type="region" nuts="2">Centre-Val de Loire</region>
</placeName>
<orgName type="university">Université d'Orléans</orgName>
<orgName type="institution" wicri:auto="newGroup">Centre Val de Loire Université</orgName>
</affiliation>
</k>
<l>
<i>001049</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-2546" status="VALID">
<orgName>Laboratoire d'Informatique Fondamentale de Lille</orgName>
<orgName type="acronym">LIFL</orgName>
<desc>
<address>
<addrLine>Bâtiment M3 59655 Villeneuve d'Ascq Cédex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lifl.fr/</ref>
</desc>
<listRelation>
<relation active="#struct-301700" type="direct"></relation>
<relation active="#struct-92973" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation name="UMR8022" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-301700" type="direct">
<org type="institution" xml:id="struct-301700" status="VALID">
<idno type="IdRef">026404524</idno>
<idno type="ISNI">0000000121517701</idno>
<orgName>Université de Lille, Sciences Humaines et Sociales</orgName>
<desc>
<address>
<addrLine>Domaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lille3.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-92973" type="direct">
<org type="institution" xml:id="struct-92973" status="VALID">
<idno type="IdRef">026404184</idno>
<orgName>Université de Lille, Sciences et Technologies</orgName>
<desc>
<address>
<addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lille1.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="direct">
<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 name="UMR8022" 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>005C46</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-7104" status="VALID">
<orgName>Department of Computer Science [Santa Barbara]</orgName>
<desc>
<address>
<country key="US"></country>
</address>
<ref type="url">http://www.cs.ucsb.edu/</ref>
</desc>
<listRelation>
<relation active="#struct-300693" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-300693" type="direct">
<org type="institution" xml:id="struct-300693" status="VALID">
<orgName>University of California, Santa Barbara [Santa Barbara]</orgName>
<desc>
<address>
<addrLine>Santa Barbara, CA 93106</addrLine>
<country key="US"></country>
</address>
<ref type="url">http://www.ucsb.edu/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>États-Unis</country>
</affiliation>
</k>
<l>
<i>009B12</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>006931</i>
<i>006940</i>
<i>006A08</i>
<i>007596</i>
<i>008290</i>
<i>008310</i>
<i>008372</i>
</l>
<n>7</n>
<t>7</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA, Campus Scientifique, BP 239, F-54 506, 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>006403</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>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>006458</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Équipe Calligramme, 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>006402</i>
<i>006452</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<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>006619</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="02">
<s1>Équipe Calligramme, LORIA</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>France</country>
<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>006615</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>005E05</i>
<i>006C01</i>
<i>006C54</i>
<i>007893</i>
<i>007958</i>
<i>007A45</i>
<i>007C41</i>
<i>009594</i>
</l>
<n>8</n>
<t>8</t>
</g>
</l>
<n>12</n>
<t>27</t>
</g>
</l>
<n>1</n>
<t>27</t>
</g>

Wicri

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