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

Index « AffVille.i » - entrée « Orléans »
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.
Nîmes < Orléans < Orsay  Facettes :

List of bibliographic references indexed by Orléans

Number of relevant bibliographic references: 37.
[0-20] [0 - 20][0 - 37][20-36][20-40]
Ident.Authors (with country if any)Title
000A60 (2014-07) Claire Gardent [France] ; Yannick Parmentier [France] ; Guy Perrier [France] ; Sylvain Schmitz [France]Lexical Disambiguation in LTAG using Left Context
000D26 (2014) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001038 (2013-09) Benoît Crabbé [France] ; Denys Duchier [France] ; Claire Gardent [France] ; Joseph Le Roux [France] ; Yannick Parmentier [France]XMG : eXtensible MetaGrammar
001A56 (2012-06-26) Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
001C14 (2012-03-05) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo Chaining
001C64 (2012) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
001F90 (2011-11-25) Claire Gardent [France] ; Yannick Parmentier [France] ; Guy Perrier [France] ; Sylvain Schmitz [France]Lexical Disambiguation in LTAG using Left Context
002153 (2011-09-01) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Block Chaining
002695 (2011) Matthieu Chavent [France] ; Antoine Vanel [France] ; Alex Tek [France] ; Bruno Levy [France] ; Sophie Robert [France] ; Bruno Raffin [France] ; Marc Baaden [France, Allemagne]GPU‐accelerated atom and dynamic bond visualization using hyperballs: A unified algorithm for balls, sticks, and hyperboloids
002A91 (2010-09) Alexandre Learth Soares ; Fernando Rodrigues Coelho [France] ; Rodrigo Guabiraba [France] ; Mamdouh Kamal [France] ; B Boris Vargaftig ; Lily Li ; Jian Li [France] ; Wothan Tavares-De-Lima ; Bernhard Ryffel [France]Tumor necrosis factor is not associated with intestinal ischemia/reperfusion-induced lung inflammation.
002D71 (2010-04) Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
003002 (2010) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
003382 (2009-09-23) Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]How to Tackle Integer Weighted Automata Positivity
003741 (2009) Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France]Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
003768 (2009) Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France]Handling Non Left-Linear Rules When Completing Tree Automata
003E65 (2008-09) Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France]Handling Left-Quadratic Rules When Completing Tree Automata
003F94 (2008-06) Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Active Intruders with Caps
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
004601 (2008) Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]Approximation based tree regular model checking
004860 (2007-06-26) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
004945 (2007-05-02) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Intruders with Caps

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/AffVille.i -k "Orléans" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Orléans" \
         | 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=    AffVille.i
   |clé=    Orléans
}}

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