BourbakiV1, Main, Merge, indexHead, AutAff.i

Author's uniq id: Mery D
Total number of names:
Total number of records with affiliations: 1

Dominique Méry

Proof-oriented development of computer-based systems MOSEL http://www.loria.fr/la-recherche-en/equipes/mosel Department of Formal Methods LORIA - FM http://www.loria.fr/la-recherche-en/departements/formal-methods 067077927 198912571S [UL]RSI-- Laboratoire Lorrain de Recherche en Informatique et ses Applications LORIA 2012-01-01 Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex http://www.loria.fr Institut National de Recherche en Informatique et en Automatique Inria Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex http://www.inria.fr/en/ 157040569 [UL]100-- Université de Lorraine UL 2012-01-01 34 cours Léopold - CS 25233 - 54052 Nancy cedex http://www.univ-lorraine.fr/ 02636817X 0000000122597504 Centre National de la Recherche Scientifique CNRS 1939-10-19 http://www.cnrs.fr/
France
NancyMetzGrand EstLorraine (région)
Université de Lorraine

000018

<g><k>Mery D</k>
<l><g><k>Dominique Méry</k>
<l><g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-206041" status="VALID">          <orgName>Proof-oriented development of computer-based systems</orgName>
          <orgName type="acronym">MOSEL</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.loria.fr/la-recherche-en/equipes/mosel</ref>
          </desc>
          <listRelation>            <relation active="#struct-423084" type="direct"></relation>
            <relation active="#struct-206040" type="indirect"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation active="#struct-413289" type="indirect"></relation>
            <relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID">          <orgName>Department of Formal Methods </orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
          </desc>
          <listRelation>            <relation active="#struct-206040" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
            <relation active="#struct-413289" type="indirect"></relation>
            <relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID">          <idno type="IdRef">067077927</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <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 active="#struct-300009" type="direct"></relation>
            <relation active="#struct-413289" type="direct"></relation>
            <relation name="UMR7503" active="#struct-441569" 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-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID">          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>            <address>              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><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>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</k>
<l><i>000018</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>1</n>
<t>1</t>
</g>

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022

	Serveur d'exploration Bourbaki
	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 Bourbaki