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.
Mosbah M < Mosbahi O < Mosca R

Olfa Mosbahi
France
003049
Tunisie
Faculté des Sciences, Campus universitaire, BP n° 244, 1060Tunis ElManar II
1060Tunis ElManar II
003049
Faculté des Sciences de TunisDépartement des Sciences de l'Informatique
Tunisie
005B52
Laboratoire d'Informatique, de Parallélisme et de ProductiqueLIP2Faculté des Sciences de Tunis Université de Tunis El Manar TunisFaculté des Sciences de Tunis [Tunis]http://www.fst.rnu.tn/fr/
Tunisie
008409
200418303GProof-oriented development of computer-based systemsMOSELhttp://www.inria.fr/equipes/moselLaboratoire 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
004841
004947
004948
005322
005351
005352
005D25
006972
007102
007126
LORIA, INRIA Lorraine, Nancy University, France and Martin Luther UniversityDEU1 aut.
Allemagne
France and Martin Luther University
LORIA, INRIA Lorraine, Nancy University, France and Martin Luther University
002860
France
Laboratoire LORIA INRIA Lorraine, Campus scientifique, BP 239, F-54506Vandœuvre-lès-Nancy cedex
Grand EstLorraine (région)cedex
003049
NONE
005E82
006240
006258
006A36
006A46
008867

<g>
<k>Mosbahi O</k>
<l>
<g>
<k>Olfa Mosbahi</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>003049</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<country xml:lang="fr">Tunisie</country>
<wicri:regionArea>Faculté des Sciences, Campus universitaire, BP n° 244, 1060Tunis ElManar II</wicri:regionArea>
<wicri:noRegion>1060Tunis ElManar II</wicri:noRegion>
</affiliation>
</k>
<l>
<i>003049</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-104492" status="VALID">
<orgName>Faculté des Sciences de Tunis</orgName>
<desc>
<address>
<country key="TN"></country>
</address>
</desc>
<listRelation>
<relation active="#struct-325064" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-325064" type="direct">
<org type="institution" xml:id="struct-325064" status="INCOMING">
<orgName>Département des Sciences de l'Informatique</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Tunisie</country>
</affiliation>
</k>
<l>
<i>005B52</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-92263" status="VALID">
<orgName>Laboratoire d'Informatique, de Parallélisme et de Productique</orgName>
<orgName type="acronym">LIP2</orgName>
<desc>
<address>
<addrLine>Faculté des Sciences de Tunis Université de Tunis El Manar Tunis</addrLine>
<country key="TN"></country>
</address>
</desc>
<listRelation>
<relation active="#struct-300651" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-300651" type="direct">
<org type="institution" xml:id="struct-300651" status="VALID">
<orgName>Faculté des Sciences de Tunis [Tunis]</orgName>
<desc>
<address>
<country key="TN"></country>
</address>
<ref type="url">http://www.fst.rnu.tn/fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Tunisie</country>
</affiliation>
</k>
<l>
<i>008409</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-2357" status="OLD">
<idno type="RNSR">200418303G</idno>
<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.inria.fr/equipes/mosel</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>004841</i>
<i>004947</i>
<i>004948</i>
<i>005322</i>
<i>005351</i>
<i>005352</i>
<i>005D25</i>
<i>006972</i>
<i>007102</i>
<i>007126</i>
</l>
<n>10</n>
<t>10</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<inist:fA14 i1="01">
<s1>LORIA, INRIA Lorraine, Nancy University, France and Martin Luther University</s1>
<s3>DEU</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>Allemagne</country>
<wicri:noRegion>France and Martin Luther University</wicri:noRegion>
<wicri:noRegion>LORIA, INRIA Lorraine, Nancy University, France and Martin Luther University</wicri:noRegion>
</affiliation>
</k>
<l>
<i>002860</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Laboratoire LORIA INRIA Lorraine, Campus scientifique, BP 239, F-54506Vandœ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">cedex</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>003049</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>005E82</i>
<i>006240</i>
<i>006258</i>
<i>006A36</i>
<i>006A46</i>
<i>008867</i>
</l>
<n>6</n>
<t>6</t>
</g>
</l>
<n>8</n>
<t>22</t>
</g>
</l>
<n>1</n>
<t>22</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