Pays
Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Merge (Accueil)

Index « Pays » - entrée « Roumanie »
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.
Qatar < Roumanie < Royaume-Uni  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000171 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
001C27 (2012-03-24) Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
001D16 (2012) Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France]Automated Verification of Equivalence Properties of Cryptographic Protocols
002663 (2011) Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie]Towards Formal Validation of Trust and Security in the Internet of Services
004151 (2008-05) Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France]Autour des langues et du langage
005631 (2006) Oana Andrei [France] ; Gabriel Ciobanu [Roumanie] ; Dorel Lucanu [Roumanie]Expressing Control Mechanisms of Membranes by Rewriting Strategies
00B527 (1998-05-28) Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]Marking-up multiple views of a Text: Discourse and Reference
00BD00 (1998) Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]Veins Theory: A Model of Global Discourse Cohesion and Coherence
00C757 (1996) Victor Mitrana [Roumanie] ; Gheorghe P Un [Roumanie] ; Grzegorz Rozenberg [Pays-Bas] ; Arto Salomaa [Finlande]Pattern systems
00CE84 (1995) Lila Kari [Finlande] ; Alexandru Mateescu [Finlande] ; Gheorghe Pa Un [Roumanie] ; Arto Salomaa [Finlande]Multi-pattern languages
00E334 (1991) Viorel Arn Utu [Roumanie]On approximation of the inverse one—phase Stefan problem
00E945 (1989) Viorel Arn Utu [Roumanie] ; Viorel Barbu [Roumanie] ; Vincenzo Capasso [Italie]Controlling the spread of a class of epidemics
00F819 (1978) C. L. Simionescu [Roumanie]Notes On a Mathematical Model in Plasma Physics
00F969 (1967) I. Alteras [Roumanie] ; R. Evolceanu [Roumanie]Trichophyton georgiae and Trichophyton vanbreuseghemii in Romanian soil

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i -k "Roumanie" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPays.i  \
                -Sk "Roumanie" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Roumanie
}}
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