AffVille.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « AffVille.i » - entrée « Palaiseau »
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.
POLITIERS < Palaiseau < Paris  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 22.
[0-20] [0 - 20][0 - 22][20-21][20-40]
Ident.Authors (with country if any)Title
000596 (2011) Bernadette Charron-Bost [France] ; Henri Debrat [France] ; Stephan Merz [France]Formal Verification of Consensus Algorithms Tolerating Malicious Faults
000626 (2011) Pierrick Gaudry [France] ; David Kohel [France] ; Benjamin Smith [France]Counting Points on Genus 2 Curves with Real Multiplication
000794 (2010) Olivier Bournez [France] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France]Robust Computations with Dynamical Systems
000840 (2010) P. De Saqui-Sannes [France] ; T. Villemur [France] ; B. Fontan [France] ; S. Mota [Mexique] ; M. S. Bouassida [France] ; N. Chridi [France] ; I. Chrisment [France] ; L. Vigneron [France]Formal verification of secure group communication protocols modelled in UML
000B21 (2009) Frank Nielsen [France, Japon]Abstracts of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing
000B28 (2009) Simon Kramer [France, Suisse] ; Julian C. Bradfield [Royaume-Uni]A general definition of malware
000B32 (2009) Mouna Chaouch-Saad [Tunisie] ; Bernadette Charron-Bost [France] ; Stephan Merz [France]A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
000D25 (2008) Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]The Computability Path Ordering: The End of a Quest
000D75 (2008) Mamadou Mboup [France] ; Cédric Join [France] ; Michel Fliess [France, États-Unis]Numerical differentiation with annihilators in noisy environment
001041 (2007) Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]HORPO with Computability Closure: A Reconstruction
001096 (2007) Andreas Enge [France] ; Pierrick Gaudry [France]An L (1/3 +  ε ) Algorithm for the Discrete Logarithm Problem for Low Degree Curves
001229 (2006) P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France]The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
001323 (2006) Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]Higher-Order Termination: From Kruskal to Computability
001554 (2005) Maribel Fernández [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France]Lambda-Calculus with Director Strings
001971 (2003) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Theorem Proving Modulo
001E26 (2001) Fabrice Rouillier [France] ; Mohab Safey El Din [France] ; Éric Schost [France]Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
001F25 (2001) Jean-Christophe Novelli [France] ; Gilles Schaeffer [France] ; Florent Hivert [France]Approximation of a Direction of N d in Bounded Coordinates
002150 (2000) Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France]Factorization of a 512-Bit RSA Modulus
002709 (1997) Didier Demange [France] ; Pierre Beauchêne [France] ; Michel Bejet [France] ; Robert Casulleras [France]Mesure simultanée de la diffusivité thermique selon les deux directions principales d'un matériau
003503 (1987) Maurice Guron [France] ; Michel Kochoyan [France] ; Jean-Louis Leroy [France]A single mode of DNA base-pair opening drives imino proton exchange
003671 (1985) Y. Gilibert [France] ; A. RigolotThéorie élastique de l'assemblage collé à double recouvrement: utilisation de la méthode des développements asymptotiques raccordés au voisinage des extrémités

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffVille.i -k "Palaiseau" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffVille.i  \
                -Sk "Palaiseau" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Palaiseau
}}
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