26 359

• 
  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⟩