• 
  Lucas Massoni Sguerra. Smart contracts for auctions : from experimental assessment to privacy. Computer science. Université Paris sciences et lettres, 2023. English. ⟨NNT : 2023UPSLM050⟩. ⟨tel-04501109⟩
• 
  Gianpietro Consolaro, Harenome Razanajato, Nelson Lossing, Denis Barthou, Zhen Zhang, et al.. ParameTrick: Coefficient Generalization for Faster Polyhedral Scheduling. IMPACT 2024, 14th International Workshop on Poyhedral Compilation Techniques, Jan 2024, Munich, Germany. ⟨hal-04466672⟩
• 
  Fabien Coelho, Claire Yannou-Medrala. JSON Model: a Lightweight Featureful Description Language for JSON Data Structures. Mines Paris - PSL. 2023. ⟨hal-04415527⟩
• 
  Claire Yannou-Medrala, Fabien Coelho. An Analysis of Defects in Public JSON Schemas. 39èmes journées de la conférence BDA Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France. ⟨hal-04415517⟩
• 
  Claude Stolze, Olivier Hermant, Romain Guillaumé. Towards Formalization and Sharing of Atelier B Proofs with Dedukti. 2024. ⟨hal-04398119⟩
• 
  Maksim Berezov, Corinne Ancourt, Mikhail Kashchenko. Tiling parameters prediction using Machine Learning techniques. The 36th International Workshop on Languages and Compilers for Parallel Computing, Nov 2023, Lexington (Kentucky), United States. ⟨hal-04368770⟩
• 
  Yoan Géran. Encoding impredicative hierarchy of type universes with variables. 2023. ⟨hal-04311936⟩
• 
  Maksim Berezov. Automatic Source-to-Source Optimizations using Machine Learning. Robotics [cs.RO]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLM098⟩. ⟨tel-04307172⟩
• 
  Leticia Suellen Farias Machado, Claude Tadonki, Hermes Senger. A Source-to-Source NUMA Profiling Approach. 2023 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW), Oct 2023, Porto Alegre, Brazil. pp.54-59, ⟨10.1109/SBAC-PADW60351.2023.00018⟩. ⟨hal-04292582⟩
• 
  Jaroslaw Szumega, Lamine Bougueroua, Blerina Gkotse, Pierre Jouvelot, Federico Ravotti. Machine Learning and Data-Driven Tools for Automatic Evaluation of RADNEXT Experiments Proposals. The Workshop for Industry on Radiation Hardness Testing of Semiconductor Devices and Systems at the RADNEXT Facilities (G-RADNEXT Workshop 2023), Nov 2023, Meyrin, Switzerland. ⟨hal-04283238⟩
• 
  Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, et al.. Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. 2016. ⟨hal-04281492⟩
• 
  Leticia Suellen Farias Machado, Hermes Senger, Claude Tadonki. A tool for profiling memory accesses locality on NUMA architectures. Escola Regional de Alto Desempenho de São Paulo, Jul 2023, Sao Carlos, Brazil. pp.37-40, ⟨10.5753/eradsp.2023.232017⟩. ⟨hal-04272806⟩
• 
  Blerina Gkotse, Pierre Jouvelot, Giuseppe Pezzullo, Federico Ravotti. CERN PROTON IRRADIATION FACILITY (IRRAD) DATA MANAGEMENT, CONTROL AND MONITORING SYSTEM INFRASTRUCTURE FOR POST-LS2 EXPERIMENTS. The 19th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Oct 2023, Cape Town, South Africa, South Africa. ⟨hal-04271482⟩
• 
  Blerina Gkotse, Giuseppe Pezzullo, Federico Ravotti, Pierre Jouvelot. CERN PROTON IRRADIATION FACILITY (IRRAD) DATA MANAGEMENT, CONTROL AND MONITORING SYSTEM INFRASTRUCTURE FOR POST-LS2 EXPERIMENTS. The 19th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Oct 2023, Cape Town, South Africa. ⟨hal-04271463⟩
• 
  Roblex Nana, Claude Tadonki, Petr Dokládal, Youssef Mesri. Energy Concerns with HPC Systems and Applications. 2023. ⟨hal-04213338⟩
• 
  Théo Serru, Nga Thi Viet Nguyen, Michel Batteux. Modeling Cyberattacks Affecting Systems' Safety with AltaRica: Achievements and Future Works. SAFECOMP 2023, Position Paper, Sep 2023, Toulouse, France. ⟨hal-04191802⟩
• 
  Fatma-Zohra Hannou, Maxime Lefrançois, Pierre Jouvelot, Victor Charpenay, Antoine Zimmermann. A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective. 2023. ⟨hal-04159987⟩
• 
  Laila Bouhouch, Mostapha Zbakh, Claude Tadonki. Online Task Scheduling of Big Data Applications in the Cloud Environment. Information, 2023, 14, pp.292. ⟨10.3390/info14050292⟩. ⟨hal-04143446⟩
• 
  Roblex Nana Tchakoute, Claude Tadonki, Petr Dokládal, Youssef Mesri. CARBONE-AWARE HIGH-PERFORMANCE ARTIFICIAL INTELLIGENCE. The Transition Institute 1.5 : : Les enjeux sécuritaires des changements climatiques-, Mar 2023, Paris, France. ⟨hal-04143279⟩
• 
  Carla dos Santos Santana, Idalmis Milian, Hervé Chauris, Claude Tadonki, Samuel Xavier-de-Souza. DeLIA: Dependability Library for Iterative Applications. ISC 2023, May 2023, Hambourg, Germany. ⟨hal-04143236⟩

260

123