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
Identifiant interne du contributeur/déposant ×
collCode_s ×
Tous ×
13 résultats
enregistrer la recherche
Type de document
Rapport
(13)
Auteur
Gilles Muller
(3)
Julia Lawall
(3)
Rémi Douence
(3)
Mario Südholt
(3)
Yoann Padioleau
(2)
Jacques Noyé
(2)
Alexander Bockmayr
(1)
Bruno De Fraine
(1)
Christiane Branlant
(1)
Christine Chevallereau
(1)
Davy Suvée
(1)
Etienne Memin
(1)
Frédéric Danna
(1)
Hidde De Jong
(1)
Jean-Pierre Verjus
(1)
Laurent Burgy
(1)
Luis Daniel Benavides Navarro
(1)
Mounir Tlili
(1)
Pascal Fradet
(1)
Pascale Sébillot
(1)
Patrick Héas
(1)
Patrick Valduriez
(1)
Paul Boucher
(1)
Pierre-Brice Wieber
(1)
René Rydhof Hansen
(1)
René Thoraval
(1)
Reza Akbarinia
(1)
W. Kokou Dedzoe
(1)
Wim Vanderperren
(1)
Damien Eveillard
(1)
Delphine Ropers
(1)
Didier Le Botlan
(1)
Esther Pacitti
(1)
Laurent Réveillère
(1)
Nicolas Papadakis
(1)
Thomas Corpetti
(1)
Discipline
Informatique [cs]
(13)
Sciences de l'ingénieur [physics]
(1)
Structure
Inria Rennes – Bretagne Atlantique
(9)
Institut de Recherche en Informatique et Systèmes Aléatoires
(3)
Department of computer Science [Copenhagen]
(2)
Inria Grenoble - Rhône-Alpes
(2)
Laboratoire d'Informatique de Nantes Atlantique
(2)
CEMAGREF
(1)
Cerlico [Nantes]
(1)
Département de Mathématiques et Informatique - Université de Nantes
(1)
Département informatique - EMN
(1)
Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
(1)
INRIA Futurs
(1)
INRIA Lorraine
(1)
INRIA Rennes
(1)
Institut de Recherche en Communications et en Cybernétique de Nantes
(1)
LA ou URA 227 - INRIA Rennes
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(1)
Laboratoire de Biométrie et Biologie Evolutive
(1)
Littoral, Environnement, Télédétection, Géomatique
(1)
Objets, Composants, Modèles - EMN
(1)
System and Software Engineering Lab
(1)
Collection
UNIV-NANTES
(13)
INRIA-RRRT
(6506)
INRIA
(6504)
LARA
(6475)
INRIA_TEST
(4177)
CNRS
(2814)
INRIA-SOPHIA
(1797)
INRIASO
(1790)
UR1-MATH-STIC
(1208)
IRISA
(1200)
UR1-UFR-ISTIC
(1200)
IRISA_SET
(1191)
UNIV-RENNES1
(1191)
UR1-HAL
(1191)
INSA-RENNES
(1060)
INRIA-ROCQ
(1006)
INRIA-RHA
(691)
INRIA-NANCY-GRAND-EST
(532)
INRIA-LORRAINE
(528)
LORIA2
(502)
INRIA2
(435)
PARISTECH
(422)
UNIV-LORRAINE
(340)
INPL
(298)
LORIA
(290)
UNICE
(268)
ENS-LYON
(255)
LIP
(251)
PRUNEL
(248)
I3S
(200)
UGA
(196)
INRIA-SACLAY
(193)
PSL
(186)
ENPC
(185)
INSMI
(175)
UNIV-GRENOBLE1
(166)
DIEUDONNE
(150)
TDS-MACS
(146)
IMAG
(135)
UNIV-PSUD
(133)
X
(117)
X-DEP
(117)
ENS-PARIS
(114)
UPMC
(105)
INSTITUT-TELECOM
(94)
ENS-CACHAN
(88)
INRIA-RENNES
(74)
ENSTA
(67)
BIOENVIS
(63)
ENSMP
(58)
UNIV-AMU
(58)
DIEUDONNE-EDP-AN
(52)
ENSMP_CMA
(52)
TESTBORDEAUX
(51)
UNIV-PMF_GRENOBLE
(51)
INSA-LYON
(49)
USPC
(48)
INRIA-FUTURS
(47)
UNIV-LILLE3
(47)
GRID5000
(46)
LIP6
(46)
UNIV-FCOMTE
(46)
ENSMM
(43)
FEMTO-ST
(43)
UNIV-BM
(43)
UNIV-BM-THESE
(43)
IRISA-INSA-R
(40)
LIG
(40)
LIG_SRCPR
(40)
UNIV-PARIS7
(38)
CENTRALESUPELEC
(36)
ENSEIRB
(36)
IECN
(36)
INRIA-LILLE
(36)
UNIV-BORDEAUX
(36)
LABRI
(35)
UPEC-UPEM
(34)
ENS-RENNES
(33)
IRISA-D2
(33)
UPEC
(32)
IRISA-D4
(31)
TESTANNE
(31)
CERMICS
(29)
CMA
(29)
CMA-THESE
(29)
AGREENIUM
(28)
INSU
(26)
UMR8623
(26)
LJLL
(25)
UPMC_POLE_1
(24)
DIEUDONNE-MN-DF
(23)
IRMAR
(23)
IRISA-D5
(22)
UNIV-UBS
(22)
AGROCAMPUS-OUEST
(20)
UNAM
(20)
IRMA
(19)
UNIV-STRASBG
(19)
ACACIA
(17)
IRISA-D7
(17)
LIX
(16)
UNIV-TLSE3
(15)
CV_LIGM
(14)
IRCICA
(14)
X-DEP-INFO
(14)
X-LIX
(14)
HERVETHERY
(13)
MINES-NANTES
(13)
CEREMADE
(12)
AOSTE
(11)
CMAP
(11)
DIEUDONNE-ATG
(11)
INFO
(11)
UMA_ENSTA
(11)
UNIV-METZ
(11)
UNIV-STRASBG1
(11)
UNIV-TLSE2
(11)
IMB
(10)
INPG
(10)
INRA
(10)
UVSQ
(10)
X-CMAP
(10)
X-DEP-MATHA
(10)
IRISA-D6
(9)
LIAFA
(9)
LINA
(9)
LJK
(9)
SMS
(9)
UNIV-PARIS13
(9)
CEA
(8)
CSS
(8)
CV_UNIV-MLV
(8)
EDF
(8)
IRISA-D1
(8)
LIRMM
(8)
MIPS
(8)
UCA-TEST
(7)
UNIV-PAU
(7)
IRMAR-AN
(6)
LINA-ASCOLA
(6)
LJK_MAD
(6)
UNIV-BREST
(6)
UNIV-LYON1
(6)
UNIV-ORLEANS
(6)
CRISTAL
(5)
LAAS
(5)
LIF
(5)
MSL
(5)
MSL-THESE
(5)
ASCLEPIOS
(4)
CIRAD
(4)
CRISTAL-DOLPHIN
(4)
ENIB
(4)
ENSSAT
(4)
ENST
(4)
IRMAR-STAT
(4)
LAB-STICC
(4)
LAB-STICC_ENIB
(4)
LAB-STICC_UBO
(4)
LAB-STICC_UBO_CACS
(4)
LIFL
(4)
LIM
(4)
LIX_EMC
(4)
UNIV-LEMANS
(4)
UNIV-PARIS5
(4)
UNIV-REUNION
(4)
UR2-HB
(4)
ARLES
(3)
DEMAR
(3)
EC-LILLE
(3)
EC-LYON
(3)
EMSE
(3)
FAYOL-ENSMSE
(3)
FRANCE-GRILLES
(3)
GALLIUM
(3)
IFR140
(3)
IFSTTAR
(3)
INRIA-BORDEAUX
(3)
INSA-TOULOUSE
(3)
ISCOD-ENSMSE
(3)
LAGIS
(3)
LIRIS
(3)
LJK_MAD_BIPOP
(3)
LJK_MAD_MOISE
(3)
MOVE
(3)
UMR6623
(3)
UNIV-AVIGNON
(3)
UNIV-EVRY
(3)
UNIV-LYON2
(3)
UNIV-MLV
(3)
UNIV-ST-ETIENNE
(3)
AGROCAMPUS-OUEST-IRMAR
(2)
AGROCAMPUS-OUEST-UMR-STLO
(2)
AGROPOLIS
(2)
ALGCO
(2)
AUTO
(2)
BIOSIT
(2)
CNAM
(2)
CNES
(2)
EC-NANTES
(2)
Langue
anglais
(12)
français
(1)
Type de dépôt
Document
(13)
Année
2008
(2)
2007
(2)
2006
(3)
2005
(1)
2004
(1)
2003
(1)
2002
(1)
1993
(1)
1985
(1)
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 13 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00123142
v2
Rapport
Yoann Padioleau
,
René Rydhof Hansen
,
Julia Lawall
,
Gilles Muller
.
Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers
[Research Report] RR-6090, INRIA. 2007
inria-00074699
v1
Rapport
Paul Boucher
,
Frédéric Danna
,
Pascale Sébillot
.
Compounds: an intelligent tutoring system for learning to use compounds in english
[Research Report] RR-1974, INRIA. 1993
inria-00273838
v2
Rapport
Thomas Corpetti
,
Patrick Héas
,
Etienne Memin
,
Nicolas Papadakis
.
Pressure image assimilation for atmospheric motion estimation
[Research Report] RR-6507, INRIA. 2008, pp.40
inria-00070702
v1
Rapport
Pierre-Brice Wieber
,
Christine Chevallereau
.
Online adaptation of reference trajectories for the control of walking systems
[Research Report] RR-5298, INRIA. 2004, pp.16
inria-00140964
v2
Rapport
Laurent Burgy
,
Laurent Réveillère
,
Julia Lawall
,
Gilles Muller
.
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
[Research Report] RR-6167, INRIA. 2007
inria-00270364
v2
Rapport
Mounir Tlili
,
W. Kokou Dedzoe
,
Esther Pacitti
,
Reza Akbarinia
,
Patrick Valduriez
.
P2P Logging and Timestamping for Reconciliation
[Research Report] RR-6497, INRIA. 2008
inria-00070251
v1
Rapport
Yoann Padioleau
,
Julia Lawall
,
Gilles Muller
.
Understanding Collateral Evolution in Linux Device Drivers
[Research Report] RR-5769, INRIA. 2005, pp.18
inria-00070188
v1
Rapport
Rémi Douence
,
Jacques Noyé
.
Towards a Concurrent Model of Event-based Aspect-Oriented Programming
[Research Report] RR-5838, INRIA. 2006, pp.11
inria-00071396
v1
Rapport
Rémi Douence
,
Didier Le Botlan
,
Jacques Noyé
,
Mario Südholt
.
Concurrent aspects
[Research Report] RR-5873, INRIA. 2006
inria-00071756
v1
Rapport
Damien Eveillard
,
Delphine Ropers
,
Hidde De Jong
,
Christiane Branlant
,
Alexander Bockmayr
.
A Multi-Site Constraint Programming Model of Alternative Splicing Regulation
[Research Report] RR-4830, INRIA. 2003
inria-00071386
v1
Rapport
Luis Daniel Benavides Navarro
,
Mario Südholt
,
Wim Vanderperren
,
Bruno De Fraine
,
Davy Suvée
.
Explicitly distributed AOP using AWED
[Research Report] RR-5882, INRIA. 2006
inria-00072153
v1
Rapport
Rémi Douence
,
Pascal Fradet
,
Mario Südholt
.
Detection and resolution of aspect interactions
[Research Report] RR-4435, INRIA. 2002
inria-00076142
v1
Rapport
Jean-Pierre Verjus
,
René Thoraval
.
Dérivation d'algorithmes distribués d'arbitrage
[Rapport de recherche] RR-0414, INRIA. 1985
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 13 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.