Skip to Main content
Skip to Navigation
Toggle navigation
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 research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
Document type ×
language_s ×
All ×
100 results
save search
Document types
Minimize
Software
(97)
Photos
(3)
Author
Minimize
Rémi Gribonval
(12)
Patrick Valduriez
(10)
Sid Touati
(6)
Axel Marmoret
(4)
Jérémy E Cohen
(4)
Nancy Bertin
(4)
Alexis Joly
(3)
Didier Parigot
(3)
Elisa Riccietti
(3)
Frédéric Bimbot
(3)
Gilles Puy
(3)
Lionel Eyraud-Dubois
(3)
Monique Teillaud
(3)
Quoc-Tung Le
(3)
Srđan Kitić
(3)
Alexandre Mouton
(2)
Benoît Sijobert
(2)
Boyan Kolev
(2)
Bruno Blanchet
(2)
Bérenger Bramas
(2)
Christine Azevedo Coste
(2)
Damien Doligez
(2)
David Coudert
(2)
Emmanuel Vincent
(2)
Esther Pacitti
(2)
Ewen Camberlein
(2)
Florent Masseglia
(2)
Iordan Iordanov
(2)
Jean-Christophe Lombardo
(2)
Léon Zheng
(2)
Mikhail Bogdanov
(2)
Nicolas Tremblay
(2)
Oleksandra Levchenko
(2)
Pierre Vandergheynst
(2)
Pierre Weis
(2)
Reza Akbarinia
(2)
Roberto Di Cosmo
(2)
Romain Veltz
(2)
Sandie Ferrigno
(2)
Sébastien Briais
(2)
Thibaut Girka
(2)
Vincent Brault
(2)
Xavier Leroy
(2)
Adrien Cassagne
(1)
Alain Deutsch
(1)
Alexandre Denis
(1)
Alexandre Moine
(1)
Alexis Juven
(1)
Alfredo Buttari
(1)
Ali Al Zoobi
(1)
Amir Adler
(1)
Amélie Barbe
(1)
Andra Hugo
(1)
André Nusser
(1)
Angelos Mantzaflaris
(1)
Anthony Simonet
(1)
Antoine Affouard
(1)
Antoine Liutkus
(1)
Antoine Peillot
(1)
Arnaud Legout
(1)
Arthur Charguéraud
(1)
Arthur Mouchot
(1)
Aude Maignan
(1)
Aurel Page
(1)
Axel Vincent
(1)
Aymeric Pellé
(1)
Ayoub Ait Lahcen
(1)
Benjamin Billet
(1)
Benoît Lizé
(1)
Brice Videau
(1)
Bérangère Subervie
(1)
Cagdas Bilen
(1)
Carlyna Bondiombouy
(1)
Caroline Bligny
(1)
Cassio F. Dantas
(1)
Caterina Calgaro
(1)
Chiheb Sakka
(1)
Christian Fournier
(1)
Christophe Alias
(1)
Christophe Godin
(1)
Christophe Pradal
(1)
Claude Gomez
(1)
Clément Gaultier
(1)
Corentin Salingue
(1)
Cristian Vargas Montero
(1)
Cyril Roelandt
(1)
Cédric Augonnet
(1)
Damien Pasqualinotto
(1)
Damien Robert
(1)
Daniel Simon
(1)
Daniel de Oliveira
(1)
Denis Barthou
(1)
Dennis Shasha
(1)
Dimitri Dupuis
(1)
Djamel-Edine Edine yagoubi
(1)
Dominique Martinez
(1)
Dounia Essaket
(1)
Emmanuel Castanier
(1)
Emmanuel Creusé
(1)
Erven Rohou
(1)
Subject field
Minimize
Computer Science [cs]
(88)
Mathematics [math]
(17)
Cognitive science
(6)
Statistics [stat]
(6)
Life Sciences [q-bio]
(4)
Engineering Sciences [physics]
(4)
Physics [physics]
(2)
Environmental Sciences
(2)
Humanities and Social Sciences
(2)
Laboratory
Minimize
Inria Sophia Antipolis - Méditerranée
(36)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(22)
Inria Rennes – Bretagne Atlantique
(18)
Institut de Recherche en Informatique et Systèmes Aléatoires
(17)
Inria Nancy - Grand Est
(14)
Inria Grenoble - Rhône-Alpes
(13)
Laboratoire de l'Informatique du Parallélisme
(11)
Laboratoire Jean Kuntzmann
(10)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(9)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(8)
Inria de Paris
(7)
Institut Rhône-Alpin des systèmes complexes
(6)
Inria Bordeaux - Sud-Ouest
(5)
Inria Paris-Rocquencourt
(5)
Institut de Recherche en Informatique Fondamentale
(5)
Laboratoire Bordelais de Recherche en Informatique
(4)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(4)
Inria Lille - Nord Europe
(3)
Institut de Mathématiques de Bordeaux
(3)
Institut Élie Cartan de Lorraine
(3)
Laboratoire Paul Painlevé - UMR 8524
(3)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(2)
Inria Lyon
(2)
Inria Saclay - Ile de France
(2)
LTS2 - EPFL
(2)
Laboratoire d'Informatique de Grenoble
(2)
Mathématiques et Informatique Appliquées
(2)
Mitsubishi Electric R&D Centre Europe [France]
(2)
Valeo.ai
(2)
ALTAIR Development France
(1)
Airbus Group Innovations [Suresnes]
(1)
Botanique et Modélisation de l'Architecture des Plantes et des Végétations
(1)
CITI Centre of Innovation in Telecommunications and Integration of services
(1)
Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique
(1)
Centre d'études et de recherche en informatique et communications
(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)
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)
IRILL
(1)
Inria Siège
(1)
Institut Jean Le Rond d'Alembert
(1)
Institut de recherche en informatique de Toulouse
(1)
Laboratoire Hubert Curien [Saint Etienne]
(1)
Laboratoire Informatique d'Avignon
(1)
Laboratoire Ondes et Acoustique (UMR 7587)
(1)
Laboratoire Traitement du Signal et de l'Image
(1)
Laboratoire d'Informatique Paris Descartes
(1)
Laboratoire d'informatique de l'école normale supérieure
(1)
Laboratoire de Génie Informatique
(1)
Laboratoire de Géométrie Algébrique et Applications à la Théorie de l'Information
(1)
Laboratoire de Physique de l'ENS Lyon
(1)
Laboratoire des Sciences du Numérique de Nantes
(1)
Laboratoire des signaux et systèmes
(1)
Max-Planck-Institut für Informatik
(1)
Preuves, Programmes et Systèmes
(1)
Symbolic Computation Group
(1)
VERIMAG
(1)
Écophysiologie des Plantes sous Stress environnementaux
(1)
Language
Minimize
Unknown or Invalid Language
(100)
English
(35)
French
(14)
Type of deposit
Minimize
Fulltext
(67)
Notice
(33)
Year
Minimize
2022
(7)
2021
(18)
2020
(11)
2019
(21)
2018
(15)
2017
(9)
2016
(3)
2015
(4)
2014
(2)
2013
(1)
2012
(3)
2011
(1)
2007
(1)
2001
(1)
1998
(1)
1994
(1)
1941
(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 : ORCID (string)
Author: function
Author: personID (integer)
Author: (FormID-PersonID)
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
4
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
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
hal-02092613
v1
Software
Remi Coletta
,
Emmanuel Castanier
,
Patrick Valduriez
.
WebSmatch
2014
hal-02963528
v1
Software
Ewen Camberlein
,
Romain Lebarbenchon
.
voiceHome-2 corpus - localization and speech enhancement baseline - code
2017,
⟨swh:1:dir:b36fb4814949d6a99a593785df39e81036dae275;origin=https://hal.archives-ouvertes.fr/hal-02963528;visit=swh:1:snp:0c7a3b26a2c39d6a7be4c58872b6a727a77c9236;anchor=swh:1:rev:282551cd4868b7b38f2c72e9b0ac84a22e7b8411;path=/⟩
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-01997468
v1
Software
Laurent Doyen
,
Rémy Drouilhet
.
VAM
2017
hal-02309043
v1
Software
Matthieu Kowalski
,
Emmanuel Vincent
,
Rémi Gribonval
.
Underdetermined Reverberant Source Separation
2019,
⟨swh:1:dir:ec4ae097465d9ea51589537ea94b2ea50e8d134d;origin=https://hal.archives-ouvertes.fr/hal-02309043;visit=swh:1:snp:e35494fd4cb57af0b22131ab8c4a4d8bd5cffcc6;anchor=swh:1:rev:2d23c3e68b755b720ecca8ddd5e1f8fe99909be2;path=/⟩
hal-02179513
v1
Software
Jean-Valère Cossu
,
Nicolas Dugué
,
Vincent Labatut
.
Twitter Influence - Characterization of Twitter Profiles, with an application to offline influence detection
2014,
⟨swh:1:dir:1343d720d6c3e19fa6124fd30fe23a0fa737e8e0;origin=https://hal.archives-ouvertes.fr/hal-02179513;visit=swh:1:snp:d08ff83162d7e6cf24502c4114e02e50d66bf1b0;anchor=swh:1:rev:cd96f9629ed1cfcf2bf57250db477194d8497e75;path=/⟩
hal-02101258
v1
Software
Didier Parigot
,
Benjamin Billet
,
Patrick Valduriez
.
Triton Server
2017
hal-02096028
v1
Software
Maximilien Servajean
,
Alexis Joly
.
ThePlantGame
2019
hal-01954564
v1
Software
The Coq Development Team
.
The Coq Proof Assistant, version 8.8.0
2018
hal-03146301
v1
Software
Cristian Vargas Montero
,
Hamid Rahkooy
.
Testing Unconditional Binomiality in Reversible Chemical Reaction Networks using Linear Algebra and Graph Theoretical approaches
2020,
⟨swh:1:dir:6f354b75626021ec820d2f30f8ce41de4e40b6e1;origin=https://hal.archives-ouvertes.fr/hal-03146301;visit=swh:1:snp:2606e63e5a998754f4df2c4a683bd556c2ec9b02;anchor=swh:1:rev:331bf66efe08227f4732afbb28843db025c90a92;path=/⟩
hal-03116143
v1
Software
Matteo Frigo
,
Mauro Zucchelli
,
Rachid Deriche
,
Samuel Deslauriers-Gauthier
.
TALON: Tractograms As Linear Operators in Neuroimaging
2021,
⟨swh:1:dir:f25157ad1b13cb20ac3457d4f6756b49ac63d079;origin=https://hal.archives-ouvertes.fr/hal-03116143;visit=swh:1:snp:465d89956196578717f4cb5155e456c279aa6a22;anchor=swh:1:rev:10247a14640a280b9140a27ce003d382d70cccac;path=/⟩
hal-01730321
v2
Software
Simon Archipoff
,
Cédric Augonnet
,
Olivier Aumage
,
Guillaume Beauchamp
,
Bérenger Bramas
et al.
StarPU
2017,
⟨swh:1:dir:b6e19d99449a78805e7a55a341fbaba2bc431973;origin=https://hal.archives-ouvertes.fr/hal-02443512;visit=swh:1:snp:c21d3dfbd96e4fb502c534e59644dba14c542100;anchor=swh:1:rev:31be198773f103324593d26369f135fbde5b97f8;path=/⟩
hal-02129219
v1
Software
Cassio F. 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-03681675
v1
Software
Caroline Bligny
,
Stéphane Labbé
.
sprof
2020,
⟨swh:1:dir:4a0528b7b1ae911b6e2311ff948bba1614cfe80d;origin=https://github.com/samyafk/sprof;visit=swh:1:snp:14b3b0e012d596b2176f29f40b81b782516ef3a5;anchor=swh:1:rev:109dcdb5ea85676c5ea710b0355123a64fc851d1⟩
hal-03473197
v1
Software
Alexandre Moine
,
Arthur Charguéraud
,
François Pottier
.
Specification and Verification of a Transient Stack (Artifact)
2021,
⟨swh:1:dir:80952d7602e8e9614979f1b1f50fdad8a4c369f1;origin=https://hal.archives-ouvertes.fr/hal-03473197;visit=swh:1:snp:781fc4f58efbdfa6ea16006272793bf7c610d760;anchor=swh:1:rel:3df60f40567bfdf2b365cac2fe61c6bb38d94503;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=/⟩
medihal-01535619
v1
Photos
Morane Gruenpeter
.
Software Heritage Navigation in the archive
Illustration. Paris, France. 2017
hal-03375509
v1
Software
Erven Rohou
.
Software - ANR Continuum D2.3 - Illustration of system reconfiguration due to varying conditions: same-island, and migration
2018,
⟨swh:1:dir:ad6b75ab60ccb22c063e81cff8ec403086d4396e;origin=https://hal.archives-ouvertes.fr/hal-03375509;visit=swh:1:snp:8595e9bbbbc060c6373859bde55a56352bc6d42a;anchor=swh:1:rev:6063801811e8f607e9c715f186de95043b4594a8;path=/⟩
hal-02096036
v1
Software
Olivier Buisson
,
Jean-Christophe Lombardo
,
Alexis Joly
.
Snoop
2019
hal-02960718
v1
Software
Nicolas Keriven
.
SketchMLbox -- A MATLAB toolbox for large-scale mixture learning
2018,
⟨swh:1:dir:a76f6aeb81ce73e178b8b822029d2c721ba24117;origin=https://hal.archives-ouvertes.fr/hal-02960718;visit=swh:1:snp:55fd14b490c1aef81d2582d91d911a71d0a159cf;anchor=swh:1:rev:d8de5cbab0e40297dd0d03d5c93895c568a30a99;path=/⟩
hal-03569077
v2
Software
Nathalie Azevedo Carvalho
,
Sylvain Contassot-Vivier
,
Laure Buhry
,
Dominique Martinez
.
SiReNe
2020,
⟨swh:1:dir:878020672fc98ba91b7082883a42be1baf53f9e8;origin=https://hal.archives-ouvertes.fr/hal-03569077;visit=swh:1:snp:5d68cb8cf3a2666ea64b5836f5c7c0e2ad26c227;anchor=swh:1:rel:617ff1429aaba606b7b4c8ce887124a56b2ed8f9;path=/⟩
hal-02010791
v1
Software
Philippe Garat
,
Axel Vincent
.
shinyDialect
2017
hal-02101335
v1
Software
Didier Parigot
,
Ayoub Ait Lahcen
,
Patrick Valduriez
,
Esther Pacitti
.
Shared-data Overlay Network (SON)
2012
hal-02091542
v1
Software
Roger Pissard-Gibollet
,
Benoît Sijobert
,
Christine Azevedo Coste
.
sensbiotk
2015
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-02101352
v1
Software
Dimitri Dupuis
,
Didier Parigot
,
Patrick Valduriez
.
SciFloware
2017
hal-02092998
v1
Software
Hermano Lustosa
,
Fabio Porto
,
Patrick Valduriez
.
SAVIME (Simulation And Visualization IN-Memory)
2017
hal-02091230
v1
Software
Daniel Simon
,
Samy Lafnoune
.
RT$\_$Stim : Real-Time simulation for functional electrical Stimulation
2019
hal-03683008
v1
Software
Sandie Ferrigno
,
Dounia Essaket
,
Arthur Mouchot
,
Hugo Breton
,
Myriam Maumy-Bertrand
.
quantCurves:Estimate Quantiles Curves
2022,
⟨swh:1:dir:0dada269f87de4a5764bc7ba37e9c5843c273e34;origin=https://hal.archives-ouvertes.fr/hal-03683008;visit=swh:1:snp:9d0ab5466bba609329cceb209dcf50d4067585e8;anchor=swh:1:rel:28715855bcbd3f486c88f9982e40a71d26f42d9d;path=/⟩
hal-02071874
v1
Software
Romain Veltz
.
PseudoArcLengthContinuation.jl
2019,
⟨swh:1:dir:9f85c8f51850028a9fbc03463c74de29a2d24c6c;origin=https://hal.archives-ouvertes.fr/hal-02071874;visit=swh:1:snp:96df3cd8f41a04650ca4e93b2610f839c02d2899;anchor=swh:1:rev:60df0a6859f42cad7170a8560c768ff239190d3a;path=/⟩
1
2
3
4
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
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.