Loading...
You will find in this collection the IRIT publications produced by the researchers and professors employed by the Paul Sabatier University.
Search
Latest publications
-
-
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⟩
-
-
-
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⟩
-
-
-
-
Documents
1 625
Distribution per document type
Submission evolution