• 
  Mégane Bati, Stéphane Blanco, Christophe Coustet, Vincent Eymet, Vincent Forest, et al.. Coupling Conduction, Convection and Radiative Transfer in a Single Path-Space: Application to Infrared Rendering. ACM Transactions on Graphics, In press, 42 (4), pp.1-20. ⟨10.1145/3592121⟩. ⟨hal-04090428v1⟩
• 
  Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18. ⟨hal-04098856⟩
• 
  Christina Herzog, Laurent Lefevre, Jean-Marc Pierson. Actors for Innovation in Green IT. Hilty, Lorenz; Aebischer, Bernard. ICT Innovations for Sustainability: Results of the ICT4S conference held February 14-16, 2013 in ETH Zurich, Switzerland, 310, Springer, pp.49-67, 2023, Advances in Intelligent Systems and Computing ; ISSN: 2194-5357, 978-3-319-09228-7. ⟨10.1007/978-3-319-09228-7_3⟩. ⟨hal-01094492⟩
• 
  Jérôme Bolte, Ryan Boustany, Edouard Pauwels, Béatrice Pesquet-Popescu. On the complexity of nonsmooth automatic differentiation. International Conference on Learning Representations (ICLR 2023), International Conference on Learning Representations, May 2023, Kigali, Rwanda. ⟨hal-03683640v3⟩
• 
  Jérôme Bolte, Tam Le, Edouard Pauwels. Subgradient sampling for nonsmooth nonconvex minimization. 2023. ⟨hal-03579383v5⟩
• 
  Jean Marc Tregan, Jean Luc Amestoy, Mégane Bati, Jean-Jacques Bézian, Stéphane Blanco, et al.. Coupling radiative, conductive and convective heat-transfers in a single Monte Carlo algorithm: A general theoretical framework for linear situations. PLoS ONE, 2023, 18 (4), ⟨10.1371/journal.pone.0283681⟩. ⟨hal-04066139⟩
• 
  Edouard Pauwels. Conservative parametric optimality and the ridge method for tame min-max problems. 2022. ⟨hal-03186676v3⟩
• 
  Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel. Games of Incomplete Information: a Framework Based on Belief Functions. International Journal of Approximate Reasoning, 2022, 151, pp.182-204. ⟨10.1016/j.ijar.2022.09.010⟩. ⟨hal-03658700v2⟩
• 
  Jérôme Bolte, Edouard Pauwels, Samuel Vaiter. Automatic differentiation of nonsmooth iterative algorithms. Advances in Neural Information Processing Systems, Nov 2022, New Orleans, United States. 28 p. ⟨hal-03681143⟩
• 
  Swann Marx, Edouard Pauwels. Path differentiability of ODE flows. Journal of Differential Equations, 2022. ⟨hal-03516638⟩

1 625