Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Déposer
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Structure : Identifiant HAL de la structure ×
Auteur : IdHal (chaîne de caractères) ×
Tous ×
20 résultats
enregistrer la recherche
Type de document
Rapport
(11)
Communication dans un congrès
(8)
Article dans une revue
(1)
Auteur
Sébastien Tixeuil
(20)
Nathalie Mitton
(6)
Stéphane Devismes
(5)
Isabelle Guérin Lassous
(4)
Bruno Sericola
(4)
Katy Paroux
(3)
Maria Gradinariu Potop-Butucaru
(3)
William Hoarau
(3)
Eric Fleury
(2)
Samuel Bernard
(2)
Thomas Hérault
(2)
Toshimitsu Masuzawa
(2)
Eric Fleury
(2)
Anurag Dasgupta
(1)
Eric Rodriguez
(1)
Fabien Vauchelles
(1)
Fabiola Greve
(1)
Fredrik Manne
(1)
Laurence Pilard
(1)
Masafumi Yamashita
(1)
Michaël Cadilhac
(1)
Mikhail Nesterenko
(1)
Morten Mjelde
(1)
Pierre Lemarinier
(1)
Richard Lassaigne
(1)
Sukumar Ghosh
(1)
Swan Dubois
(1)
Sylvain Peyronnet
(1)
Sylvie Delaët
(1)
Johanne Cohen
(1)
Lélia Blin
(1)
Discipline
Informatique [cs]
(20)
Mathématiques [math]
(2)
Structure
Inria Saclay - Ile de France
(20)
Laboratoire d'Informatique Fondamentale de Lille
(20)
Laboratoire de Recherche en Informatique
(20)
Laboratoire d'Informatique de Paris 6
(7)
Institut de Recherche en Informatique et Systèmes Aléatoires
(5)
Inria Grenoble - Rhône-Alpes
(4)
Inria Lille - Nord Europe
(4)
Inria Paris-Rocquencourt
(4)
Inria Rennes – Bretagne Atlantique
(4)
Laboratoire de Mathématiques de Besançon
(3)
CITI Centre of Innovation in Telecommunications and Integration of services
(2)
Department of Information and Computer sciences
(2)
Laboratoire de l'Informatique du Parallélisme
(2)
VERIMAG
(2)
Centre d'Innovation en Télécommunications et Intégration de services
(1)
Computer Science Department
(1)
Department of Computer Science
(1)
Department of Informatics
(1)
Department of computer science
(1)
EPITA Research and Development Laboratory
(1)
INRIA Rennes
(1)
Informatique, Biologie Intégrative et Systèmes Complexes
(1)
Inria Nancy - Grand Est
(1)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(1)
Theoretical Computer Science Group
(1)
Collection
CENTRALESUPELEC
(20)
CNRS
(20)
INRIA
(20)
INRIA-SACLAY
(20)
INRIA_TEST
(20)
UMR8623
(20)
UNIV-LILLE3
(20)
UNIV-PSUD
(20)
LARA
(11)
INRIA2
(8)
INRIA-RRRT
(7)
LIP6
(7)
UPMC
(7)
UPMC_POLE_1
(6)
INRIA-RENNES
(5)
IRISA
(5)
IRISA_SET
(5)
UNIV-RENNES1
(5)
UR1-HAL
(5)
UR1-MATH-STIC
(5)
UR1-UFR-ISTIC
(5)
ENS-RENNES
(4)
INRIA-LILLE
(4)
INRIA-RHA
(4)
INSTITUT-TELECOM
(4)
IRCICA
(4)
IRISA-D2
(4)
UNIV-UBS
(4)
GRID5000
(3)
TDS-MACS
(3)
UMR6623
(3)
UNIV-FCOMTE
(3)
ENS-LYON
(2)
IMAG
(2)
INSA-LYON
(2)
INSMI
(2)
LIP
(2)
UGA
(2)
UNIV-GRENOBLE1
(2)
ALGOTEL2007
(1)
ALGOTEL2009
(1)
AVOCS06
(1)
IBISC
(1)
INRIA-LORRAINE
(1)
INRIA-NANCY-GRAND-EST
(1)
INSA-RENNES
(1)
LORIA
(1)
LORIA-FM
(1)
LORIA2
(1)
UNIV-EVRY
(1)
UNIV-LORRAINE
(1)
Langue
anglais
(17)
français
(3)
Type de dépôt
Document
(15)
Notice
(5)
Année
2010
(1)
2009
(1)
2008
(6)
2007
(4)
2006
(5)
2005
(3)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 20 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00600336
v1
Communication dans un congrès
Nathalie Mitton
,
Eric Fleury
,
Isabelle Guérin Lassous
,
Sébastien Tixeuil
.
Auto-stabilisation dans les réseaux ad hoc.
7e Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel)
, May 2005, Presqu'ile de giens, France. 2005
inria-00176959
v1
Communication dans un congrès
Fabiola Greve
,
Sébastien Tixeuil
.
Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
, May 2007, Ile d'Oléron, France. pp.67-70, 2007
inria-00484645
v2
Rapport
Swan Dubois
,
Toshimitsu Masuzawa
,
Sébastien Tixeuil
.
Bounding the Impact of Unbounded Attacks in Stabilization
[Research Report] 2010, pp.20
inria-00340805
v1
Rapport
Stéphane Devismes
,
Toshimitsu Masuzawa
,
Sébastien Tixeuil
.
Communication Efficiency in Self-stabilizing Silent Protocols
[Research Report] RR-6731, INRIA. 2008, pp.33
inria-00166547
v2
Rapport
Lélia Blin
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
.
On the Self-stabilization of Mobile Robots in Graphs
[Research Report] RR-6266, INRIA. 2007, pp.23
inria-00248465
v2
Rapport
Sylvie Delaët
,
Stéphane Devismes
,
Mikhail Nesterenko
,
Sébastien Tixeuil
.
Snap-Stabilization in Message-Passing Systems
[Research Report] RR-6446, INRIA. 2008, pp.29
inria-00277661
v2
Rapport
Samuel Bernard
,
Stéphane Devismes
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
.
Bounds for self-stabilization in unidirectional networks
[Research Report] RR-6524, INRIA. 2008, pp.24
hal-00699867
v1
Rapport
William Hoarau
,
Sébastien Tixeuil
,
Fabien Vauchelles
.
Easy fault injection and stress testing with FAIL-FCI
[Research Report] RR1421, 2006, pp.20
inria-00189952
v2
Rapport
Stéphane Devismes
,
Sébastien Tixeuil
,
Masafumi Yamashita
.
Weak vs. Self vs. Probabilistic Stabilization
[Research Report] RR-6366, INRIA. 2007
inria-00078183
v1
Rapport
Thomas Hérault
,
William Hoarau
,
Pierre Lemarinier
,
Eric Rodriguez
,
Sébastien Tixeuil
.
FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?
[Research Report] 1450, 2006, pp.26
inria-00127899
v2
Rapport
Fredrik Manne
,
Morten Mjelde
,
Laurence Pilard
,
Sébastien Tixeuil
.
A New Self-Stabilizing Maximal Matching Algorithm
[Research Report] RR-6111, INRIA. 2007, pp.17
inria-00089494
v1
Communication dans un congrès
Michaël Cadilhac
,
Thomas Hérault
,
Richard Lassaigne
,
Sylvain Peyronnet
,
Sébastien Tixeuil
.
Evaluating complex MAC protocols for sensor networks with APMC
Stephan Merz and Tobias Nipkow.
Automatic Verification of Critical Systems
, Sep 2006, Nancy/France, pp.35-47, 2006
hal-00684889
v1
Communication dans un congrès
William Hoarau
,
Sébastien Tixeuil
.
A language-driven tool for fault injection in distributed applications
Proceedings of the IEEE/ACM Workshop GRID 2005
, Nov 2005, Seattle, United States. 2005,
<10.1109/GRID.2005.1542742>
hal-00383834
v1
Communication dans un congrès
Nathalie Mitton
,
Eric Fleury
,
Isabelle Guérin Lassous
,
Bruno Sericola
,
Sébastien Tixeuil
.
Fast Convergence in Self-stabilizing Wireless Networks.
12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA
, Jul 2006, Mineapolis, United States. pp.31-38, 2006
hal-00383720
v1
Communication dans un congrès
Nathalie Mitton
,
Eric Fleury
,
Isabelle Guérin Lassous
,
Sébastien Tixeuil
.
Self-stabilization in self-organized multihop wireless networks
Workshop on Wireless ad hoc Networking (WWAN'05),
, Jun 2005, Columbus, United States. pp.909-915, 2005
inria-00600298
v1
Communication dans un congrès
Nathalie Mitton
,
Eric Fleury
,
Isabelle Guérin Lassous
,
Bruno Sericola
,
Sébastien Tixeuil
.
Etude de convergence dans les réseaux sans fil
8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
, May 2006, Trégastel, France. 2006
inria-00239348
v5
Rapport
Nathalie Mitton
,
Katy Paroux
,
Bruno Sericola
,
Sébastien Tixeuil
.
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks
[Research Report] RR-6443, INRIA. 2008, pp.12
inria-00241842
v1
Rapport
Nathalie Mitton
,
Katy Paroux
,
Bruno Sericola
,
Sébastien Tixeuil
.
Ascending runs in dependent uniformly distributed random variables : Application to wireless networks
[Research Report] PI 1883, 2008, pp.12
inria-00384649
v2
Communication dans un congrès
Samuel Bernard
,
Stéphane Devismes
,
Katy Paroux
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
.
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
Chaintreau, Augustin and Magnien, Clemence.
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009)
, Jun 2009, Carry-Le-Rouet, France. 2009
inria-00335919
v1
Article dans une revue
Johanne Cohen
,
Anurag Dasgupta
,
Sukumar Ghosh
,
Sébastien Tixeuil
.
An Exercise in Selfish Stabilization
ACM Transactions on Autonomous and Adaptive Systems
, Association for Computing Machinery (ACM), 2008, 3 (4), pp.Article 15.
<10.1145/1452001.1452005>
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 20 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.