• 
  Peter Riviere, Neeraj Singh, Yamine Aït-Ameur, Guillaume Dupont. Standalone Event-B models analysis relying on the EB4EB meta-theory. 9th International Conference on Rigorous State-based Methods (ABZ 2023), LORIA : laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine, May 2023, Nancy, France. ⟨hal-04049910⟩
• 
  Serge Gratton, Valentin Mercier, Elisa Riccietti, Philippe L Toint. A Block-Coordinate Approach of Multi-level Optimization with an Application to Physics-Informed Neural Networks. 2023. ⟨hal-04104450⟩
• 
  Lilian Calvet, Nicolas Maignan, Baptiste Brument, Jean Mélou, Silvia Tozza, et al.. Multi-View Normal Estimation - Application to Slanted Plane-sweeping. 9th International Conference on Scale Space and Variational Methods in Computer Vision (SSMV 2023), May 2023, Santa Margherita di Pula, Sardinia, Italy. pp.704-716, ⟨10.1007/978-3-031-31975-4_54⟩. ⟨hal-04038245⟩
• 
  Yvain Quéau, Robin Bruneau, Jean Mélou, Jean-Denis Durou, François Lauze. On Photometric Stereo in the Presence of a Refractive Interface. 9th International Conference on Scale Space and Variational Methods in Computer Vision (SSVM 2023), May 2023, Santa Margherita di Pula, Sardinia, Italy. pp.691-703, ⟨10.1007/978-3-031-31975-4_53⟩. ⟨hal-04038233⟩
• 
  Robin Bruneau, Baptiste Brument, Lilian Calvet, Matthew Cassidy, Jean Mélou, et al.. Multi-view Stereo of an Object Immersed in a Refractive Medium. 2023. ⟨hal-04101580⟩
• 
  Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont. Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework. NASA Formal Methods (NFM 2023), NASA: National Aeronautics and Space Administration, May 2023, Houston, United States. pp.1-18. ⟨hal-04046949⟩
• 
  Ehouarn Simon. Quelques contributions à l’assimilation de données : des moindres carrés non-linéaires pondérés en grande dimension, applications en océanographie. 2023. ⟨hal-04084111v1⟩
• 
  Mélanie Ducoffe, Maxime Carrere, Léo Féliers, Adrien Gauffriau, Vincent Mussot, et al.. LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing. 2023. ⟨hal-04056760v1⟩
• 
  Aurélie Hurault, Joao Marques-Silva. Certified Logic-Based Explainable AI: The Case of Monotonic Classifiers. 2023. ⟨hal-04031193v1⟩
• 
  Vincent Ard, Marylise Onfray, David Aoustin, Éric Bouchet, Guillaume Bruniaux, et al.. The emergence of monumental architecture in Atlantic Europe: a fortified fifth-millennium BC enclosure in western France. Antiquity, 2023, 97 (391), pp.50-69. ⟨10.15184/aqy.2022.169⟩. ⟨hal-04001251⟩

586