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 ×
Structure/laboratoire : Nom ×
Tous ×
15 résultats
enregistrer la recherche
Type de document
Rapport
(7)
Communication dans un congrès
(4)
Article dans une revue
(3)
Direction d'ouvrage, Proceedings
(1)
Auteur
Sylvain Lazard
(9)
Hazel Everett
(6)
Sue Whitesides
(6)
Vida Dujmovic
(5)
Olivier Devillers
(5)
Hyeon-Suk Na
(4)
Xavier Goaoc
(4)
Andreas Fabri
(2)
Andrew Rau-Chaplin
(2)
Anna Lubiw
(2)
Erik Demaine
(2)
Godfried Toussaint
(2)
Hervé Brönnimann
(2)
Ileana Streinu
(2)
Joseph O'Rourke
(2)
Martin Demaine
(2)
Steve Robbins
(2)
Sylvain Petitjean
(2)
Thérèse Biedl
(2)
Marc Glisse
(2)
C.Murray Woodside
(1)
Erik D. Demaine
(1)
Franck Dehne
(1)
Frank Sottile
(1)
Franke Dehne
(1)
Hervé Bronnimann
(1)
Jean-Daniel Boissonnat
(1)
Louis-Marie Le Ny
(1)
Michael A. Soss
(1)
Michael Kohlhase
(1)
Mostafa Nassar
(1)
Nachum Dershowitz
(1)
Patrick Blackburn
(1)
Rada Valiveti
(1)
Steve Wismath
(1)
Steven M. Robbins
(1)
Subir Kumar Ghosh
(1)
Telikepalli Kavitha
(1)
Therese C. Biedl
(1)
Claude Kirchner
(1)
Samuel Hornus
(1)
Discipline
Informatique [cs]
(15)
Structure
School of computer science [Ottawa]
(13)
INRIA Lorraine
(12)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(12)
Inria Sophia Antipolis - Méditerranée
(8)
Department of Computer Science [Calgary]
(3)
School of Computing - Soongsil University, Séoul
(3)
Department of Computer and Information Science
(2)
School of Computer Science [Ottawa]
(2)
Department of Mathematics
(1)
Department of Mathematics and Computer Science
(1)
Graphisme, Vision et Robotique
(1)
INRIA Rennes
(1)
Inria Grenoble - Rhône-Alpes
(1)
Institut de Recherche en Informatique et Systèmes Aléatoires
(1)
Jodrey School of Computer Science
(1)
School of Computer Science [Quebec]
(1)
Collection
INRIA
(15)
CNRS
(13)
LORIA2
(13)
INPL
(12)
INRIA-LORRAINE
(12)
INRIA-NANCY-GRAND-EST
(12)
LORIA
(12)
UNIV-LORRAINE
(12)
INRIA-SOPHIA
(8)
INRIASO
(8)
INRIA_TEST
(8)
LARA
(7)
INRIA-RRRT
(6)
INRIA2
(2)
IMAG
(1)
INRIA-RHA
(1)
IRISA
(1)
IRISA_SET
(1)
UGA
(1)
UNIV-GRENOBLE1
(1)
UNIV-RENNES1
(1)
UR1-HAL
(1)
UR1-MATH-STIC
(1)
UR1-UFR-ISTIC
(1)
Langue
anglais
(15)
Type de dépôt
Document
(11)
Notice
(4)
Année
2005
(2)
2003
(3)
2002
(4)
2001
(1)
2000
(1)
1999
(1)
1992
(2)
1988
(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 15 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00100514
v1
Direction d'ouvrage, Proceedings
Patrick Blackburn
,
Michael Kohlhase
.
Inference in Computational Semantics
139 p, 2001
inria-00074853
v1
Rapport
Franck Dehne
,
Andreas Fabri
,
Andrew Rau-Chaplin
.
Scalable parallel geometric algorithms for coarse grained multicomputers
[Research Report] RR-1819, INRIA. 1992
inria-00076992
v1
Rapport
Franke Dehne
,
Andreas Fabri
,
Mostafa Nassar
,
Andrew Rau-Chaplin
,
Rada Valiveti
.
Construction of d-dimensional hyperoctrees on a hypercube multiprocessor
[Research Report] RR-1752, INRIA. 1992
inria-00075617
v1
Rapport
Louis-Marie Le Ny
,
C.Murray Woodside
.
Performance modelling of queues with rendezvous service
[Research Report] RR-0941, INRIA. 1988
inria-00099329
v1
Rapport
Thérèse Biedl
,
Erik Demaine
,
Martin Demaine
,
Sylvain Lazard
,
Anna Lubiw
et al.
On Reconfiguring Tree Linkages: Trees can lock
[Intern report] A00-R-388 || biedl00a, 2000, 16 p
inria-00098832
v1
Communication dans un congrès
Therese C. Biedl
,
Erik D. Demaine
,
Sylvain Lazard
,
Steven M. Robbins
,
Michael A. Soss
.
Convexifying Monotone Polygons
Alok Aggarwal and C. Pandu Rangan.
10th Annual International Symposium on Algorithms & Computation - ISAAC'99
, Dec 1999, Chennai, India. Springer-Verlag, LNCS 1741, 10 p, 1999, Lecture Notes in Computer Science; Algorithms and Computation 10th International Symposium, ISAAC'99 Chennai, India, December 16–18, 1999 Proceedings.
<http://www.springerlink.com/content/550xbyrwva7rew49/fulltext.pdf>
.
<10.1007/3-540-46632-0_42>
inria-00099479
v1
Communication dans un congrès
Hervé Bronnimann
,
Hazel Everett
,
Sylvain Lazard
,
Frank Sottile
,
Sue Whitesides
.
Transversals to Line Segments in R3
15th Canadian Conference on Computational Geometry - CCCG'2003
, 2003, Halifax, Canada, 4 p, 2003
inria-00099466
v1
Communication dans un congrès
Nachum Dershowitz
,
Claude Kirchner
.
Abstract Saturation-based Inference
Eighteenth Annual IEEE Symposium on Logic in Computer Science - LICS'2003)
, Jun 2003, Ottawa, Canada, 10 p, 2003
inria-00077116
v1
Rapport
Olivier Devillers
,
Vida Dujmovic
,
Hazel Everett
,
Samuel Hornus
,
Sue Whitesides
et al.
Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
[Research Report] RR-5742, INRIA. 2005, pp.11
inria-00099449
v1
Communication dans un congrès
Hervé Brönnimann
,
Olivier Devillers
,
Vida Dujmovic
,
Hazel Everett
,
Marc Glisse
et al.
On the Number of Lines Tangent to Four Convex Polyhedra
14th Canadian Conference on Computational Geometry - CCCG'02
, 2002, Lethbridge, Canada, 2002
inria-00071226
v1
Rapport
Hervé Brönnimann
,
Olivier Devillers
,
Vida Dujmovic
,
Hazel Everett
,
Marc Glisse
et al.
On the Number of Maximal Free Line Segments Tangent to Arbitrary Three-dimensional Convex Polyhedra
[Research Report] RR-5671, INRIA. 2005
inria-00071914
v1
Rapport
Olivier Devillers
,
Vida Dujmovic
,
Hazel Everett
,
Xavier Goaoc
,
Sylvain Lazard
et al.
The expected number of 3D visibility events is linear
[Research Report] RR-4671, INRIA. 2002
inria-00100889
v1
Article dans une revue
Thérèse Biedl
,
Erik Demaine
,
Martin Demaine
,
Sylvain Lazard
,
Anna Lubiw
et al.
A Note on Reconfiguring Tree Linkages: Trees can Lock
Discrete Applied Mathematics
, Elsevier, 2002, 117 (1-3), pp.293-297.
<10.1016/S0166-218X(01)00229-3>
inria-00100533
v1
Article dans une revue
Jean-Daniel Boissonnat
,
Subir Kumar Ghosh
,
Telikepalli Kavitha
,
Sylvain Lazard
.
An algorithm for computing a convex and simple path of bounded curvature in a simple polygon
Algorithmica
, Springer Verlag, 2002, 34 (2), pp.109-156.
<10.1007/s00453-002-0950-0>
inria-00099810
v1
Article dans une revue
Olivier Devillers
,
Vida Dujmovic
,
Hazel Everett
,
Xavier Goaoc
,
Sylvain Lazard
et al.
The expected number of 3D visibility events is linear
SIAM Journal on Computing
, Society for Industrial and Applied Mathematics, 2003, 32 (6), pp.1586-1620.
<10.1137/S0097539702419662>
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 15 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.