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
Sous-domaine niveau 1 ×
collCode_s ×
Tous ×
96 résultats
enregistrer la recherche
Type de document
Thèse
(94)
HDR
(2)
Auteur
Abir Ghorayeb
(1)
Ana Shirley Ferreira da Silva
(1)
André Saint-Joanis
(1)
Aurore Annichini Collomb
(1)
Ayman Wahba
(1)
Benjamin Lévêque
(1)
Camille Bellissant
(1)
Catherine Bayol
(1)
Catherine Berrut
(1)
Cong-Phap Huynh
(1)
Cyril Alexandre Pachon
(1)
D. Toma
(1)
Daoud Daoud
(1)
David Merchat
(1)
Dejan Nickovic
(1)
Denis Bouhineau
(1)
Dominique Mille
(1)
Emmanuel Planas
(1)
Eric Bittar
(1)
Etienne Denoual
(1)
Faical Azouaou
(1)
Franck Fourel
(1)
François Exertier
(1)
Frédéric Boyer
(1)
Frédéric Huguet
(1)
Gabrièle Saucier
(1)
Gaëtan Rey
(1)
Gilles Kuntz
(1)
Gloria Cortés Buitrago
(1)
Hector Ruiz Barradas
(1)
Hubert Garavel
(1)
Hugo Venturini
(1)
Iadh Ounis
(1)
Isabelle Crampé
(1)
J. Dushina
(1)
Jean-Jacques Dahan
(1)
Jean-Philippe Pernin
(1)
Joris Deguet
(1)
Jose Celsio Freire Junior
(1)
Joseph Sifakis
(1)
José-Luis Zechinelli-Martini
(1)
Julien Moncel
(1)
Jérémy Bluteau
(1)
Karen De Polignac
(1)
L. Kriaa
(1)
Laya Madani
(1)
Leila Kefi-Khelif
(1)
Louis Bolliet
(1)
Loïc Maisonnasse
(1)
Luis Villasenor-Pineda
(1)
M. Boubekeur
(1)
Manuele Kirsch Pinheiro
(1)
Mbarek Charhad
(1)
Meriam Horchani
(1)
Nabil Layaïda
(1)
Najeh Hajlaoui
(1)
Nathalie Colineau
(1)
Nicolas Coste
(1)
Nicolas Trotignon
(1)
Norbert Noury
(1)
Olga Kouchnarenko
(1)
Ouafa Hachani
(1)
P. Georgelin
(1)
Peter Habermehl
(1)
Philippe Bochu
(1)
Philippe Gabrini
(1)
Pierre Rumeau
(1)
Razan Taher
(1)
Rym Salem Habermehl
(1)
Samuel Drulhe
(1)
Slim Turki
(1)
Sophie Soury-Lavergne
(1)
Stéphane Bonhomme
(1)
Sébastien Bornot
(1)
Tan Tien Ping
(1)
Vincent Aravantinos
(1)
Vincent Berment
(1)
Wang-Ju Tsai
(1)
Yann Menguy
(1)
Yannick Fouquet
(1)
Yves-Pol Denielou
(1)
Achille Falaise
(1)
Delphine Bernhard
(1)
Julie Bourbeillon
(1)
Laure Gonnord
(1)
Marin Bougeret
(1)
Mathieu Mangeot
(1)
Maud Marchal
(1)
Ioan Marius Bilasco
(1)
Paul Dorbec
(1)
Damien Pellier
(1)
Pierre Lemaire
(1)
Quentin L. Meunier
(1)
Raphaël Thierry
(1)
Anne Spalanzani
(1)
Dominique Vaufreydaz
(1)
Discipline
Informatique [cs]
(96)
Mathématiques [math]
(6)
domain_stic
(4)
Sciences du Vivant [q-bio]
(3)
Sciences de l'ingénieur [physics]
(2)
Physique [physics]
(1)
Sciences de l'Homme et Société
(1)
Structure
Communication Langagière et Interaction Personne-Système
(21)
Laboratoire d'Informatique de Grenoble
(14)
Inria Grenoble - Rhône-Alpes
(11)
Institut d'Informatique et de Mathématiques Appliquées de Grenoble
(9)
Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications [Grenoble]
(9)
VERIMAG
(9)
Laboratoire Logiciels Systèmes Réseaux
(8)
Laboratoire Leibniz
(7)
Techniques of Informatics and Microelectronics for integrated systems Architecture
(7)
ARTEMIS | IMAG
(3)
Laboratoire de Biométrie et Biologie Evolutive
(3)
Laboratoire de Génie Informatique
(2)
AGeing and IMagery
(1)
Equipe GEOD, Groupe d'étude sur l'oral et le dialogue
(1)
France Télécom Recherche & Développement
(1)
Inria Sophia Antipolis - Méditerranée
(1)
Institut Fourier
(1)
Laboratoire de Gérontechnologie La Grave | CHU de Toulouse | Gérontopôle | UMR 1027 Inserm Université Paul Sabathier Toulouse III
(1)
Laboratoire de Psychologie et NeuroCognition
(1)
Laboratoire des sciences pour la conception, l'optimisation et la production
(1)
MAGMA
(1)
MATIS
(1)
« Mathématiques et Informatique : Géométrie dynamique »
(1)
Collection
UJF
(96)
INRIA
(11140)
CNRS
(10391)
LARA
(6951)
INRIA-RRRT
(6160)
INRIA_TEST
(5251)
LORIA2
(3589)
UNIV-LORRAINE
(3344)
LORIA
(3279)
INPL
(3252)
INRIA-NANCY-GRAND-EST
(3221)
INRIA-LORRAINE
(3189)
INRIA-SOPHIA
(1996)
INRIASO
(1982)
INRIA2
(1806)
UR1-MATH-STIC
(1559)
UNIV-RENNES1
(1546)
UR1-HAL
(1545)
UR1-UFR-ISTIC
(1542)
IRISA
(1525)
IRISA_SET
(1522)
STAR
(1279)
INSA-RENNES
(1158)
LABRI
(1121)
UNIV-BORDEAUX
(1118)
ENSEIRB
(1102)
INRIA-ROCQ
(1070)
INRIA-RHA
(1038)
UGA
(971)
UNIV-GRENOBLE1
(892)
UNIV-BORDEAUX1
(753)
PARISTECH
(634)
INSTITUT-TELECOM
(608)
UNIV-PARIS1
(594)
CRI
(581)
UPMC
(471)
IMAG
(435)
ENS-LYON
(426)
LIP
(410)
UNICE
(403)
TESTANNE
(387)
INPG
(341)
INRIA-SACLAY
(341)
CENTRALESUPELEC
(340)
GRID5000
(335)
LABO-LORIA-SET
(331)
PSL
(320)
UNIV-PMF_GRENOBLE
(314)
I3S
(313)
SHS
(313)
PRUNEL
(296)
TESTBORDEAUX
(296)
UNIV-PSUD
(292)
MIPS
(291)
LIRMM
(289)
UNIV-AMU
(289)
LIG
(283)
ENPC
(276)
UPMC_POLE_1
(259)
USPC
(256)
ENS-CACHAN
(243)
ENSAM
(239)
INSMI
(239)
UNIV-LILLE3
(221)
UNIV-UBS
(218)
ENS-RENNES
(215)
UNIV-NANTES
(199)
LIG_SRCPR
(194)
UNIV-PARIS7
(186)
TDS-MACS
(178)
UNIV-BORDEAUX2
(177)
INRIA-RENNES
(172)
LIP6
(172)
IRCAM
(171)
UPEC-UPEM
(171)
ENS-PARIS
(170)
UNIV-TLSE3
(169)
STMS
(168)
UMR8623
(164)
UNIV-TLN
(157)
AO-MUSICOLOGIE
(153)
LABRI-MABIOVIS
(153)
LIFL
(153)
DTIP
(152)
X
(149)
X-DEP
(149)
LSIS
(148)
DIEUDONNE
(147)
INRA
(145)
CRISTAL
(138)
INSA-LYON
(134)
UNIV-LYON2
(132)
UNIV-TLSE2
(120)
UNIV-FCOMTE
(116)
UNAM
(115)
AGROPOLIS
(113)
UNIV-BM
(110)
TELECOM-SUDPARIS
(108)
UNIV-BM-THESE
(108)
ENSMM
(103)
FEMTO-ST
(103)
INRIA-BORDEAUX
(103)
PRES_CLERMONT
(102)
IRISA-D2
(100)
UNIV-LYON1
(97)
IRISA-D4
(96)
PASTEL
(96)
CV_LIGM
(94)
INRIA-LILLE
(94)
LIAFA
(93)
UNIV-BPCLERMONT
(93)
UNIV-PARIS13
(93)
ENSMP
(90)
SMS
(90)
UNIV-BOURGOGNE
(90)
EC-NANTES
(89)
OPENAIRE
(88)
TIMC-IMAG
(87)
UNIV-MLV
(87)
AGREENIUM
(86)
LINA
(86)
EC-LYON
(85)
UNIV-CLERMONT1
(85)
IRCCYN
(83)
LIGM
(83)
SIGMA-CLERMONT
(83)
UNIV-ORLEANS
(82)
DTIP2008
(81)
TIMC-IMAG-GMCAO
(80)
LE2I
(77)
UPEC
(77)
LIMOS
(76)
UCA-TEST
(76)
UR1-THESES
(75)
MSL
(74)
ENSTA
(73)
BIOENVIS
(71)
CLEMU-THESES
(71)
DTIP2007
(71)
UNIV-PARIS-SACLAY
(67)
ENSI-BOURGES
(66)
CV_UNIV-MLV
(65)
LIRIS
(64)
UVSQ
(64)
CEA
(63)
THESES-ENS-LYON
(62)
ENPC-LIGM
(61)
INRIA-FUTURS
(60)
COMUE-NORMANDIE
(58)
UNIV-PAU
(58)
CRISTAL-NOCE
(57)
IECN
(57)
AIV
(55)
ENSMP_CMA
(55)
IRCCYN-STR
(55)
LIF
(55)
UNIV-ST-ETIENNE
(55)
GIP-BE
(54)
LIESP
(54)
PRISM
(53)
THESES-EN-LIGNE-DAGROCAMPUS-OUEST
(53)
INSA-TOULOUSE
(52)
IRISA-D1
(51)
IRISA-D5
(50)
MFCA
(50)
DIEUDONNE-EDP-AN
(49)
LIX
(49)
UNIV-COMPIEGNE
(49)
IRISA-INSA-R
(48)
X-DEP-INFO
(47)
X-LIX
(47)
LIPN
(46)
HEUDIASYC
(45)
MERE
(45)
AO-ECONOMIE
(44)
CNAM
(42)
THESES-UPMC
(42)
IN2P3
(41)
MINES-NANTES
(41)
U-BORDEAUX
(41)
MSL-THESE
(40)
UNIV-AVIGNON
(40)
THESES-ENS-CACHAN
(39)
TIMA
(39)
CRISTAL-FOX
(38)
IRCCYN-MEFORBIO
(38)
IRISA-D3
(38)
LIMSI
(38)
UNIV-STRASBG
(38)
IRCCYN-MOVES
(37)
ARITH
(35)
DRT
(35)
ENST
(35)
LAHC
(35)
LIG_TDCGE_GETALP
(35)
UNIV-ROUEN
(35)
IMB
(34)
INSU
(34)
LIX_EMC
(34)
LSIS-GMOD
(34)
Langue
français
(90)
anglais
(6)
Type de dépôt
Document
(96)
Année
2010
(9)
2009
(2)
2008
(7)
2007
(8)
2006
(10)
2005
(10)
2004
(8)
2002
(2)
2001
(5)
1999
(5)
1998
(8)
1997
(8)
1996
(2)
1995
(2)
1991
(1)
1989
(2)
1974
(1)
1973
(1)
1970
(2)
1967
(1)
1964
(1)
1951
(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
3
4
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 96 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00250225
v1
Thèse
Laya Madani
.
Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français
tel-00300459
v1
Thèse
Leila Kefi-Khelif
.
Un modèle général de recherche d?information : Application à la recherche de documents techniques par des professionnels
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français
tel-00181722
v1
Thèse
Paul Dorbec
.
Empilements et recouvrements en théorie des graphes
Mathématiques [math]. Université Joseph-Fourier - Grenoble I, 2007. Français
tel-00356107
v1
Thèse
Jean-Jacques Dahan
.
La démarche de découverte expérimentalement médiée par Cabri-Géomètre en mathématiques: un essai de formalisation à partir de l'analyse de démarches de résolutions de problèmes de boîtes noires
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
tel-00011762
v1
Thèse
Damien Pellier
.
Modèle dialectique pour la synthèse de plans
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
tel-00108495
v1
Thèse
Manuele Kirsch Pinheiro
.
Adaptation Contextuelle et Personnalisée de l'Information de Conscience de Groupe au sein des Systèmes d'Information Coopératifs
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français
tel-00011468
v1
Thèse
Dominique Mille
.
Modèles et outils logiciels pour l'annotation sémantiquede documentspédagogiques
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
tel-00825349
v1
Thèse
Pierre Rumeau
.
Etude par l'évaluation et l'analyse de risque des possibilités de mise en production de services basés sur les HIS
Autre [cs.OH]. Université de Grenoble, 2010. Français
tel-00337336
v1
Thèse
Najeh Hajlaoui
.
Multilinguïsation des systèmes de e-commerce traitant des énoncés spontanés en langue naturelle
Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2008. Français
tel-00133178
v1
Thèse
Hector Ruiz Barradas
.
Liveness Properties under Fairness Assumptions and Semantics of Systems in event B
Other [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. English
tel-00118602
v2
Thèse
Faical Azouaou
.
Modèles et outils d'annotations pour une mémoire personnelle de l'enseignant
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français
tel-00067785
v1
Thèse
Slim Turki
.
Des hyperclasses aux composants pour l'ingénierie des systèmes d'information
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I; University of Geneva, 2005. Français
tel-00294973
v1
Thèse
Tan Tien Ping
.
Automatic Speech Recognition for Non-Native Speakers
Other [cs.OH]. Université Joseph-Fourier - Grenoble I, 2008. English
tel-00011203
v2
Thèse
Cyril Alexandre Pachon
.
Une approche basée sur les modèles pour le test de robustesse
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
tel-00010293
v2
Thèse
Julien Moncel
.
Codes Identifiants dans les Graphes
domain_stic.theo. Université Joseph-Fourier - Grenoble I, 2005. Français
tel-00524533
v1
Thèse
Jérémy Bluteau
.
Evaluation des effets de l'ajout d'interfaces haptiques sur le suivi manuel de trajectoires
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2010. Français
tel-00011219
v1
Thèse
L. Kriaa
.
Modélisation et validation des systèmes hétérogènes : définition d'un modèle d'exécution
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
tel-00258072
v1
Thèse
Meriam Horchani
.
Vers une communication humain-machine naturelle : stratégies de dialogue et de présentation multimodales
domain_stic.inge. Université Joseph-Fourier - Grenoble I, 2007. Français
tel-00104174
v1
Thèse
D. Toma
.
Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français
tel-00206220
v3
Thèse
Ioan Marius Bilasco
.
Une approche sémantique pour la réutilisation et l'adaptation de donnée 3D
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français
tel-00012143
v1
Thèse
David Merchat
.
Réduction du nombre de variables en analyse de relations linéaires
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
tel-00112450
v1
Thèse
Ouafa Hachani
.
PATRONS DE CONCEPTION À BASE D'ASPECTS POUR L'INGÉNIERIE DES SYSTÈMES D'INFORMATION PAR RÉUTILISATION
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français
tel-00165224
v1
HDR
André Saint-Joanis
.
Les machines à calculer arithmétiques
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1951
tel-00610419
v1
Thèse
Yves-Pol Denielou
.
Alignement Multiple de Données Génomiques et Post-Génomiques : Approches Algorithmiques
Autre [cs.OH]. Université de Grenoble, 2010. Français
tel-00411957
v1
Thèse
Dejan Nickovic
.
Checking Timed and Hybrid Properties: Theory and Applications
Other [cs.OH]. Université Joseph-Fourier - Grenoble I, 2008. English
tel-00544757
v1
Thèse
Ana Shirley Ferreira da Silva
.
The b-chromatic number of some tree-like graphs
Other [cs.OH]. Université Joseph-Fourier - Grenoble I, 2010. English
tel-00095971
v1
Thèse
Yannick Fouquet
.
Modélisation des attentes en dialogue oral
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2004. Français
tel-00548196
v1
Thèse
Cong-Phap Huynh
.
Des suites de test pour la TA à un système d'exploitation de corpus alignés de documents et métadocuments multilingues, multiannotés et multimédia
Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2010. Français
tel-00293838
v1
Thèse
Joris Deguet
.
Intégration de l' émergence au sein des systèmes multi-agent Une étude appliquée à la recherche heuristique
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2008. Français
tel-00187797
v1
Thèse
Benjamin Lévêque
.
Coloration de graphes : structures et algorithmes
Mathématiques [math]. Université Joseph-Fourier - Grenoble I, 2007. Français
1
2
3
4
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 96 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.