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
Author: Full name ×
All ×
6 results
save search
Document types
Minimize
Conference papers
(3)
Journal articles
(2)
Reports
(1)
Author
Minimize
Thierry Gautier
(6)
Khalid Omer Abualnaja
(1)
Tanveer Ahmad
(1)
Abdulrahman Labeed Al-Malki
(1)
Cortier Alexandre
(1)
Mahmoud Alhosin
(1)
Leonid Andronov
(1)
Dimitar Angelov
(1)
Tadao Asami
(1)
Waseem Ashraf
(1)
Jan Bednar
(1)
Loïc Besnard
(4)
Jean-Paul Bodeveix
(2)
Ramachandran Boopathi
(1)
Christian Bronner
(1)
Jérémy Buisson
(2)
Jennifer Byrne
(1)
Hani Choudhry
(1)
Alexandre Cortier
(2)
Corinne Crucifix
(1)
Amber Cutter
(1)
Fabien Dagnat
(2)
Defne Dalkara
(1)
Stefan Dimitrov
(1)
Eric Ennifar
(1)
Bertrand Favier
(2)
Emeline Fontaine
(1)
Catherine Fromental-Ramain
(1)
Gérald Garcia
(1)
G. Garcia
(1)
Isabel Garcia-Saez
(1)
Yann Glouche
(1)
Stéphanie Le Gras
(1)
Paul Le Guernic
(1)
Majed Halwani
(1)
Ali Hamiche
(1)
Mohammed Nihal Hasan
(1)
Mohammed Hassan
(1)
Jeffrey Hayes
(1)
Abdulkhaleg Ibrahim
(1)
Maria Ignatyeva
(1)
Bernard Jost
(1)
Bruno Klaholz
(1)
Taha Abduallah Kumosani
(1)
Tapas Kundu
(1)
Hitoshi Kurumizaka
(1)
Chrysa Latrick
(1)
Odile Laurent
(1)
Richard Lavery
(1)
Imtiaz nizar Lone
(1)
Imtiaz Nisar Lone
(1)
Martin Marek
(1)
Hervé Menoni
(1)
Jonathan Michalon
(1)
Said Salama Moselhy
(1)
Marc Mousli
(1)
Mladen Naidenov
(1)
Marjolaine Noirclerc-Savoye
(1)
Arnaud Obri
(1)
Igor Orlov
(1)
Aysegul Ors
(1)
Khalid Ouararhni
(1)
Julien Ouy
(3)
Mehmet Ozturk
(1)
Kiran Padmanabhan
(1)
Marc Pantel
(2)
Gabor Papai
(1)
Christophe Papin
(1)
Carlo Petosa
(1)
Philippe Ramain
(1)
Lorrie Ramos
(1)
Syed Shoeb Razvi
(1)
Anna Reymer
(1)
John Lalith Charles Richard
(1)
Ludovic Richert
(1)
Christophe Romier
(1)
Aline Le Roy
(1)
Ana-Elena Rugina
(2)
Abhishek Bharadwaj Sharma
(1)
Muhammad Shuaib
(1)
Manu Shubhdarshan Shukla
(1)
Manu Shukla
(1)
Elsa Ben Simon
(1)
Dimitrios Skoufias
(1)
Lama Soueidan
(1)
Isabelle Stoll
(1)
Martin Strecker
(2)
Sajad Syed
(1)
Sajad hussain Syed
(1)
Hiroaki Tachiwana
(1)
Jean-Pierre Talpin
(4)
Ognyan Tonchev
(1)
Andres Toom
(1)
Eric Van dyck
(1)
Amandine Velt
(1)
Jean-Luc Vonesch
(1)
Rachael West
(1)
Huafeng Yu
(1)
Liliyana Zaayter
(1)
Mazin Zamzami
(1)
Subject field
Minimize
Computer Science [cs]
(5)
Life Sciences [q-bio]
(1)
Laboratory
Minimize
Inria Rennes – Bretagne Atlantique
(5)
Institut de Recherche en Informatique et Systèmes Aléatoires
(5)
Institut de recherche en informatique de Toulouse
(5)
Institute for Advanced Biosciences | Institut pour l'Avancée des Biosciences (Grenoble)
(2)
Thales Alenia Space [Cannes]
(2)
ASTRIUM
(1)
Architecture et réactivité de l'ARN
(1)
Astrium [Toulouse]
(1)
Biologie moléculaire et cellulaire de la différenciation
(1)
Department of Medical Biology and Genetics
(1)
Fonctions et dysfonctions épithéliales - UFC (EA 4267)
(1)
Institut cellule souche et cerveau
(1)
Institut d'oncologie|développement Albert Bonniot de Grenoble
(1)
Institut de Génétique et de Biologie Moléculaire et Cellulaire
(1)
Institut de Recherche Interdisciplinaire de Grenoble
(1)
Institut de biologie et chimie des protéines [Lyon]
(1)
Institut de génétique et biologie moléculaire et cellulaire
(1)
Institute for advanced biosciences
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire de Bioimagerie et Pathologies
(1)
Laboratoire de Biologie Moléculaire de la Cellule
(1)
Laboratoire de Biophotonique et Pharmacologie - UMR 7213
(1)
Laboratoire de Spectrométrie Physique
(1)
Laboratoire de biochimie théorique [Paris]
(1)
Laboratoire de biologie moléculaire eucaryote
(1)
Molecular Biology and Genetics Unit [Bangalore, India]
(1)
Santé de la vigne et qualité du vin
(1)
Language
Minimize
English
(6)
Type of deposit
Minimize
Fulltext
(4)
Notice
(2)
Year
Minimize
2020
(1)
2016
(1)
2011
(1)
2009
(3)
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-00624134
v1
Conference papers
Loïc Besnard
,
Thierry Gautier
,
Julien Ouy
,
Jean-Pierre Talpin
,
Jean-Paul Bodeveix
et al.
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software
FM 09 - Workshop on Formal Methods for Aerospace
, Nov 2009, Eindhoven, Netherlands. pp.80-87,
⟨10.4204/EPTCS.20.9⟩
inria-00417682
v1
Reports
Jean-Pierre Talpin
,
Julien Ouy
,
Thierry Gautier
,
Loïc Besnard
,
Cortier Alexandre
.
Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment
[Research Report] RR-7036, INRIA. 2009, pp.22
inria-00536907
v1
Conference papers
Huafeng Yu
,
Yue Ma
,
Yann Glouche
,
Jean-Pierre Talpin
,
Loïc Besnard
et al.
System-level Co-simulation of Integrated Avionics Using Polychrony
ACM Symposium On Applied Computing
, Mar 2011, TaiChung, Taiwan. 6 p
hal-00788450
v1
Conference papers
Alexandre Cortier
,
Loïc Besnard
,
Jean-Paul Bodeveix
,
Jérémy Buisson
,
Fabien Dagnat
et al.
Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace
, Nov 2009, Eindhoven, Netherlands
hal-02373115
v1
Journal articles
Abhishek Bharadwaj Sharma
,
Eric Van dyck
,
Syed Shoeb Razvi
,
Mohammed Nihal Hasan
,
Mohammed Hassan
et al.
H1–nucleosome interactions and their functional implications
Biochimica et Biophysica Acta - Gene Regulatory Mechanisms
, Elsevier, 2016, 1859 (3), pp.436-443.
⟨10.1016/j.bbagrm.2015.10.012⟩
hal-02911605
v1
Journal articles
Cyril Labbé
,
Guillaume Cabanac
,
Rachael West
,
Thierry Gautier
,
Bertrand Favier
et al.
Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection?
Scientometrics
, Springer Verlag, 2020, 124 (2), pp.1139-1156.
⟨10.1007/s11192-020-03463-z⟩
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.