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-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-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-02961482
v1
Software
Aurel Page
.
abelianbnf
2020,
⟨swh:1:dir:2028b86e77e21a66f522a8d0e2bcf6c341f6a4b4;origin=https://hal.archives-ouvertes.fr/hal-02961482;visit=swh:1:snp:fcf14abf20c8f027f2e290c472ea9ca7710b4dee;anchor=swh:1:rev:9235b295296670186eeace394da3cbd1abb1f53b;path=/⟩
hal-01086759
v1
Software
Antoine Rousseau
,
Alain Rapaport
,
Alexis Pacholik
,
Christine Leininger
.
Action Dépollution
2014
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-02902346
v1
Software
Romain Veltz
.
BifurcationKit.jl
2020,
⟨swh:1:dir:257669cd4bf202bc8393a4efa22bfe5f6f517b03;origin=https://hal.archives-ouvertes.fr/hal-02902346;visit=swh:1:snp:73c1c5e9525b1b9b09b8a79ca056057fcb26b8a9;anchor=swh:1:rev:31bea805201b64435aa28e4d036e156ab189c3d5;path=/⟩
hal-02011057
v1
Software
Vincent Brault
,
Julien Chiquet
.
blockseg: Two Dimensional Change-Points Detection
2018
hal-02099620
v1
Software
The Cado-Nfs Development Team
.
CADO-NFS, An Implementation of the Number Field Sieve Algorithm
2019
hal-01863457
v1
Software
Bruno Blanchet
,
Xavier Leroy
,
Damien Doligez
,
François Rouaix
,
Jérôme Vouillon
et al.
CamlDim
1998,
⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/⟩
hal-02960705
v1
Software
Cagdas Bilen
,
Gilles Puy
.
CBC4CS (Convex Blind Calibration for Compressive Sensing) Toolbox
2013,
⟨swh:1:dir:eddac332b1d60e77d6041a358d6f996a182eee22;origin=https://hal.archives-ouvertes.fr/hal-02960705;visit=swh:1:snp:ad8935e3745a8959fd3aa6b47a9b35efcce1965c;anchor=swh:1:rev:6f777f00b71ace9c14b5eadbaac74262e069f9ee;path=/⟩
hal-02983422
v1
Software
Mikhail Bogdanov
,
Iordan Iordanov
,
Monique Teillaud
.
CGAL 2D Hyperbolic Delaunay Triangulations
2019,
⟨swh:1:dir:abc0e2cbbfdfee8de52f0842263fbadf65f5b211;origin=https://github.com/CGAL/cgal;visit=swh:1:snp:78e145aa8174e576786284475a76cf6f187b3475;anchor=swh:1:rev:b86a5018c7f5f733c80fe40eee65803c112f2685;path=/Hyperbolic_triangulation_2/⟩
hal-02983428
v1
Software
Iordan Iordanov
,
Monique Teillaud
.
CGAL 2D Periodic Hyperbolic Triangulations
2019,
⟨swh:1:dir:dfdf65a9a08cd38acb792ec08fbb596e4f515167;origin=https://github.com/CGAL/cgal;visit=swh:1:snp:78e145aa8174e576786284475a76cf6f187b3475;anchor=swh:1:rev:b86a5018c7f5f733c80fe40eee65803c112f2685;path=/Periodic_4_hyperbolic_triangulation_2/⟩
hal-02983420
v1
Software
Mikhail Bogdanov
,
Aymeric Pellé
,
Mael Rouxel-Labbé
,
Monique Teillaud
.
CGAL 3D Periodic Mesh Generation
2018,
⟨swh:1:dir:0a5e5b721c21330f31a0511621a934d9aec38e4f;origin=https://github.com/CGAL/cgal;visit=swh:1:snp:78e145aa8174e576786284475a76cf6f187b3475;anchor=swh:1:rev:b86a5018c7f5f733c80fe40eee65803c112f2685;path=/Periodic_3_mesh_3/⟩
hal-02092571
v1
Software
Boyan Kolev
,
Oleksandra Levchenko
,
Carlyna Bondiombouy
,
Patrick Valduriez
.
CloudMdsQL
2016
hal-02960679
v1
Software
Nicolas Tremblay
,
Gilles Puy
,
Rémi Gribonval
,
Pierre Vandergheynst
.
Compressive Spectral Clustering Toolbox
2016,
⟨swh:1:dir:8bfdf74037ae1c51335995891c6226e0f85e46e2;origin=https://hal.archives-ouvertes.fr/hal-02960679;visit=swh:1:snp:bc4a2ddf84dd0cc13d74e1970a1471c2574ed6aa;anchor=swh:1:rev:4a9d637ba507a2b93365250428e6e3f021f194d0;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-01831364
v1
Software
Thibaut Girka
.
correlating_program
2018,
⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
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-02094966
v1
Software
Daniel de Oliveira
,
Vítor Silva
,
Patrick Valduriez
,
Marta Mattoso
.
DfAnalyzer
2018
hal-02159005
v2
Software
Lionel Eyraud-Dubois
,
Louis-Claude Canon
.
Experimental code and data for the paper "Scheduling on Two Types of Resources: a Survey
2019,
⟨swh:1:dir:fe5a230ec88d49ecd9790d2199f23b5c5b72abbe;origin=https://hal.archives-ouvertes.fr/hal-02159005;visit=swh:1:snp:6c6bd2ef190e40d7026749369725dd954c1c75d6;anchor=swh:1:rev:b2af27e129fad7558d725e6b60da7aaea5b0c86f;path=/⟩
hal-02906179
v1
Software
Bérenger Bramas
.
Farm-SVE: A scalar C++ implementation of the ARM® Scalable Vector Extension (SVE)
2020,
⟨swh:1:dir:1d1509453950e3569b5f55a6dece1da5eeab9572;origin=https://hal.archives-ouvertes.fr/hal-02906179;visit=swh:1:snp:3506821b2a12082a9bcb490b05b446053c9a940d;anchor=swh:1:rev:7f55f2b6c15d89f826730cf89f500d340d4aefa8;path=/⟩
hal-02128878
v1
Software
The Fflas-Ffpack Group
.
FFLAS-FFPACK
2019,
⟨swh:1:dir:6c36b055a48b4415ec5d864f6943f0d3082bd44b;origin=https://hal.archives-ouvertes.fr/hal-02128878;visit=swh:1:snp:508f4adf76ec4ad481e2fbc5fdb312a13a7a0b4b;anchor=swh:1:rev:4201397494d9af8b687117e8ff4d85a8944f5c5a;path=/⟩
hal-01767263
v1
Software
Yves Bertot
.
Formal study in Coq of pi computations using arithmetic-geometric means
2018,
⟨swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263;visit=swh:1:snp:cd55c2657ac70c9b15ae4384b6af1ae6ce8df512;anchor=swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed;path=/⟩
hal-02093002
v1
Software
Miguel Liroz-Gistau
,
Reza Akbarinia
,
Patrick Valduriez
.
FP-Hadoop
2019
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-01827043
v1
Software
Angelos Mantzaflaris
.
Geometry plus Simulation Modules (G+Smo)
2018
hal-02130729
v1
Software
The Givaro Group
.
Givaro
2019,
⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d;origin=https://hal.archives-ouvertes.fr/hal-02130729;visit=swh:1:snp:da818bf8900aa772999896546db83b8e9cbe9f6f;anchor=swh:1:rev:5a63bd17a83030740eb27a980fe14a7a37f47efe;path=/⟩
hal-01985043
v1
Software
Stéphane Despréaux
,
Aude Maignan
.
GPaR
2018
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=/⟩
hal-02095640
v1
Software
Oleksandra Levchenko
,
Djamel-Edine Yagoubi
,
Reza Akbarinia
,
Florent Masseglia
,
Boyan Kolev
et al.
Imitates
2019
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.