Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Les Filtres
Filters
Document type ×
All ×
73 results
save search
Document types
Minimize
Software
(73)
Conference papers
(47150)
Journal articles
(33573)
Reports
(12910)
Theses
(5012)
Preprints, Working Papers, ...
(4076)
Book sections
(3227)
Poster communications
(1309)
Other publications
(1070)
Directions of work or proceedings
(1054)
Books
(703)
Habilitation à diriger des recherches
(565)
Master thesis
(452)
Documents associated with scientific events
(371)
Patents
(230)
Lectures
(93)
Videos
(30)
Notes de synthèse
(4)
Photos
(3)
Other reports
(1)
Author
Minimize
Amir Adler
(1)
Reza Akbarinia
(2)
Simon Archipoff
(2)
Cédric Augonnet
(2)
Olivier Aumage
(2)
Guillaume Beauchamp
(1)
Nancy Bertin
(4)
Cagdas Bilen
(1)
Frédéric Bimbot
(1)
Bruno Blanchet
(2)
Mikhail Bogdanov
(2)
Carlyna Bondiombouy
(1)
Bérenger Bramas
(3)
Vincent Brault
(2)
Alfredo Buttari
(2)
Caterina Calgaro
(1)
Ewen Camberlein
(2)
Adrien Cassagne
(2)
Emmanuel Castanier
(1)
Jean-Philippe Chancelier
(1)
Jérôme Clet-Ortega
(2)
Jérémy Cohen
(2)
Nicolas Collin
(2)
Jean-Valère Cossu
(1)
Christine Azevedo Coste
(2)
Glenn Cougoulat
(1)
François Delebecque
(1)
Alain Deutsch
(1)
Julien Diener
(1)
Damien Doligez
(2)
Dimitri Dupuis
(1)
Lionel Eyraud-Dubois
(2)
Nathalie Furmento
(2)
Christine Gaspin
(1)
Daniel Gautheret
(1)
Thibaut Girka
(2)
Benjamin Grenier-Boley
(1)
Rémi Gribonval
(7)
David Gómez
(1)
Sylvain Henry
(2)
Andra Hugo
(2)
Iordan Iordanov
(2)
Eric Jallas
(1)
Alexis Joly
(3)
Mehdi Juhoor
(2)
Alexis Juven
(1)
Srđan Kitić
(3)
Boyan Kolev
(2)
Christine Leininger
(1)
Erwan Leria
(1)
Xavier Leroy
(2)
Oleksandra Levchenko
(2)
Benoît Lizé
(2)
Jean-Christophe Lombardo
(2)
Antoine Lucas
(1)
Hermano Lustosa
(1)
Axel Marmoret
(3)
Florent Masseglia
(2)
Frédéric Mirman
(1)
Antoine de Monte
(1)
Brice Mortier
(1)
Alexandre Mouton
(1)
Stojce Nakov
(2)
Daniel de Oliveira
(1)
Joris Pablo
(1)
Alexis Pacholik
(1)
Esther Pacitti
(2)
Didier Parigot
(3)
Damien Pasqualinotto
(2)
Antoine Peillot
(1)
Aymeric Pellé
(1)
Fabio Porto
(1)
Gilles Puy
(3)
Alain Rapaport
(2)
Hadrien Renaud
(1)
Cyril Roelandt
(2)
François Rouaix
(1)
Anthony Roy
(1)
Chiheb Sakka
(1)
Corentin Salingue
(2)
Marc Sergent
(2)
Dennis Shasha
(1)
Benoît Sijobert
(2)
Anthony Simonet
(2)
Luka Stanisic
(2)
Bérangère Subervie
(1)
Monique Teillaud
(3)
François Tessier
(2)
Samuel Thibault
(2)
Nicolas Tremblay
(2)
Patrick Valduriez
(10)
Pierre Vandergheynst
(2)
Romain Veltz
(2)
Brice Videau
(1)
Axel Vincent
(1)
Emmanuel Vincent
(2)
Jérôme Vouillon
(2)
Pierre-André Wacrenier
(2)
Pierre Weis
(2)
Djamel-Edine Yagoubi
(1)
Subject field
Minimize
Computer Science [cs]
(64)
Mathematics [math]
(14)
Engineering Sciences [physics]
(5)
Statistics [stat]
(5)
Environmental Sciences
(3)
Life Sciences [q-bio]
(2)
Physics [physics]
(1)
Humanities and Social Sciences
(1)
Laboratory
Minimize
Inria Sophia Antipolis - Méditerranée
(28)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(22)
Inria Rennes – Bretagne Atlantique
(17)
Institut de Recherche en Informatique et Systèmes Aléatoires
(15)
Inria Nancy - Grand Est
(9)
Laboratoire Jean Kuntzmann
(9)
Inria Grenoble - Rhône-Alpes
(8)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(7)
Laboratoire de l'Informatique du Parallélisme
(5)
Inria Bordeaux - Sud-Ouest
(4)
Inria Paris-Rocquencourt
(4)
Inria de Paris
(4)
Institut de Recherche en Informatique Fondamentale
(4)
Institut de Mathématiques de Bordeaux
(3)
Laboratoire Bordelais de Recherche en Informatique
(3)
Laboratoire d'Informatique de Grenoble
(3)
Airbus Group Innovations [Suresnes]
(2)
Inria Lille - Nord Europe
(2)
Inria Saclay - Ile de France
(2)
Inria Siège
(2)
Institut de recherche en informatique de Toulouse
(2)
LTS2 - EPFL
(2)
Laboratoire des Sciences du Numérique de Nantes
(2)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(2)
Mathématiques et Informatique Appliquées
(2)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(2)
Mitsubishi Electric R&D Centre Europe [France]
(2)
ALTAIR Development France
(1)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(1)
Botanique et Modélisation de l'Architecture des Plantes et des Végétations
(1)
Capgemini [Toulouse]
(1)
Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique
(1)
Centre for Digital Music
(1)
Courant Institute of Mathematical Sciences [New York]
(1)
Department of Computer and Information Sciences [Newark]
(1)
Department of Mathematics [Raleigh]
(1)
Département d'informatique de l'École normale supérieure
(1)
EADS Innovation Works [Toulouse]
(1)
Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
(1)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(1)
Génétique Physiologie et Systèmes d'Elevage
(1)
IHU-LIRYC
(1)
ITK Montpellier
(1)
Institut Jean Le Rond d'Alembert
(1)
Institut Rhône-Alpin des systèmes complexes
(1)
Institut de génétique et microbiologie [Orsay]
(1)
Institut Élie Cartan de Lorraine
(1)
Laboratoire Informatique d'Avignon
(1)
Laboratoire Ondes et Acoustique
(1)
Laboratoire Paul Painlevé - UMR 8524
(1)
Laboratoire Traitement du Signal et de l'Image
(1)
Laboratoire d'Informatique Fondamentale de Lille
(1)
Laboratoire d'Informatique Paris Descartes
(1)
Laboratoire d'informatique de l'école normale supérieure
(1)
Laboratoire de Biotechnologie de l'Environnement [Narbonne]
(1)
Laboratoire de Génie Informatique
(1)
Laboratoire des signaux et systèmes
(1)
Preuves, Programmes et Systèmes
(1)
Symbolic Computation Group
(1)
Unité de Biométrie et Intelligence Artificielle
(1)
VERIMAG
(1)
Écophysiologie des Plantes sous Stress environnementaux
(1)
Language
Minimize
Unknown or Invalid Language
(69)
English
(2)
French
(2)
Type of deposit
Minimize
Fulltext
(40)
Notice
(33)
Year
Minimize
2021
(2)
2020
(9)
2019
(21)
2018
(14)
2017
(8)
2016
(3)
2015
(3)
2014
(3)
2013
(1)
2012
(3)
2010
(2)
2007
(1)
2001
(1)
1998
(1)
1994
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
hal-02091230
v1
Software
Daniel Simon
,
Samy Lafnoune
.
RT$\_$Stim : Real-Time simulation for functional electrical Stimulation
2019
hal-02098365
v1
Software
Florent Masseglia
,
Julien Diener
.
LogMagnet
2019
hal-02099620
v1
Software
The Cado-Nfs Development Team
.
CADO-NFS, An Implementation of the Number Field Sieve Algorithm
2019
hal-02091542
v1
Software
Roger Pissard-Gibollet
,
Benoît Sijobert
,
Christine Azevedo Coste
.
sensbiotk
2015
hal-02963802
v1
Software
Sunit Sivasankaran
,
Irina Illina
,
Emmanuel Vincent
.
voiceHome-2 corpus - automatic speech recognition baseline - scripts
2020,
⟨swh:1:dir:e61ed9084af0d3e8542cd4ab3a990d24314a6724;origin=https://hal.archives-ouvertes.fr/hal-02963802;visit=swh:1:snp:b958e3aa64f6b1663929789c8cf28d019f55f57d;anchor=swh:1:rev:6b9bf3964385d0c16d262796d9e4a3a30a52dafd;path=/⟩
hal-02137040
v2
Software
Alexandre Mouton
,
Caterina Calgaro
,
Emmanuel Creusé
.
NS2DDV - Navier-Stokes 2D à Densité Variable
2020,
⟨swh:1:dir:ea24497c97c446b847eb1e6b144fc0528b22798f;origin=https://hal.archives-ouvertes.fr/hal-02137040;visit=swh:1:snp:6d9b0a7121ef7aee4569095d3304fd3c77f27314;anchor=swh:1:rev:04a7cf3445bc390bc8dfaf93341a1f8f2008072c;path=/⟩
hal-02100181
v1
Software
Christophe Pradal
,
Christian Fournier
,
Frédéric Boudon
,
Patrick Valduriez
,
Esther Pacitti
et al.
OpenAlea
2019
hal-02096020
v1
Software
Antoine Affouard
,
Jean-Christophe Lombardo
,
Hervé Goëau
,
Pierre Bonnet
,
Alexis Joly
.
Pl@ntNet
2019
hal-02091524
v1
Software
Benoît Sijobert
,
Ronan Le Guillou
,
Christine Azevedo Coste
.
IMUSEF
2019
hal-02096036
v1
Software
Olivier Buisson
,
Jean-Christophe Lombardo
,
Alexis Joly
.
Snoop
2019
hal-02096028
v1
Software
Maximilien Servajean
,
Alexis Joly
.
ThePlantGame
2019
hal-02915456
v1
Software
Axel Marmoret
,
Jérémy Cohen
.
nn_fac: Nonnegative Factorization techniques toolbox
2020,
⟨swh:1:dir:ec2a2153951a7f79b7d980ea0d9c7601e5755de9;origin=https://hal.archives-ouvertes.fr/hal-02915456;visit=swh:1:snp:6e4be34b95db089bc5e4455abb4037d0b633b9fe;anchor=swh:1:rev:88782798ee67126597c52fb12312a462e9f6439b;path=/⟩
hal-02963154
v1
Software
Valentin Emiya
,
Amir Adler
,
Maria Jafari
.
Audio Inpainting Toolbox
2012,
⟨swh:1:dir:5a3b0b6734992b1f22b3807d90d8e4f23a8a1134;origin=https://hal.archives-ouvertes.fr/hal-02963154;visit=swh:1:snp:763ff6e890564bc78b23a67d1ea66d25b166c85c;anchor=swh:1:rev:82ecc00368b9e69f694b72ea76b47f7c4a4873fc;path=/⟩
hal-02014516
v1
Software
Romain Azaïs
,
Sandie Ferrigno
,
Marie-José Martinez
.
cvmgof: Cramer-von Mises goodness-of-fit tests
2018,
⟨swh:1:dir:6b9e75ac30a78bdf2d928b2177e8edf538c16748⟩
hal-02129219
v1
Software
Cassio Dantas
,
Rémi Gribonval
.
Stable Screening - Python code
2019,
⟨swh:1:dir:3ccb3fde105b05aee192367fb5e07e192e3b6774;origin=https://hal.archives-ouvertes.fr/hal-02129219;visit=swh:1:snp:ea9fb83bf7c0e828cd33fef85302fb6d009efa55;anchor=swh:1:rev:22942d09cf38300eddca99dc83cd4868b2f9187f;path=/⟩
hal-01727745
v1
Software
Sascha Hunold
,
Raphaël Bleuse
,
Grégory Mounié
.
moldableILP
2017,
⟨swh:1:dir:42a13fc721c8716ff695d0d62fc851d641f3a12b;origin=https://hal.archives-ouvertes.fr/hal-01727745;visit=swh:1:snp:a76e73d9be951762359b31d143609a0ae8862c16;anchor=swh:1:rev:a27a59f6b14c9fb13a6f998d8316628dafc1f60c;path=/⟩
hal-03024051
v2
Software
Srđan Kitić
.
A-SPADE demo
2015,
⟨swh:1:dir:85323c6f758a43ddb82a43545439266dd9ce1dc4;origin=https://hal.archives-ouvertes.fr/hal-03024051;visit=swh:1:snp:492cb679f2a083f73c02d5a4bba32424c819287d;anchor=swh:1:rev:cf306ec551c699c00dbfd2d9b16dc50d7420215d;path=/⟩
hal-03024116
v2
Software
Clément Gaultier
,
Srđan Kitić
,
Ewen Camberlein
,
Rémi Gribonval
,
Nancy Bertin
.
SPADE Toolbox
2019,
⟨swh:1:dir:670f1ff15abcb3d510841e83acfc1ef9318a5326;origin=https://hal.archives-ouvertes.fr/hal-03024116;visit=swh:1:snp:e8da0f3d1e1bd541affa397491da967147b690d0;anchor=swh:1:rev:1747d2d1bf483a8938562b068438a55a12ae01fc;path=/⟩
hal-02011057
v1
Software
Vincent Brault
,
Julien Chiquet
.
blockseg: Two Dimensional Change-Points Detection
2018
hal-02101258
v1
Software
Didier Parigot
,
Benjamin Billet
,
Patrick Valduriez
.
Triton Server
2017
hal-02101335
v1
Software
Didier Parigot
,
Ayoub Ait Lahcen
,
Patrick Valduriez
,
Esther Pacitti
.
Shared-data Overlay Network (SON)
2012
hal-02101352
v1
Software
Dimitri Dupuis
,
Didier Parigot
,
Patrick Valduriez
.
SciFloware
2017
hal-02908763
v1
Software
Hadrien Renaud
.
Fut on Flow
2020,
⟨swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https://hal.archives-ouvertes.fr/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=/⟩
hal-02155786
v1
Software
Pierre Pradic
.
A sound and complete axiomatization of the equational theory of Mealy machines.
2019,
⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441;origin=https://hal.archives-ouvertes.fr/hal-02155786;visit=swh:1:snp:88a3a6cafdfd6d842ba0c086187015a1605f0cf0;anchor=swh:1:rev:dacff8b9c3574cd3fcb023c485209c72abd8efef;path=/⟩
hal-01831364
v1
Software
Thibaut Girka
.
correlating_program
2018,
⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
hal-02090402
v1
Software
François Delebecque
,
Claude Gomez
,
Maurice Goursat
,
Ramine Nikoukhah
,
Serge Steer
et al.
Scilab 1.1
1994,
⟨swh:1:dir:1ba0b67b5d0c8f10961d878d91ae9d6e499d746a;origin=https://hal.archives-ouvertes.fr/hal-02090402;visit=swh:1:snp:7ddfbf3d09b30b76993b8cf01f28cdc28204e7bc;anchor=swh:1:rev:e985380d7598a12a5c6a80807b65ec1840c7f22b;path=/⟩
hal-01831369
v2
Software
Thibaut Girka
,
Yann Régis-Gianas
.
Correlating Oracles
2018,
⟨swh:1:dir:2c01e745c6d89e0eeb9a6ec9590f7ef0750b7002;origin=https://hal.archives-ouvertes.fr/hal-01831369;visit=swh:1:snp:42f0897956e700a23f5b8aafce43360b8699c0f1;anchor=swh:1:rev:698771f9ca7ce7605fdcabf27b5851f322ea692c;path=/⟩
hal-01730321
v1
Software
Simon Archipoff
,
Cédric Augonnet
,
Olivier Aumage
,
William Braik
,
Bérenger Bramas
et al.
StarPU
2017,
⟨swh:1:dir:2ac9e6b0eb795d083342cd4a39366164e5bb46da;origin=https://hal.archives-ouvertes.fr/hal-01730321;visit=swh:1:snp:d36cf8941b0bbd14f62146c2db54afe19623d010;anchor=swh:1:rev:805a9067bad77212cdadce80a424a86bf5b39b43;path=/⟩
hal-00859581
v1
Software
Alain Rapaport
,
Jérôme Harmand
,
Valérie Auffray
,
Vianney Houlès
,
Eric Jallas
et al.
VITELBIO
2010
hal-02960713
v1
Software
Gilles Puy
,
Nicolas Tremblay
,
Rémi Gribonval
,
Pierre Vandergheynst
.
GraphSamplingBox
2016,
⟨swh:1:dir:e27b8849b4845e050049b1ceae73520a54a7c9f5;origin=https://hal.archives-ouvertes.fr/hal-02960713;visit=swh:1:snp:834da05eaba8d5fd214a05d722acc017d17826dd;anchor=swh:1:rev:3dc10882e6c8e08939d75c364a99a5b4270992e3;path=/⟩
1
2
3
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.