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
Submit
Browse
By publication type
By publication year
By subject
By laboratory
By author
By collection
Search
Theses
Help to deposit
Create your idHAL and your CV
Deposit a document
Deposit in HAL with Dissemin
Contact
Legal questions
Am I entitled to deposit my paper ?
All answers
To know more about the law
FAQ
Tools
AureHAL
SpirHAL
HALTools
OCdHAL
OverHAL
X2HAL
Search
Les Filtres
Filters
Structure/laboratory: Name ×
Document type ×
producedDateY_i ×
All ×
7 results
save search
Document types
Minimize
Journal articles
(7)
Conference papers
(13)
Book sections
(3)
Directions of work or proceedings
(1)
Master thesis
(1)
Reports
(1)
Author
Minimize
Rim Akrout
(1)
Eric Alata
(1)
Yann Bachy
(1)
Frédérique Barloy-Hubler
(1)
X Barreau
(1)
A Benaissa
(1)
Jean-Paul Bodeveix
(2)
Pascal Le Bourgeois
(1)
C Cognard
(1)
Miguel Nuñez del Prado Cortez
(1)
V Costalat
(1)
P Courtheoux
(1)
H Desal
(1)
Sergine Even
(1)
Hélène Falentin
(1)
Patrice François
(1)
Jesús Friginal
(1)
Sébastien Gambs
(2)
J-Y Gauvrit
(1)
Jérémie Guiochet
(1)
D Herbreteau
(1)
David Hernandez
(1)
Kai Hu
(2)
A-C Januel
(1)
Mohamed Kaâniche
(1)
Marc-Olivier Killijian
(2)
Dominique Lavenier
(1)
Yves Le Loir
(1)
Pascal Loubière
(1)
Valentin Loux
(1)
Romaric Ludinard
(1)
Dianfu Ma
(2)
J Moret
(1)
Delphine Naquin
(1)
Vincent Nicomette
(1)
Sebastien Nouaille
(1)
C Papagiannaki
(1)
Lei Pi
(2)
L Pierot
(1)
Jacques Schrenzel
(1)
L Spelle
(1)
Jean-Pierre Talpin
(2)
Eric Totel
(1)
Frédéric Tronel
(1)
F Turjman
(1)
S Velasco
(1)
Zhibin Yang
(2)
Subject field
Minimize
Computer Science [cs]
(4)
Life Sciences [q-bio]
(2)
Cognitive science
(1)
Laboratory
Minimize
Institut de Recherche en Informatique et Systèmes Aléatoires
(7)
Inria Rennes – Bretagne Atlantique
(7)
Laboratoire d'analyse et d'architecture des systèmes
(3)
Institut de recherche en informatique de Toulouse
(2)
CHU Montpellier
(1)
Department of Interventional Neuroradiology
(1)
Department of Neuroradiology
(1)
Département de Neuroradiologie [CHU Reims]
(1)
Départment de Neuroradiologie [CHU Caen]
(1)
Genomic Research Laboratory
(1)
Hôpital Maison Blanche
(1)
Laboratoire d'Ingénierie des Systèmes Biologiques et des Procédés
(1)
Laboratoire de microbiologie et génétique moléculaires
(1)
Neuroradiologie Diagnostique et Thérapeutique [Toulouse]
(1)
School of Computer Science And Engineering (Beijing, China)
(1)
School of Computer Science and Engineering [Beijing]
(1)
Science et Technologie du Lait et de l'Oeuf
(1)
Service de Neuroradiologie Interventionnelle et Fonctionnelle
(1)
Service de neuroradiologie [Nantes]
(1)
Service de radiologie et imagerie médicale [Rennes]
(1)
UMR 6026 Interactions cellulaires et Moléculaires , Campus de Beaulieu
(1)
Unité Mathématique, Informatique et Génome
(1)
Language
Minimize
English
(7)
Type of deposit
Minimize
Fulltext
(5)
Notice
(2)
Year
Minimize
2014
(7)
2020
(14)
2019
(11)
2018
(16)
2017
(4)
2016
(9)
2015
(8)
2013
(8)
2012
(7)
2011
(3)
2010
(2)
2009
(6)
2008
(2)
2007
(2)
2006
(1)
2005
(1)
2004
(1)
2000
(1)
1998
(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
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-01083296
v1
Journal articles
Romaric Ludinard
,
Eric Totel
,
Frédéric Tronel
,
Vincent Nicomette
,
Mohamed Kaâniche
et al.
An Invariant-based Approach for Detecting Attacks against Data in Web Applications
International journal of secure software engineering
, IGI Global, 2014, 5 (1), pp.19-38.
⟨10.4018/ijsse.2014010102⟩
hal-01095002
v1
Journal articles
Zhibin Yang
,
Kai Hu
,
Dianfu Ma
,
Jean-Paul Bodeveix
,
Lei Pi
et al.
From AADL to timed abstract state machine: a certified model transformation
Journal of Systems and Software
, Elsevier, 2014, Journal of Systems and Software, pp.20
inserm-01102684
v1
Journal articles
C Papagiannaki
,
L Spelle
,
A-C Januel
,
A Benaissa
,
J-Y Gauvrit
et al.
WEB intrasaccular flow disruptor-prospective, multicenter experience in 83 patients with 85 aneurysms.
American Journal of Neuroradiology
, American Society of Neuroradiology, 2014, pp.2106-11.
⟨10.3174/ajnr.A4028⟩
hal-01123837
v1
Journal articles
Zhibin Yang
,
Kai Hu
,
Dianfu Ma
,
Jean-Paul Bodeveix
,
Lei Pi
et al.
From AADL to Timed Abstract State Machines: A Verified Model Transformation
Journal of Systems and Software
, Elsevier, 2014, vol. 93, pp. 42-68.
⟨10.1016/j.jss.2014.02.058⟩
hal-01242263
v1
Journal articles
Jesús Friginal
,
Sébastien Gambs
,
Jérémie Guiochet
,
Marc-Olivier Killijian
.
Towards privacy-driven design of a dynamic carpooling system
Pervasive and Mobile Computing
, Elsevier, 2014, 14, pp.71-82.
⟨10.1016/j.pmcj.2014.05.009⟩
hal-01242268
v1
Journal articles
Sébastien Gambs
,
Marc-Olivier Killijian
,
Miguel Nuñez del Prado Cortez
.
De-anonymization attack on geolocated data
Journal of Computer and System Sciences
, Elsevier, 2014, 80 (8), pp.1597-1614.
⟨10.1016/j.jcss.2014.04.024⟩
hal-01019560
v1
Journal articles
Hélène Falentin
,
Delphine Naquin
,
Valentin Loux
,
Frédérique Barloy-Hubler
,
Pascal Loubière
et al.
Genome Sequence of Lactococcus lactis subsp. lactis bv. diacetylactis LD61.
Genome Announcements
, American Society for Microbiology, 2014, 2 (1), pp.1.
⟨10.1128/genomeA.01176-13⟩
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.