HalTutelle.i
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « HalTutelle.i » - entrée « INRIA Paris-Rocquencourt »
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.
INRIA Nancy - Grand Est < INRIA Paris-Rocquencourt < INRIA Saclay - Ile de France  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 115.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000005 (2012-08-27) Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France]TLA+ Proofs
000006 (2012-07) Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France]TLA+ Proofs
000092 (1994) Philippe Flajolet [France] ; Paul Zimmermann [France] ; Bernard Van CutsemA Calculus for the Random Generation of Labelled Combinatorial Structures
000093 (1993) Philippe Flajolet [France] ; Paul Zimmermann [France] ; B. Van CustemA Calculus for the random generation of combinatorial structures
000094 (1993) Philippe Flajolet [France] ; Paul Zimmermann [France] ; Bernard Van CutsemA Calculus of Random Generation
000113 (2007) Claudia Ignat [France] ; Gérald Oster [France] ; Pascal Molli [France] ; Michèle Cart [France] ; Jean Ferrié [France] ; Anne-Marie Kermarrec [France] ; Pierre Sutra [France] ; Marc Shapiro [France] ; Lamia Benmouffok [France] ; Jean-Michel Busca [France] ; Rachid Guerraoui [Suisse]A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
000114 (2007-11-12) Claudia Ignat [France] ; Gérald Oster [France] ; Pascal Molli [France] ; Michèle Cart [France] ; Jean Ferrié [France] ; Anne-Marie Kermarrec [France] ; Pierre Sutra [France] ; Marc Shapiro [France] ; Lamia Benmouffok [France] ; Jean-Michel Busca [France] ; Rachid Guerraoui [Suisse]A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
000236 (2014) Véronique Cortier [France] ; Graham Steel [France]A Generic Security API for Symmetric Key Management on Cryptographic Devices
000560 (2014-11) Laurence Danlos [France] ; Philippe De Groote [France] ; Sylvain Pogodalla [France]A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
000923 (2006-07-11) Frédéric Alexandre [France] ; Nicolas P. Rougier [France] ; Thierry Viéville [France]A regularization process to implement self-organizing neuronal networks
000947 (2011-03) Liliana Cucu-Grosjean [France] ; Yves Sorel [France]A schedulability test for real-time dependant periodic task systems with latency constraints
000A88 (2009) Maria-Jose Escobar [France] ; Guillaume Masson [France] ; Thierry Viéville [France] ; Pierre Kornprobst [France]Action Recognition Using a Bio-Inspired Feedforward Spiking Network
000B53 (2010-06-15) Guillaume Batog [France] ; Xavier Goaoc [France] ; Jean Ponce [France]Admissible Linear Map Models of Linear Cameras
000B76 (2002) Philippe Flajolet [France] ; Bruno Salvy [France] ; Gilles Schaeffer [France]Airy Phenomena and Analytic Combinatorics of Connected Graphs
000B83 (2010-05-26) Faugere Jean-Charles [France] ; Pierre-Jean Spaenlehauer [France]Algebraic Cryptanalysis of the PKC'09 Algebraic Surface Cryptosystem
000C35 (2014-06-19) Laurence Danlos [France] ; Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]An ACG Analysis of the G-TAG Generation Process
000C36 (2014-06-18) Laurence Danlos [France] ; Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]An ACG View on G-TAG and Its g-Derivation
000D56 (2015-08-02) Ranjan Jha [France] ; Damien Chablat [France] ; Fabrice Rouillier [France] ; Guillaume Moroz [France]An algebraic method to check the singularity-free paths for parallel robots
000D92 (2009-06-29) Liliana Cucu-Grosjean [France] ; Yves Sorel [France]An exact schedulability test for real-time dependant periodic task systems with latency constraints
001052 (2014-05-18) Steve Kremer [France] ; Robert Künnemann [France]Automated Analysis of Security Protocols with Global State
001268 (2008-06-26) Sandrine Chemla [France] ; Thierry Viéville [France] ; Frederic Chavane [France]Biophysical cortical column model for optical signal analysis

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "INRIA Paris-Rocquencourt" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "INRIA Paris-Rocquencourt" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    INRIA Paris-Rocquencourt
}}
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