Pays
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (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 indexed by Roumanie

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
001B97 (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
001C97 (2012) Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France]Automated Verification of Equivalence Properties of Cryptographic Protocols
002621 (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
004020 (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
005485 (2006) Oana Andrei [France] ; Gabriel Ciobanu [Roumanie] ; Dorel Lucanu [Roumanie]Expressing Control Mechanisms of Membranes by Rewriting Strategies
00AD87 (1998-05-28) Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]Marking-up multiple views of a Text: Discourse and Reference
00B542 (1998) Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]Veins Theory: A Model of Global Discourse Cohesion and Coherence
00BF36 (1996) Victor Mitrana [Roumanie] ; Gheorghe P Un [Roumanie] ; Grzegorz Rozenberg [Pays-Bas] ; Arto Salomaa [Finlande]Pattern systems
00C627 (1995) Lila Kari [Finlande] ; Alexandru Mateescu [Finlande] ; Gheorghe Pa Un [Roumanie] ; Arto Salomaa [Finlande]Multi-pattern languages
00DA56 (1991) Viorel Arn Utu [Roumanie]On approximation of the inverse one—phase Stefan problem
00E062 (1989) Viorel Arn Utu [Roumanie] ; Viorel Barbu [Roumanie] ; Vincenzo Capasso [Italie]Controlling the spread of a class of epidemics
00EF27 (1978) C. L. Simionescu [Roumanie]Notes On a Mathematical Model in Plasma Physics
00F076 (1967) I. Alteras [Roumanie] ; R. Evolceanu [Roumanie]Trichophyton georgiae and Trichophyton vanbreuseghemii in Romanian soil

List of associated Author.i

Nombre de
documents		Descripteur
2Arto Salomaa
2Dan Cristea
2Laurent Romary
2Marius Minea
2Mathieu Turuani
2Nancy Ide
2Roberto Carbone
2Rohit Chadha
2Serena Elisa Ponta
2Steve Kremer
2Vincent Cheval
2Viorel Arn Utu
1
1Alberto Calvi
1Alessandro Armando
1Alessandro Cappai
1Alexandru Mateescu
1Ali Djaroun
1Amélie Josselin-Leray
1Anaïg Delanoë
1Angélique Laurent
1Anita Thomas
1Anna Ghimenton
1Anne-Laure Jousse
1Antoine Gautier
1Antoine Widlöcher
1Aude Rebotier
1Aurélie Nardy
1Bannour Rachid
1Bernadette Kervyn
1Bárbara Razola Mayor
1C. L. Simionescu
1Carmen Scarlat
1Caroline Cance
1Christian Surcouf
1Cécile Frérot
1Cécile Lux
1Céline Dugua
1Darine Saïdi
1Darline Cothière-Robert
1David Von Oheimb
1Dominique Anctil
1Dorel Lucanu
1Fabienne Venant
1Fanny Rinck
1Florencia Miranda
1Florinela Comanescu
1Frédérik Bilhaut
1Gabriel Ciobanu
1Gabriel Erzse
1Gaëlle Delepaut
1Geneviève Garcia Bourgade
1Gheorghe P Un
1Gheorghe Pa Un
1Giancarlo Pellegrino
1Grzegorz Rozenberg
1Gwendoline Bloquet
1Hiroko Noda
1Hélène Delage
1I. Alteras
1Inka Wissner
1Iuliana-Anca Mateiu
1Jeanne Gonac'H
1Jennifer Sullivan
1Jocelyne Cussac Pomel
1Jorge Cuellar
1Juliette Delahaie
1Juliette Elie-Deschamps
1Katérina Palasis-Jourdan
1Laurence Buson
1Lerato Caroline Pooe
1Lila Kari
1Luc Biichlé
1Luca Compagna
1Luca Vigan
1Luca Vigano
1Magdalena Augustyn
1Marco Rocchetto
1Maria Zerva
1Mathieu Loiseau
1Mathilde Gonçalves
1Michaël Rusinowitch
1Michele Barletta
1Mohammad Torabi Dashti
1Myriam Abouzaïd
1Nathaël Martin
1Oana Andrei
1Pascale Leclercq
1Pascale Paulin
1R. Evolceanu
1Rose-Marie Gerbe
1Sabrina Ben Hamou
1Sabrina Rasom
1Sebastian Alexander Mödersheim
1Sebastian Modersheim
1Silvia Nieva
1Simone Frau
1Sofia Stratilaki
1Sophie Anquetil
1Stefan Ciobaca

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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