• 
  Assaf Mizrahi, Gauthier Péan de Ponfilly, Diane Sapa, Antonia Suau, Irène Mangin, et al.. A Mouse Model of Mild Clostridioides difficile Infection for the Characterization of Natural Immune Responses. Microorganisms, 2024, 12 (10), pp.1933. ⟨10.3390/microorganisms12101933⟩. ⟨hal-04764178⟩
• 
  Monika E Dolega, Jayesh Wagh, Sophie Gerbaud, Frederique Kermarrec, Jean-Pierre Alcaraz, et al.. Facile Bench-Top Fabrication of Enclosed Circular Microchannels Provides 3D Confined Structure for Growth of Prostate Epithelial Cells.. PLoS ONE, 2014, 9 (6), pp.e99416. ⟨10.1371/journal.pone.0099416⟩. ⟨hal-01016403⟩
• 
  Marco Maccarini, Landry Gayet, Jean-Pierre Alcaraz, Lavinia Liguori, Barry Stidder, et al.. Functional Characterization of Cell-Free Expressed OprF Porin from Pseudomonas aeruginosa Stably Incorporated in Tethered Lipid Bilayers. Langmuir, 2017, 33 (38), pp.9988 - 9996. ⟨10.1021/acs.langmuir.7b01731⟩. ⟨hal-01596176⟩
• 
  Abdelkader Zebda, Jean-Pierre Alcaraz, Pankaj Vadgama, Sergey Shleev, Shelley Minteer, et al.. Challenges for successful implantation of biofuel cells. Bioelectrochemistry, 2018, 124, pp.57 - 72. ⟨10.1016/j.bioelechem.2018.05.011⟩. ⟨hal-01875942⟩
• 
  Katayoun Kazemzadeh Ferizhendi. Etudes des voies de biosynthèse de l’ubiquinone chez les protéobactéries. Autre. Université Grenoble Alpes [2020-..], 2023. Français. ⟨NNT : 2023GRALV084⟩. ⟨tel-04764339⟩
• 
  Quentin Cosnefroy, François Marchal, Laurence Bellaiche, Robert Carlier, Cyrille Cazeau, et al.. Phylogenetic and biomechanical influences in the structural pattern of the femoral diaphysis among catarrhines. Revue de Primatologie, 2024, 15, pp.18522. ⟨10.4000/1222m⟩. ⟨hal-04655475⟩
• 
  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⟩

4 593

3 559