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 ×
94 résultats
enregistrer la recherche
Type de document
Thèse
(63)
Rapport
(15)
Communication dans un congrès
(7)
Article dans une revue
(5)
Chapitre d'ouvrage
(1)
HDR
(1)
Ouvrage (y compris édition critique et traduction)
(1)
Poster
(1)
Auteur
Didier Parigot
(7)
Laurent George
(7)
Étienne Duris
(7)
Gilles Roussel
(6)
Marie-France Sagot
(5)
Martin Jourdan
(5)
Pascale Minet
(5)
Julien Allali
(5)
Steven Martin
(4)
Jean-Eric Pin
(3)
Jean-Philippe Pons
(3)
Renaud Keriven
(3)
Dominique Perrin
(2)
Loïc Correnson
(2)
Nicolas Rivierre
(2)
Olivier Carton
(2)
Patrick Labatut
(2)
Alberto Dennunzio
(1)
Alessio Langiu
(1)
Anastasia Yannacopoulou
(1)
Anna Maria Jezierska
(1)
Anne-Laure Chauve
(1)
Anthony Giroud
(1)
Anthony Sigogne
(1)
Antoine Mercier
(1)
Benjamin Raynal
(1)
Benoît Masson
(1)
Bruno Petazzoni
(1)
Burak Arslan
(1)
Camille Couprie
(1)
Christian Steinmetz
(1)
Cristiana Ciocanea
(1)
Damien Masson
(1)
David Ok
(1)
Dietmar Hildenbrand
(1)
Du-Eun Eum
(1)
Elena Florian
(1)
Eun Jin Jung
(1)
Fabio Augusto Salve Dias
(1)
Fadi Yaacoub
(1)
Florian Sikora
(1)
François De Sorbier de Pougnadoresse
(1)
Frédéric Fauberteau
(1)
Gautier Loyauté
(1)
Gohsran Chung
(1)
Harold Phelippeau
(1)
Hoang Hiep Vu
(1)
Hoang-Hiep Vu
(1)
Hyun Gue Huh
(1)
Ismail Salhi
(1)
Jan Bartovsky
(1)
Javier Miguel Sastre Martinez
(1)
Jean Berstel
(1)
Jean-Gabriel Luque
(1)
Jean-Paul Bultel
(1)
Jean-Yves Audibert
(1)
Jérôme Courchay
(1)
Krit Kosawat
(1)
Laszlo Marak
(1)
Laurent Fuchs
(1)
Luc Boasson
(1)
Marc Sage
(1)
Marco Spuri
(1)
Mario Monteleone
(1)
Matthieu Constant
(1)
Michel Chilowicz
(1)
Nathalie Aubrun
(1)
Nelly Pustelnik
(1)
Nicolas Bedon
(1)
Nicolas Ngan
(1)
Nizar Jegham
(1)
Olena Tankyevych
(1)
Olivier Blanc
(1)
Omid Bonakdar Sakhi
(1)
Pascal Degenne
(1)
Pascal Vallet
(1)
Patrice Bouvier
(1)
Paul Morel
(1)
Paul Muhlethaler
(1)
Petr Hofman
(1)
Petr Červenka
(1)
Pierre Boulenguez
(1)
Pierre Peterlongo
(1)
Pierre-Loïc Méliot
(1)
Radek Seifert
(1)
Ramzi Mahmoudi
(1)
Roland Levillain
(1)
Romain Veltz
(1)
Samuele Giraudo
(1)
So-Yun Kim
(1)
Stavroula Voyatzi
(1)
Stéphane Breuils
(1)
Sun-Mee Bae
(1)
Trong Hiêu Dinh
(1)
Vincent Bismuth
(1)
Vincent Carnino
(1)
Vincent Nozick
(1)
Viviane Pons
(1)
Werner Benger
(1)
Yaroub Elloumi
(1)
Yasmina Abdeddaïm
(1)
Yohan Thibault
(1)
Yongchao Xu
(1)
Agata Savary
(1)
Damien Masson
(1)
Karel Brinda
(1)
Pierre Guillon
(1)
Discipline
Informatique [cs]
(94)
Mathématiques [math]
(7)
Sciences de l'Homme et Société
(7)
Sciences de l'ingénieur [physics]
(4)
Sciences du Vivant [q-bio]
(2)
Physique [physics]
(1)
Structure
Laboratoire d'Informatique Gaspard-Monge
(81)
Inria Paris-Rocquencourt
(14)
Department of Computer Science
(5)
IMAGINE [Marne-la-Vallée]
(5)
Inria Grenoble - Rhône-Alpes
(5)
Inria Saclay - Ile de France
(5)
Laboratoire de Biométrie et Biologie Evolutive
(5)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(3)
Acute3D company
(1)
Centre d'Etude et De Recherche en Informatique et Communications
(1)
Dipartimento di Informatica Sistemistica e Comunicazione
(1)
Japanese French Laboratory for Informatics
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(1)
Louisiana State University
(1)
Lycée Berthelot, St Maur
(1)
Nokia Location & Commerce
(1)
XLIM
(1)
Collection
CV_LIGM
(94)
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)
UJF
(96)
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
anglais
(47)
français
(47)
Type de dépôt
Document
(91)
Notice
(3)
Année
2017
(1)
2016
(1)
2014
(2)
2013
(5)
2012
(13)
2011
(16)
2010
(9)
2009
(4)
2008
(8)
2007
(2)
2006
(4)
2005
(5)
2004
(5)
2003
(7)
2002
(1)
2000
(1)
1999
(1)
1998
(2)
1997
(1)
1996
(3)
1995
(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
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 94 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00250312
v1
HDR
Jean-Gabriel Luque
.
Invariants des hypermatrices
Autre [cs.OH]. Université de Marne la Vallée, 2008
inria-00073341
v1
Rapport
Loïc Correnson
,
Étienne Duris
,
Didier Parigot
,
Gilles Roussel
.
Symbolic Composition
[Research Report] RR-3348, INRIA. 1998
inria-00073586
v1
Rapport
Étienne Duris
,
Didier Parigot
,
Gilles Roussel
,
Martin Jourdan
.
Structure-directed Genericity in Functional Programming and Attribute Grammars
[Research Report] RR-3105, INRIA. 1997
inria-00073070
v1
Rapport
Loïc Correnson
,
Étienne Duris
,
Didier Parigot
,
Gilles Roussel
.
How to Deforest in Accumulative Parameters?
[Research Report] RR-3608, INRIA. 1999
inria-00073732
v1
Rapport
Laurent George
,
Nicolas Rivierre
,
Marco Spuri
.
Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling
[Research Report] RR-2966, INRIA. 1996
inria-00073741
v1
Rapport
Étienne Duris
,
Didier Parigot
,
Gilles Roussel
,
Martin Jourdan
.
Attribute Grammars and Folds : Generic Control Operators
[Research Report] RR-2957, INRIA. 1996
inria-00074162
v1
Rapport
Laurent George
,
Paul Muhlethaler
,
Nicolas Rivierre
.
Optimality and non-preemptive real-time scheduling revisited
[Research Report] RR-2516, INRIA. 1995
inria-00074005
v1
Rapport
Étienne Duris
,
Didier Parigot
,
Martin Jourdan
.
Mises à jour destructives dans les grammaires attribuées
[Rapport de recherche] RR-2686, INRIA. 1995
inria-00074027
v1
Rapport
Didier Parigot
,
Gilles Roussel
,
Étienne Duris
,
Martin Jourdan
.
Attribute Grammars: a Declarative Functional Language
[Research Report] RR-2662, INRIA. 1995
hal-00340797
v1
Chapitre d'ouvrage
Olivier Carton
,
Dominique Perrin
,
Jean-Eric Pin
.
Automata and semigroups recognizing infinite words
J. Flum, E. Grädel and T. Wilke.
Logic and Automata, History and perspectives
, Amsterdam University Press, pp.585-596, 2007
hal-01552462
v1
Communication dans un congrès
Stéphane Breuils
,
Vincent Nozick
,
Laurent Fuchs
,
Dietmar Hildenbrand
,
Werner Benger
et al.
A hybrid approach for computing products of high-dimensional geometric algebras
CGI / ENGAGE 2017
, Jun 2017, Hiyoshi, Japan. pp.1 - 6, 2017, CGI '17 Proceedings of the Computer Graphics International Conference
<10.1145/3095140.3097284>
tel-00587367
v1
Thèse
Pierre Boulenguez
.
Caractérisation multispectrale imageante du champ de lumière de sources et de matériaux pour la photosimulation
Autre [cs.OH]. Université Paris-Est, 2010. Français.
<NNT : 2010PEST1008>
hal-00711065
v1
Communication dans un congrès
Anne-Laure Chauve
,
Jean-Philippe Pons
,
Jean-Yves Audibert
,
Renaud Keriven
.
Transductive Segmentation of Textured Meshes
9th Asian conference on Computer Vision (ACCV 2009)
, Sep 2009, Xi'an, China. Springer-Verlag, 5995, pp.502-513, 2010, Lecture Notes in Computer Science.
<10.1007/978-3-642-12304-7_47>
hal-00306661
v1
Communication dans un congrès
Julien Allali
,
Marie-France Sagot
.
Novel tree edit operations for RNA secondary structure comparison
Workshop on Algorithms in Bioinformatics 2004
, 2004, Bergen, Denmark. 3240, pp.412--425, 2004
hal-00306660
v1
Communication dans un congrès
Julien Allali
,
Marie-France Sagot
.
A Multiple Graph Layers Model with Application to RNA Secondary Structures Comparison
String Processing and Information Retrieval 2005
, Nov 2005, Argentina. Mariano Consens and Gonzalo Navarro, 3772, pp.348--359, 2005
hal-00306572
v1
Communication dans un congrès
Pierre Peterlongo
,
Julien Allali
,
Marie-France Sagot
.
The Gapped-Factor Tree
Prague Stringology Conference 2006
, 2006, Czech Republic. pp.182--196, 2006
hal-00112831
v1
Ouvrage (y compris édition critique et traduction)
Jean-Eric Pin
,
Dominique Perrin
.
Infinite Words: Automata, Semigroups, Logic and Games
Elsevier, pp.538, 2004
tel-00499252
v1
Thèse
Harold Phelippeau
.
Méthodes et algorithmes de dématriçage et de filtrage du bruit pour la photographie numérique
Autre [cs.OH]. Université Paris-Est, 2009. Français.
< NNT : 2009PEST1002 >
hal-00628579
v1
Rapport
Burak Arslan
.
Implementation of Collocation Extraction in Unitex
2007
hal-00688069
v2
Communication dans un congrès
Yasmina Abdeddaïm
,
Damien Masson
.
Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata
RTCSA 2012
, Aug 2012, Seoul, South Korea. pp.31-40, 2012,
<10.1109/RTCSA.2012.21>
pastel-00664331
v1
Thèse
Nathalie Aubrun
.
Dynamique symbolique des systèmes 2D et des arbres infinis
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1004>
tel-00665732
v1
Thèse
Trong Hiêu Dinh
.
Grammaires de graphes et langages formels
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1015>
pastel-00667769
v1
Thèse
Cristiana Ciocanea
.
Lexique-grammaire des constructions converses en a da/ a primi en roumain
Linguistique. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1011>
tel-00621249
v2
Thèse
Javier Miguel Sastre Martinez
.
Efficient finite-state algorithms for the application of local grammars
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1047>
tel-00660736
v2
Thèse
Pascal Vallet
.
Random matrices and applications to statistical signal processing
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1055>
tel-00668537
v2
Thèse
Frédéric Fauberteau
.
Sûreté temporelle pour les systèmes temps réel multiprocesseurs
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1019>
pastel-00673121
v1
Thèse
Roland Levillain
.
Towards a software architecture for generic image processing
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1032>
pastel-00680788
v1
Thèse
Nicolas Ngan
.
Etude et conception d'un réseau sur puce dynamiquement adaptable pour la vision embarquée
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1040>
pastel-00667797
v1
Thèse
Florian Sikora
.
Aspects algorithmiques de la comparaison d'éléments biologiques
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1048>
pastel-00665070
v1
Thèse
Jérôme Courchay
.
Calibration par programmation linéaire et reconstruction spatio-temporelle à partir de réseaux d’images
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1014>
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 94 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.