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⟩

Nan Li. Real-time and efficient control for autonomous racing. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAT008⟩. ⟨tel-04061550⟩

Théo Zimmermann, Jean-Rémy Falleri. A grounded theory of Community Package Maintenance Organizations. 2023. ⟨hal-03976601⟩

Mingming Qiu, Elie Najm, Rémi Sharrock, Bruno Traverson. Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services. 2022. ⟨hal-03860833⟩

Guy Saadon. New architecture and function to improve autonomy, dynamicity, and intelligence of future network management. Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT042⟩. ⟨tel-03910691⟩

Nan Li, Eric Goubault, Laurent Pautet, Sylvie Putot. A Real-Time NMPC Controller for Autonomous Vehicle Racing. 2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩. ⟨hal-04009646⟩

Zeinab Abou Khalil, Stefano Zacchiroli. Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis. ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩. ⟨hal-03723556⟩

Daniele Serafini, Stefano Zacchiroli. Efficient Prior Publication Identification for Open Source Code. 18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain. ⟨hal-03735961⟩

Antoine Durand, Gérard Memmi. The devil hides in the model: Reviewing Blockchain and BFT protocols. Blockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy. ⟨hal-03860862⟩

Katarzyna Kapusta, Gerard Memmi. PE-AONT: Partial Encryption All or Nothing Transform. SECRYPT, Jul 2022, Lisbon, Portugal. pp.636-641, ⟨10.5220/0011300600003283⟩. ⟨hal-03860852⟩