• 
  Jean-Loup Haberbusch. Evaluation de la maturité des technologies médicales pilotées par logiciel : vers un modèle non contraignant pour la phase de recherche. Génie logiciel [cs.SE]. Université Grenoble Alpes [2020-..], 2024. Français. ⟨NNT : 2024GRALM019⟩. ⟨tel-04757201⟩
• 
  Pascal Perrier, Morgane Bourhis, Maxime Calka, Mohammad Ali Nazari, Yohan Payan, et al.. Somatosensory-based tongue response to tongue stretch perturbation during steady state vowel production: EMG data and biomechanical modeling. SNL 2024 : Society for the Neurobiology of Language 16th Annual Meeting, Oct 2024, Brisbane, Australia. 2024. ⟨hal-04754814⟩
• 
  Kévin Spinicci, Gibin Powathil, Angélique Stéphanou. Modelling the impact of HIF on metabolism and the extracellular matrix: consequences for tumour growth and invasion. Bulletin of Mathematical Biology, In press. ⟨hal-04754067⟩
• 
  Katia Charrière, Pierre-Ephrem Madiot, Svetlana Artemova, Pungponhavoan Tep, Christian Lenne, et al.. ODIASP: Clinically Contextualized Image Analysis Using the PREDIMED Clinical Data Warehouse, Towards a Better Diagnosis of Sarcopenia. Studies in Health Technology and Informatics, 2022, Studies in Health Technology and Informatics, 290, pp.1068-1069. ⟨10.3233/SHTI220271⟩. ⟨hal-03836846⟩
• 
  Cristian Ene, Laurent Mounier, Marie-Laure Potet. Output-sensitive information flow analysis *. Logical Methods in Computer Science, 2021, 17 (1), pp.15:1-15:29. ⟨10.23638/LMCS-17(1:15)2021⟩. ⟨hal-04750655⟩
• 
  David Monniaux. Flavors of abstract interpretation. École thématique. European joint conferences on theory and practice of software - Invited tutorial, Luxembourg, Luxembourg. 2024. ⟨hal-04750222⟩
• 
  David Monniaux. Data Abstraction, Arrays, Maps, and Completeness, aka "Cell Morphing". 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS), Apr 2023, Paris, France. ⟨10.4204/EPTCS.402⟩. ⟨hal-04750127⟩
• 
  Jacques Combaz, David Bol. Le numérique dans l'Anthropocène. JRES 2022 - Journées réseaux de l'enseignement et de la recherche, May 2022, Marseille, France. ⟨hal-04750107⟩
• 
  Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. Colloque du GDR SoC2, Jun 2023, Lyon, France. ⟨hal-04750092⟩
• 
  Emmanuel Monfort, Eléa Dannet, Séphane Alvarez. Conséquences des stéréotypes sur la conception d'IA pour les personnes âgées. CAIH : Une Conversation entre l'IA et les Humanités, ENS Lyon, Nov 2024, Lyon (ENS), France. ⟨hal-04749970⟩
• David Monniaux, Sylvain Boulmé, Léo Gourdin, Alexandre Bérard, Justus Fasse, et al.. Chamois. 2024, ⟨swh:1:dir:3d6edc4eb44188275528710f67e46d711a55f3d9;origin=https://hal.archives-ouvertes.fr/hal-04749015;visit=swh:1:snp:a99f137fe7e250d0df845a6370a663212effeacf;anchor=swh:1:rel:40e9091218e645b81affcd664bd6813f95a2b1e3;path=/⟩. ⟨hal-04749015⟩
• 
  Gourdin Léo, Bonneau Benjamin, Boulmé Sylvain, Monniaux David, Bérard Alexandre. Formally Verifying Optimizations with Block Simulations. Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), Oct 2023, Cascais, Portugal. ⟨hal-04749000⟩
• 
  David Monniaux, Sylvain Boulmé, Léo Gourdin. Formally Verified Advanced Optimizations for RISC-V. RISC-V Summit Europe 2023, Jun 2023, Barcelona, Spain. ⟨hal-04748961⟩
• 
  Pierre Bouzat, François-Xavier Ageron, Julien Brun, Albrice Levrat, Marion Berthet, et al.. A regional trauma system to optimize the pre-hospital triage of trauma patients. Critical Care, 2015, 19 (1), ⟨10.1186/s13054-015-0835-7⟩. ⟨hal-02072206⟩
• 
  Guillaume Debaty, Maxime Maignan, Bertrand Perrin, Angélique Brouta, Dorra Guergour, et al.. Cardiopulmonary responses during the cooling and the extracorporeal life support rewarming phases in a porcine model of accidental deep hypothermic cardiac arrest. Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine, 2016, 24 (1), pp.91. ⟨10.1186/s13049-016-0283-7⟩. ⟨hal-01880538⟩
• 
  Guillaume Debaty, Anja Metzger, Jennifer Rees, Scott Mcknite, Laura Puertas, et al.. Enhanced Perfusion During Advanced Life Support Improves Survival With Favorable Neurologic Function in a Porcine Model of Refractory Cardiac Arrest. Critical Care Medicine, 2015, 43 (5), pp.1087-1095. ⟨10.1097/CCM.0000000000000939⟩. ⟨hal-02070823⟩
• 
  Younghoon Kwon, Guillaume Debaty, Laura Puertas, Anja Metzger, Jennifer Rees, et al.. Effect of regulating airway pressure on intrathoracic pressure and vital organ perfusion pressure during cardiopulmonary resuscitation: a non-randomized interventional cross-over study. Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine, 2015, 23 (1), ⟨10.1186/s13049-015-0164-5⟩. ⟨hal-02070796⟩
• 
  François-Xavier Ageron, Guillaume Debaty, Angèle Ageron, Loic Belle, Arnaud Gaillard, et al.. Impact of an emergency medical dispatch system on survival from out-of-hospital cardiac arrest: a population-based study. Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine, 2016, 24 (1), ⟨10.1186/s13049-016-0247-y⟩. ⟨hal-02070754⟩
• 
  Guillaume Debaty, Timothy Matsuura, Jason Bartos, Jennifer Rees, Scott Mcknite, et al.. Sodium Nitroprusside–Enhanced Cardiopulmonary Resuscitation Facilitates Intra-Arrest Therapeutic Hypothermia in a Porcine Model of Prolonged Ventricular Fibrillation. Critical Care Medicine, 2015, 43 (4), pp.849-855. ⟨10.1097/CCM.0000000000000825⟩. ⟨hal-02069237⟩
• 
  Johanna Moore, Nicolas Segal, Michael Lick, Kenneth Dodd, Bayert Salverda, et al.. Head and thorax elevation during active compression decompression cardiopulmonary resuscitation with an impedance threshold device improves cerebral perfusion in a swine model of prolonged cardiac arrest. Resuscitation, 2017, 121, pp.195-200. ⟨10.1016/j.resuscitation.2017.07.033⟩. ⟨hal-02070698⟩

4 591

3 550