• 
  Amaury Pouly, Yixin Shen. Discrete gaussian sampling for BKZ-reduced basis. ArcticCrypt 2025, Jul 2025, Longyearbyen, Svalbard, Norway. ⟨hal-04823293⟩
• 
  David Baelde, Stéphanie Delaune, Stanislas Riou. SMT-based Automation for Overwhelming Truth. 38th IEEE Computer Security Foundations Symposium, Owen Arden and Mohsen Lesani, Jun 2025, Santa Cruz, United States. ⟨hal-04884758⟩
• 
  Stéphanie Delaune, Clément Herouard, Joseph Lallemand. Secrecy by typing in the computational model. 38th IEEE Computer Security Foundations Symposium (CSF 2025), Owen Arden, Jun 2025, Santa Cruz, CA, United States. ⟨hal-04666965⟩
• 
  Lénaïg Cornanguer, Pierre-François Gimenez. TADAM: Learning Timed Automata from Noisy Observations. SIAM International Conference on Data Mining (SDM25), May 2025, Alexandria Virginia, United States. ⟨hal-04886774⟩
• 
  Adel Aly, Olivier Pivert, Virginie Thion. Maelis4Skrid: an Approximate Query Engine for an Online Graph-Based Musical Score Library. Companion Proceedings of the ACM Web Conference 2025, WWW 2025, Apr 2025, Sydney, Australia. ⟨10.1145/3701716.3715185⟩. ⟨hal-04904525⟩
• 
  Louis Hémadou, Héléna Vorobieva, Ewa Kijak, Frédéric Jurie. Adapting Without Seeing: Text-Aided Domain Adaptation for Adapting CLIP-like Models to Novel Domains. IEEE International Conference on Acoustics, Speech, and Signal Processing, Apr 2025, Hyderabad, India. ⟨hal-04889885⟩
• 
  Louis Savary, Simon Rokicki, Steven Derrien. Hardware/Software Runtime for GPSA Protection in RISC-V Embedded Cores. DATE 2025, Mar 2025, Lyon, France. ⟨hal-04788484v2⟩
• 
  Sami Ben Ali, Silviu-Ioan Filip, Olivier Sentieys, Guy Lemieux. MPTorch-FPGA: a Custom Mixed-Precision Framework for FPGA-based DNN Training. 28th IEEE/ACM Design, Automation and Test in Europe (DATE), Mar 2025, Lyon, France. pp.1-6. ⟨hal-04882989v2⟩
• 
  Ricky Walsh, Malo Gaubert, Cédric Meurée, Burhan Rashid, Anne Kerbrat, et al.. Apprentissage multi-séquences pour la segmentation des lésions de la sclérose en plaques dans l'IRM de la moelle épinière. Colloque Français d'Intelligence Artificielle en Imagerie Biomédicale (IABM) 2025, Mar 2025, Nice, France. ⟨hal-04903628⟩
• 
  Youwan Mahé, Stéphanie Leplaideur, Elisa Fromont, Elise Bannier, Francesca Galassi. Détection et segmentation des anomalies cérébrales post-AVC. Colloque Français d'Intelligence Artificielle en Imagerie Biomédicale - IABM 2025, Mar 2025, Nice, France. ⟨hal-04910273⟩
• 
  Sébastien Dam, Jean-Marie Batail, Pierre Maurel, Julie Coloigner. Réseau de neurones convolutifs sur graphes multimodal pour l'étude de la structure et de la fonction cérébrales dans l'anxiété et la dépression à l'adolescence. IABM 2025 - 3ème édition du Colloque Français d'Intelligence Artificielle en Imagerie Biomédicale, Mar 2025, Nice, France. ⟨hal-04905297⟩
• 
  Alexandre Pron, Michael Kain, Communauté Shanoir, Michel Dojat, Camille Maumet. Shanoir: vers un partage FAIR des données d’imagerie médicale. Colloque Français d'Intelligence Artificielle en Imagerie Biomédicale (IABM), Mar 2025, Nice, France. ⟨hal-04903151v1⟩
• 
  Majd Bitar, Jean-Philippe Rivière, Rebecca Fribourg, Jean-Marie Normand, Yannick Prié. Sustaining the Experience of Pair Natural Walking in Social Virtual Reality. 3rd Workshop on Locomotion and Wayfinding in XR (LocXR) - IEEE VR 2025, Mar 2025, Saint-Malo, France. ⟨hal-04867351⟩
• 
  Ewen Cazuc, Stéphane Salvan, Ronan Gaugne, Valérie Gouranton, Charles Pontonnier. Gladiator training in XR. 1st Workshop on Archaeology and Cultural Heritage through XR, Mar 2025, Saint Malo (FR), France. ⟨hal-04913366⟩
• 
  Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter. Lowering entry barriers to developing custom simulators of distributed applications and platforms with SimGrid. Parallel Computing, 2025, 123, pp.103125. ⟨10.1016/j.parco.2025.103125⟩. ⟨hal-04909441⟩
• 
  Maxime Dumonteil, Marc J.-M. Macé, Valérie Gouranton, Théophane Nicolas, Ronan Gaugne. A method for standardizing eye-tracking and behavioral data in real and virtual environments. GRAPP - International Conference on Computer Graphics Theory and Applications, VISIGRAPP, Feb 2025, Porto (Portugal), Portugal. ⟨hal-04890974⟩
• 
  Clémence Chevignard, Pierre-Alain Fouque, André Schrottenloher. Reducing the Number of Qubits in Quantum Factoring. QIP 2025 - 28th Annual Conference on Quantum Information Processing, Feb 2025, Raleigh, North Carolina, United States. ⟨hal-04848612⟩
• 
  Aurore Poirier, Erven Rohou, Manuel Serrano. An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches. The Art, Science, and Engineering of Programming, 2025, 10 (6), ⟨10.22152/programming-journal.org/2025/10/6⟩. ⟨hal-04904428⟩
• 
  Gautier Evennou, Antoine Chaffin, Vivien Chappelier, Ewa Kijak. Reframing Image Difference Captioning with BLIP2IDC and Synthetic Augmentation. IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), Feb 2025, Tucson (Arizona ), United States. ⟨hal-04889899⟩
• 
  Ali Srour, Antonio Franchi, Paolo Robuffo Giordano, Marco Cognetti. Experimental Validation of Sensitivity-Aware Trajectory Planning for a Redundant Robotic Manipulator Under Payload Uncertainty. IEEE Robotics and Automation Letters, 2025, 10 (2), pp.1561-1568. ⟨10.1109/LRA.2024.3519857⟩. ⟨hal-04816507⟩

17 765

8 052

• Pourquoi et comment déposer dans HAL ?
• Qu'ai-je le droit de déposer dans HAL ?
• Contact support Université de Rennes
• Contact support CCSD