• Filters
• Structure: Internal structure identifier  ×
• All  ×

9 results  save search

 Search

 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
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: 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
• 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

 

		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 Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	hal-01278902v1  Journal articles Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang. Towards a verified transformation from AADL to the formal component-based language FIACRE Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩
	hal-01940489v1  Journal articles Xiahu Chen, Adriana Soveja, Michel Chaussumier, Pingze Zhang, Dongbo Wei et al.  Effect of MEVVA ion implantation on fatigue properties of TC18 titanium alloy Surface and Coatings Technology, Elsevier, 2018, 344 (25), pp.572--578. ⟨10.1016/j.surfcoat.2018.03.064⟩
	hal-02106219v1  Journal articles Feng Ding, Ziwei Xu, Boris Yakobson, Robert Young, Ian Kinloch et al.  Formation mechanism of peapod-derived double-walled carbon nanotubes Physical Review B : Condensed matter and materials physics, American Physical Society, 2010, 82 (4), pp.041403. ⟨10.1103/PhysRevB.82.041403⟩
	hal-01285662v1  Journal articles Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai. Exploring AADL verification tool through model transformation Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩
	hal-02044377v1  Conference papers H. Jia, J. Zeng, Xiaojing Gong, D. Zheng, J. Yu et al.  Research on fiber optic impact load localization based on honeycomb layout and fractal filtering principle 2017 International Conference on Optical Instruments and Technology: Advanced Optical Sensors and Applications, 2017, Beijing, China. 11 p
	hal-02044378v1  Conference papers J. Kang, J. Zeng, Xiaojing Gong, T. Li, J. Yu et al.  Impact and Vibration Monitoring Method of Composite Flexible Structures Based on FBG Sensor Networ 2017 International Conference on Optical Instruments and Technology: Advanced Optical Sensors and Applications, 2017, Beijing, China
	hal-02021095v1  Journal articles Tie Liu, Kee-Tae Kim, Mika Juvela, Ke Wang, Ke Tatematsu et al.  The TOP-SCOPE Survey of Planck Galactic Cold Clumps: Survey Overview and Results of an Exemplar Source, PGCC G26.53+0.17 Astrophysical Journal Supplement, American Astronomical Society, 2018, 234 (2), pp.28. ⟨10.3847/1538-4365/aaa3dd⟩
	hal-02044379v1  Conference papers J. Wang, J. Zeng, Z. Li, X. Guo, Xiaojing Gong et al.  Research on fiber optic magnetic field sensor based on LPG and FBG composite structure 2017 International Conference on Optical Instruments and Technology: Advanced Optical Sensors and Applications, 2017, Beijing, China. 11 p
	hal-01298793v1  Journal articles Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao et al.  Towards a verified compiler prototype for the synchronous language SIGNAL Frontiers of Computer Science, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. ⟨10.1007/s11704-015-4364-y⟩
		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