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
producedDateY_i ×
Document type ×
Structure/laboratory: Name ×
All ×
31 results
save search
Document types
Minimize
Journal articles
(31)
Conference papers
(85)
Reports
(17)
Book sections
(4)
Directions of work or proceedings
(4)
Preprints, Working Papers, ...
(3)
Books
(2)
Author
Minimize
Emile Aben
(1)
Samir Aknine
(1)
Jordan Auge
(1)
Bernd Bank
(1)
Bruno Baynat
(2)
Thomas Begin
(1)
Reda Bendraou
(1)
Luk Bettale
(1)
Robert Beverly
(1)
Silvia Bianchi
(1)
Xavier Blanc
(1)
Nizar Bouabdallah
(1)
Gérald Bourgeois
(1)
Raouf Boutaba
(1)
Zohir Bouzid
(1)
Alexandre Brandwajn
(1)
Jean-Pierre Briot
(1)
Fabiàn E. Bustamante
(1)
Philippe Caillou
(1)
Eddy Caron
(1)
Damien Chablat
(1)
Jaideep Chandrashekar
(1)
Jinsan Cheng
(1)
Kimberly C. Claffy
(1)
Julien Clement
(1)
Olivier Coulaud
(1)
Frédéric Desprez
(1)
Florian Diedrich
(1)
Yoann Dieudonné
(1)
Mohab Safey El Din
(1)
Mohab Safey El Din
(1)
Benoit Donnet
(2)
Xavier Défago
(1)
Eric Eide
(1)
Noura Faci
(1)
Jean-Charles Faugère
(2)
Serge Fdida
(1)
Pascal Felber
(1)
Marina Fomenkov
(1)
Pierre Fortin
(1)
Timur Friedman
(2)
Marie-Pierre Gervais
(1)
Marc Giusti
(1)
Zahia Guessoum
(1)
Péter Haga
(1)
René Hansen
(1)
Joos Heintz
(1)
Taisuke Izumi
(1)
Klaus Jansen
(1)
Diana Zeaiter Joumblatt
(1)
Jean-Marc Jézéquel
(1)
Pierre-Vincent Koseleff
(2)
Ouiddad Labbani-Igbida
(1)
Rami Langar
(1)
Julia Lawall
(1)
Sylvain Lazard
(1)
Daniel Lazard
(1)
Françoise Levy-Dit-Vehel
(1)
Xiaoliang Li
(1)
Matthew J. Luckie
(1)
Olivier Marin
(1)
Stéphane Messika
(1)
Nathalie Mitton
(1)
Guillaume Moroz
(1)
Chenqi Mou
(1)
Gilles Muller
(2)
Nicolas Palix
(1)
Katy Paroux
(1)
Fanny Pascual
(1)
Daniel Pecker
(2)
Ludovic Perret
(2)
Franck Petit
(1)
Franck Petit
(1)
Luis Peñaranda
(1)
Suzanne Pinson
(1)
Maria Gradinariu Potop-Butucaru
(3)
Marc Pouget
(1)
Christian Queinnec
(2)
Jean Roman
(1)
Fabrice Rouillier
(3)
Éric Schost
(1)
Bruno Sericola
(1)
Manuel Serrano
(2)
Yuval Shavitt
(1)
Olaf Spinczyk
(1)
Nina Taft
(1)
Cédric Tedeschi
(1)
Renata Teixeira
(1)
Sébastien Tixeuil
(1)
Sébastien Tixeuil
(1)
Denis Trystram
(1)
Elias Tsigaridas
(1)
Dongming Wang
(1)
Philippe Wenger
(1)
Bernd Wolfinger
(1)
Lihong Zhi
(1)
Subject field
Minimize
Computer Science [cs]
(29)
Mathematics [math]
(3)
Laboratory
Minimize
Laboratoire d'Informatique de Paris 6
(31)
Inria Paris-Rocquencourt
(19)
Inria Rennes – Bretagne Atlantique
(4)
Institut de Recherche en Informatique et Systèmes Aléatoires
(4)
Inria Grenoble - Rhône-Alpes
(3)
Laboratory of Information, Network and Communication Sciences
(3)
Department of Computer Science
(2)
INRIA Lorraine
(2)
Inria Sophia Antipolis - Méditerranée
(2)
Key Laboratory of Mathematics Mechanization
(2)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(2)
Laboratoire de Recherche en Informatique
(2)
Laboratoire de l'Informatique du Parallélisme
(2)
Department of Computer Science [Aarhus]
(1)
Department of Computer Science [Copenhagen]
(1)
Department of Informatics [Hamburg]
(1)
Department of Mathematics, Statistics and Computing
(1)
Inria Bordeaux - Sud-Ouest
(1)
Inria Lille - Nord Europe
(1)
Inria Saclay - Ile de France
(1)
Institut de Recherche en Communications et en Cybernétique de Nantes
(1)
Institut für Mathematik [Humboldt]
(1)
Intel Labs Berkeley
(1)
Jack Baskin School of Engineering
(1)
LMIB - SKLSDE - SMSS
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(1)
Laboratoire d'Informatique Fondamentale de Lille
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(1)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1)
Laboratoire de Mathématiques de Besançon (UMR 6623)
(1)
Laboratoire de Recherche en Informatique d'Amiens
(1)
Modélisation, Information & Systèmes
(1)
Montefiore Institute
(1)
School of Information Science [Ishikawa]
(1)
Language
Minimize
English
(30)
French
(1)
Type of deposit
Minimize
Notice
(22)
Fulltext
(9)
Year
Minimize
2010
(31)
2019
(1)
2018
(1)
2017
(31)
2016
(37)
2015
(32)
2014
(26)
2013
(42)
2012
(37)
2011
(40)
2009
(18)
2008
(14)
2007
(5)
2006
(3)
2005
(6)
2004
(9)
2003
(2)
2002
(2)
2001
(3)
2000
(4)
1999
(2)
1998
(2)
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
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-01170014
v1
Journal articles
Zahia Guessoum
,
Jean-Pierre Briot
,
Noura Faci
,
Olivier Marin
.
Towards reliable multi-agent systems: An adaptive replication mechanism
Multiagent and Grid Systems - An International Journal of Cloud Computing
, IOS Press, 2010, 6 (1), pp.1-24.
⟨10.3233/MGS-2010-0139⟩
hal-00429510
v1
Journal articles
Pierre-Vincent Koseleff
,
Daniel Pecker
,
Fabrice Rouillier
.
The first rational Chebyshev knots
Journal of Symbolic Computation
, Elsevier, 2010, 45 (12), pp.1341-1358.
⟨10.1016/j.jsc.2010.06.014⟩
hal-01197386
v1
Journal articles
Julien Clement
,
Xavier Défago
,
Maria Gradinariu Potop-Butucaru
,
Taisuke Izumi
,
Stéphane Messika
.
The cost of probabilistic agreement in oblivious robot networks
Information Processing Letters
, Elsevier, 2010, 110 (11), pp.431-438.
⟨10.1016/j.ipl.2010.04.006⟩
hal-00833336
v1
Journal articles
Kimberly C. Claffy
,
Emile Aben
,
Jordan Auge
,
Robert Beverly
,
Fabiàn E. Bustamante
et al.
The 2nd workshop on active internet measurements (AIMS-2) report
Computer Communication Review
, Association for Computing Machinery, 2010, 40 (5), pp.53--58.
⟨10.1145/1880153.1880162⟩
hal-01197391
v1
Journal articles
Silvia Bianchi
,
Pascal Felber
,
Maria Gradinariu Potop-Butucaru
.
Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing
IEEE Transactions on Parallel and Distributed Systems
, Institute of Electrical and Electronics Engineers, 2010, 21 (8), pp.1175-1187.
⟨10.1109/TPDS.2009.131⟩
hal-01427726
v1
Journal articles
Eddy Caron
,
Frédéric Desprez
,
Franck Petit
,
Cédric Tedeschi
.
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems
Parallel Processing Letters
, World Scientific Publishing, 2010, 20 (1), pp.15-30.
⟨10.1142/S012962641000003X⟩
hal-00974889
v1
Journal articles
Françoise Levy-Dit-Vehel
,
Ludovic Perret
.
Security Analysis of Word Problem-Based Cryptosystems
Designs, Codes and Cryptography
, Springer Verlag, 2010, 54 (1), pp.29-41.
⟨10.1007/s10623-009-9307-x⟩
inria-00370430
v1
Journal articles
Philippe Caillou
,
Samir Aknine
,
Suzanne Pinson
.
Searching Pareto-optimal solutions for the problem of forming and restructuring coalitions in multi-agents systems
Group Decision and Negotiation
, INFORMS, 2010, 19 (1), pp.7-37.
⟨10.1007/s10726-009-9183-9⟩
hal-01197398
v1
Journal articles
Eric Eide
,
Gilles Muller
,
Olaf Spinczyk
.
Report on 5th workshop on programming languages and operating systems (PLOS)
Operating Systems Review
, Association for Computing Machinery, 2010, 43 (4), pp.31-34.
⟨10.1145/1713254.1713262⟩
hal-00626924
v1
Journal articles
Diana Zeaiter Joumblatt
,
Renata Teixeira
,
Jaideep Chandrashekar
,
Nina Taft
.
Perspectives on Tracing End-Hosts: A Survey Summary
Computer Communication Review
, Association for Computing Machinery, 2010, 40 (2), pp.51-55
hal-01151863
v1
Journal articles
Zohir Bouzid
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
.
Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks
Theoretical Computer Science
, Elsevier, 2010, 411 (34-36), pp.3154-3168.
⟨10.1016/j.tcs.2010.05.006⟩
inria-00517175
v1
Journal articles
Jinsan Cheng
,
Sylvain Lazard
,
Luis Peñaranda
,
Marc Pouget
,
Fabrice Rouillier
et al.
On the topology of real algebraic plane curves
Mathematics in Computer Science
, Springer, 2010, 4 (1), pp.113-137.
⟨10.1007/s11786-010-0044-3⟩
hal-01148162
v1
Journal articles
Bernd Bank
,
Marc Giusti
,
Joos Heintz
,
Mohab Safey El Din
,
Éric Schost
.
On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing
, Springer Verlag, 2010, 21 (1), pp.33--83.
⟨10.1007/s00200-009-0117-1⟩
hal-00545502
v1
Journal articles
Guillaume Moroz
,
Fabrice Rouillier
,
Damien Chablat
,
Philippe Wenger
.
On the determination of cusp points of 3-R\underline{P}R parallel manipulators
Mechanism and Machine Theory
, Elsevier, 2010, 45 (11), pp.1555-1567.
⟨10.1016/j.mechmachtheory.2010.06.016⟩
hal-00408736
v1
Journal articles
Pierre-Vincent Koseleff
,
Daniel Pecker
.
On Fibonacci Knots
The Fibonacci Quarterly
, Dalhousie University, 2010, 48 (2), pp.137-143
hal-00940366
v1
Journal articles
Julia Lawall
,
René Hansen
,
Nicolas Palix
,
Gilles Muller
.
Improving the Security of Infrastructure Software using Coccinelle.
ERCIM News
, ERCIM, 2010, pp.54
hal-00832981
v1
Journal articles
Benoit Donnet
,
Bruno Baynat
,
Timur Friedman
.
Improving Retouched Bloom Filter for Trading off Selected False Positives Against False Negatives
Computer Networks
, Elsevier, 2010, 54 (18), pp.3373--3387.
⟨10.1016/j.comnet.2010.07.003⟩
hal-01148127
v1
Journal articles
Luk Bettale
,
Jean-Charles Faugère
,
Ludovic Perret
.
Hybrid approach for solving multivariate systems over finite fields
Journal of Mathematical Cryptology
, De Gruyter, 2010, 3 (3), pp.177--197.
⟨10.1515/jmc.2009.009⟩
hal-00498507
v1
Journal articles
Manuel Serrano
,
Christian Queinnec
.
HTML5 VIDEO portable avec Hop
GNU/Linux Magazine
, Diamond Editions, 2010, pp.92-98
hal-01146520
v1
Journal articles
Olivier Coulaud
,
Pierre Fortin
,
Jean Roman
.
High-performance BLAS formulation of the adaptive Fast Multipole Method
Mathematical and Computer Modelling
, Elsevier, 2010, 51 (3-4), pp.177-188.
⟨10.1016/j.mcm.2009.08.039⟩
inria-00539821
v1
Journal articles
Thomas Begin
,
Alexandre Brandwajn
,
Bruno Baynat
,
Bernd Wolfinger
,
Serge Fdida
.
High-level Approach to Modeling of Observed System Behavior
Performance Evaluation
, Elsevier, 2010, 67 (5), pp.386-405.
⟨10.1016/j.peva.2009.11.002⟩
hal-01008759
v1
Journal articles
Yoann Dieudonné
,
Ouiddad Labbani-Igbida
,
Franck Petit
.
Deterministic Robot-Network Localization is Hard
IEEE Transactions on Robotics
, IEEE, 2010, 26 (2), pp.331-339.
⟨10.1109/tro.2010.2042753⟩
hal-00793307
v1
Journal articles
Nizar Bouabdallah
,
Rami Langar
,
Raouf Boutaba
.
Design and Analysis of Mobility-Aware Clustering Algorithms for Wireless Mesh Networks
IEEE/ACM Transactions on Networking
, IEEE/ACM, 2010, 18 (6), pp.1677-1690.
⟨10.1109/TNET.2010.2049579⟩
hal-00706787
v1
Journal articles
Xiaoliang Li
,
Chenqi Mou
,
Dongming Wang
.
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case
Computers and Mathematics with Applications
, Elsevier, 2010, 60 (11), pp.2983-2997.
⟨10.1016/j.camwa.2010.09.059⟩
inria-00419983
v1
Journal articles
Mohab Safey El Din
,
Lihong Zhi
.
Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
SIAM Journal on Optimization
, Society for Industrial and Applied Mathematics, 2010, 20 (6), pp.2876-2889.
⟨10.1137/090772459⟩
hal-01148164
v1
Journal articles
Daniel Lazard
.
CAD and topology of semi-algebraic sets
Mathematics in Computer Science
, Springer, 2010, 4 (1), pp.93--112.
⟨10.1007/s11786-010-0047-0⟩
hal-00384027
v1
Journal articles
Nathalie Mitton
,
Katy Paroux
,
Bruno Sericola
,
Sébastien Tixeuil
.
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks
Methodology and Computing in Applied Probability
, Springer Verlag, 2010, 12 (1), pp.51-62.
⟨10.1007/s11009-008-9088-0⟩
hal-00798443
v1
Journal articles
Florian Diedrich
,
Klaus Jansen
,
Fanny Pascual
,
Denis Trystram
.
Approximation algorithms for scheduling with reservations
Algorithmica
, Springer Verlag, 2010, 58 (2), pp.391-404.
⟨10.1007/s00453-008-9271-2⟩
hal-01148133
v1
Journal articles
Gérald Bourgeois
,
Jean-Charles Faugère
.
Algebraic Attack on NTRU using Witt Vectors and Gröbner bases
Journal of Mathematical Cryptology
, De Gruyter, 2010, 3 (3), pp.205--214.
⟨10.1515/jmc.2009.011⟩
hal-00498502
v1
Journal articles
Manuel Serrano
,
Christian Queinnec
.
A simplified multi-tiers semantics for Hop
Higher-Order and Symbolic Computation
, Springer Verlag, 2010, pp.1-23.
⟨10.1007/s10990-010-9061-9⟩
1
2
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.