Skip to Main content
Skip to Navigation
Toggle navigation
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 sub-collection
By publication type
By publication year
Search
For researchers and PDH
SO policy & authors rights
Training HAL
Social research networks
research data
HAL tools
Folder
Custom page
Custom page
Home
Documents avec texte intégral
26 359
Documents avec texte intégral
title_348
(9/14/15)
Moins
Les nouveautés de HAL v3.0 de A à Z
(10/23/14)
Plus
Politique des éditeurs
Titre du journal ou ISSN
Editeur
Politique des éditeurs
V. Feruglio, Camille Bourdier, Norbert Aujoulat ✝, Marc Delluc, Jacques Jaubert. Cussac Cave Gravettian Parietal Art (Dordogne, France): updated inventories and new insights into Noaillian rock art. Journal of Archaeological Science: Reports, Elsevier, 2020, 32, pp.102427. ⟨10.1016/j.jasrep.2020.102427⟩. ⟨hal-02899655⟩
Laurent Koechlin, Luc Dettwiller, Maurice Audejean, Maël Valais, Arturo López Ariste. Solar survey at Pic du Midi: Calibrated data and improved images. Astronomy and Astrophysics - A&A, EDP Sciences, 2019, 631, pp.A55. ⟨10.1051/0004-6361/201732504⟩. ⟨hal-02392704⟩
Jean-Paul Bodeveix, M Filali, Julia L. Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. AFADL 2006 - Conférence Francophone sur les Approches formelles pour le développement de logiciels, Groupe sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2006, Paris, France. pp.95-109. ⟨hal-00457181⟩
Jean-Paul Bodeveix, M Filali, Julia L. Lawall, Gilles Muller. Formal Methods Meet Domain Specific Languages. IFM 2005 - 5th International Conference on Integrated Formal Methods, Nov 2005, Eindhoven, Netherlands. pp.187-206, ⟨10.1007/11589976_12⟩. ⟨hal-00457182⟩
Jean-Baptiste Caillau, Olivier Cots, Pierre Martinon. ct: control toolbox - Numerical tools and examples in optimal control. 2022. ⟨hal-03558975v2⟩