• 
  Frédérique Bassino, Cyril Nicaud, Pascal Weil. Random generation of subgroups of the modular group with a fixed isomorphism type. The Electronic Journal of Combinatorics, In press. ⟨hal-04695164⟩
• 
  Henri Berestycki, Benoît Desjardins, Joshua Weitz, Jean-Marc Oury. Epidemic modeling with heterogeneity and social diffusion. Journal of Mathematical Biology, 2023, 86 (4), pp.60. ⟨10.1007/s00285-022-01861-w⟩. ⟨hal-04543997⟩
• 
  Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand, Jakob Botsch Nielsen, Nicolas Tabareau, et al.. Correct and Complete Type Checking and Certified Erasure for Coq, in Coq. 2023. ⟨hal-04077552v2⟩
• 
  Farid Benboudjema, Jean-Michel Torrenti. Early age behaviour of concrete nuclear containments. Nuclear Engineering and Design, 2008, 238 (238), pp.2495-2506. ⟨10.1016/j.nucengdes.2008.04.009⟩. ⟨hal-04693800⟩
• 
  François Alouges, Irene Anello, Antonio Desimone, Aline Lefebvre-Lepot, Jessie Levillain. Some mathematical models for flagellar activation mechanisms. 2024. ⟨hal-04689234⟩

11 241

16 661