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 ×
33 résultats
enregistrer la recherche
Type de document
Rapport
(33)
Auteur
Michel Banâtre
(10)
Eric Fabre
(6)
Frédéric Weis
(6)
Albert Benveniste
(4)
Anne Bouillard
(4)
Claude Jard
(4)
Julien Pauty
(4)
Arnaud Troël
(3)
Eric Thierry
(3)
Loïc Hélouët
(3)
Paul Couderc
(3)
Stefan Haar
(3)
David Touzet
(2)
Thomas Chatain
(2)
Adlen Ksentini
(1)
Agnes Madalinski
(1)
Anne-Marie Kermarrec
(1)
Arnaud Guiton
(1)
Bruno Tuffin
(1)
Ciaran Bryce
(1)
Cyril Ray
(1)
Cédric Motsch
(1)
Debmalya Biswas
(1)
Erwan Le Merrer
(1)
Gilbert Cabillic
(1)
Jean-Marie Bonnin
(1)
Jean-Paul Routeau
(1)
Jose Blanchet
(1)
Kandaraj Piamrat
(1)
Krishnamurthy Vidyasankar
(1)
Mazen Tlais
(1)
Michel Pawlak
(1)
Peter Glynn
(1)
Pierre L'Ecuyer
(1)
Sidney Rosario
(1)
Stéphane Laurière
(1)
Sébastien Lagrange
(1)
Thomas Gazagnaire
(1)
Bruno Gaujal
(1)
Gilles Trédan
(1)
Samy Abbes
(1)
Bruno Sericola
(1)
César Viho
(1)
Discipline
Informatique [cs]
(33)
Structure
Inria Rennes – Bretagne Atlantique
(33)
Institut de Recherche en Informatique et Systèmes Aléatoires
(33)
Laboratoire de l'Informatique du Parallélisme
(3)
Centre Universitaire d'Informatique
(1)
Department of Computer Science - St. John's
(1)
Department of Management Science and Engineering [Stanford]
(1)
Département d'Informatique et de Recherche Opérationnelle [Montreal]
(1)
GET|ENST - Département Réseaux, Sécurité et Multimédia
(1)
Harvard University Statistics Department
(1)
Inria Grenoble - Rhône-Alpes
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire d'Ingéniérie des Systèmes Automatisés
(1)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(1)
Mandriva S.A.
(1)
Collection
IRISA-D2
(33)
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)
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)
UNIV-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
(27)
français
(6)
Type de dépôt
Document
(33)
Année
2008
(5)
2007
(6)
2005
(11)
2004
(5)
2003
(5)
2002
(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
1
2
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 33 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00077535
v2
Rapport
Eric Fabre
,
Albert Benveniste
.
Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them
[Research Report] RR-5916, INRIA. 2007, pp.38
inria-00274193
v2
Rapport
Michel Pawlak
,
Ciaran Bryce
,
Stéphane Laurière
.
The Practice of Free and Open Source Software Processes
[Research Report] RR-6519, INRIA. 2008, pp.42
inria-00156525
v2
Rapport
Debmalya Biswas
,
Krishnamurthy Vidyasankar
.
Formalizing Visibility Characteristics in Hierarchical Systems
[Research Report] RR-6225, INRIA. 2007
inria-00214235
v2
Rapport
Anne Bouillard
,
Bruno Gaujal
,
Sébastien Lagrange
,
Eric Thierry
.
Optimal routing for end-to-end guarantees using Network Calculus
[Research Report] RR-6423, INRIA. 2008, pp.20
inria-00123643
v2
Rapport
Anne Bouillard
,
Eric Thierry
.
An Algorithmic Toolbox for Network Calculus
[Research Report] RR-6094, INRIA. 2007, pp.44
inria-00123709
v2
Rapport
Anne Bouillard
,
Eric Thierry
.
Some examples and counterexamples for (min,+) filtering operations
[Research Report] RR-6095, INRIA. 2007, pp.14
inria-00258507
v4
Rapport
Kandaraj Piamrat
,
César Viho
,
Adlen Ksentini
,
Jean-Marie Bonnin
.
Resource Management in Mobile Heterogeneous Networks: State of the Art and Challenges
[Research Report] RR-6459, INRIA. 2008
inria-00204548
v3
Rapport
Agnes Madalinski
,
Eric Fabre
.
Modular construction of finite and complete prefixes of Petri net unfoldings
[Research Report] RR-6412, INRIA. 2007
inria-00000370
v2
Rapport
Loïc Hélouët
.
Weakening the Weak Sequential Composition in Scenarios
[Research Report] RR-6262, INRIA. 2005, pp.28
inria-00070562
v1
Rapport
Julien Pauty
,
Paul Couderc
,
Michel Banâtre
.
Atomic token passing in the context of spontaneous communications
[Research Report] RR-5445, INRIA. 2005, pp.20
inria-00070750
v1
Rapport
Stefan Haar
.
Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics
[Research Report] RR-5248, INRIA. 2004, pp.25
inria-00276627
v2
Rapport
Anne Bouillard
,
Sidney Rosario
,
Albert Benveniste
,
Stefan Haar
.
Monotony in Service Orchestrations
[Research Report] RR-6528, INRIA. 2008
inria-00070243
v1
Rapport
Thomas Chatain
,
Loïc Hélouët
,
Claude Jard
.
On the use of unfoldings to abstract communicating automata into sets of scenarios
[Research Report] RR-5778, INRIA. 2005, pp.23
inria-00070282
v1
Rapport
Thomas Gazagnaire
,
Loïc Hélouët
,
Claude Jard
.
Online Abstraction of Distributed Executions
[Research Report] RR-5736, INRIA. 2005, pp.28
inria-00070310
v1
Rapport
Thomas Chatain
,
Claude Jard
.
Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets
[Research Report] RR-5706, INRIA. 2005, pp.19
inria-00070296
v1
Rapport
Eric Fabre
.
On the construction of pullbacks for safe Petri nets
[Research Report] RR-5722, INRIA. 2005, pp.13
inria-00070452
v1
Rapport
Eric Fabre
.
Trellis Processes : a Compact Representation for Runs of Concurrent Systems
[Research Report] RR-5554, INRIA. 2005, pp.34
inria-00070511
v1
Rapport
Julien Pauty
,
Paul Couderc
,
Michel Banâtre
.
Using Context to Combine Virtual and Physical Navigation
[Research Report] RR-5496, INRIA. 2005, pp.15
inria-00070555
v1
Rapport
Arnaud Guiton
,
Michel Banâtre
.
An experimental study of Java objects behaviour for mobile architectures
[Research Report] RR-5452, INRIA. 2005, pp.24
inria-00071640
v1
Rapport
Arnaud Troël
,
Frédéric Weis
,
Michel Banâtre
.
Représentation du voisinage physique dans les interactions de proximité
[Rapport de recherche] RR-4939, INRIA. 2003
inria-00071743
v1
Rapport
Albert Benveniste
,
Stefan Haar
,
Eric Fabre
,
Claude Jard
.
Distributed monitoring of concurrent and asynchronous systems---extended version
[Research Report] RR-4842, INRIA. 2004
inria-00071760
v1
Rapport
Julien Pauty
,
Gilbert Cabillic
.
Local Checkpointing for Embedded Java Applications
[Research Report] RR-4826, INRIA. 2003
inria-00071489
v1
Rapport
Julien Pauty
,
Paul Couderc
,
Michel Banâtre
.
Synthèse des méthodes de programmation en informatique contextuelle
[Rapport de recherche] RR-5094, INRIA. 2004
inria-00071599
v1
Rapport
Arnaud Troël
,
Frédéric Weis
,
Michel Banâtre
.
Découverte automatique entre terminaux mobiles communicants
[Rapport de recherche] RR-4979, INRIA. 2003
inria-00071402
v1
Rapport
Eric Fabre
.
Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case
[Research Report] RR-5186, INRIA. 2004
inria-00071806
v1
Rapport
David Touzet
,
Frédéric Weis
,
Michel Banâtre
.
PERSEND : Enabling Continuous Queries in Proximate Environments
[Research Report] RR-4780, INRIA. 2003
inria-00070655
v1
Rapport
Samy Abbes
,
Albert Benveniste
.
Branching cells as local states for event structures and nets: probabilistic applications
[Research Report] RR-5347, INRIA. 2004, pp.24
inria-00070380
v1
Rapport
Mazen Tlais
,
Frédéric Weis
.
Mobility prediction in 4G D-Cov Networks
[Research Report] RR-5628, INRIA. 2005, pp.23
inria-00071866
v1
Rapport
Arnaud Troël
,
Frédéric Weis
,
Michel Banâtre
.
Prise en compte du mouvement dans les systèmes de communication sans-fil
[Rapport de recherche] RR-4720, INRIA. 2003
inria-00072098
v1
Rapport
David Touzet
,
Frédéric Weis
,
Michel Banâtre
.
Accès à l'Information en Ubiquité Numérique
[Rapport de recherche] RR-4490, INRIA. 2002
1
2
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 33 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.