• 
  Clément Ducros. Multiparty Computation from the Hardness of Coding Theory. Computer Science [cs]. Université Paris Cité, 2024. English. ⟨NNT : ⟩. ⟨tel-04889558⟩
• 
  Beniamino Accattoli, Jui-Hsuan Wu. Positive Focusing is Directly Useful. MFPS 2024 - 40th Conference on Mathematical Foundations of Programming Semantics, Jun 2024, Oxford, United Kingdom. ⟨10.46298/entics.14758⟩. ⟨hal-04886376⟩
• 
  Beniamino Accattoli, Adrienne Lancelot. Light Genericity. 27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024), Apr 2024, Luxembourg City, Luxembourg. pp.24-46, ⟨10.1007/978-3-031-57231-9_2⟩. ⟨hal-04886354⟩
• 
  Hubert Comon, Simon Perdrix, Pierre Aboulker, Pablo Arrighi, Sandrine Blazy, et al.. Section 06 Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations. CNRS. 2021. ⟨hal-04884956⟩
• 
  Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer. Tail Modulo Cons, OCaml, and Relational Separation Logic. Proceedings of the ACM on Programming Languages, 2025, 9 (POPL), pp.2337-2363. ⟨10.1145/3704915⟩. ⟨hal-04884634⟩
• 
  Alexander Churkin, Yann Ponty, Danny Barash. IndelsRNAmute: predicting deleterious multiple point substitutions and indels mutations. BMC Bioinformatics, 2022, 23 (S8), pp.424. ⟨10.1186/s12859-022-04943-0⟩. ⟨hal-03815555⟩
• 
  Cedric Chauve, Yann Ponty, João Paulo Pereira Zanetti. Evolution of genes neighborhood within reconciled phylogenies: an ensemble approach. BMC Bioinformatics, 2015, 16 (Suppl 19), pp.S6. ⟨10.1186/1471-2105-16-S19-S6⟩. ⟨hal-01245495⟩
• 
  Vincent Jacob. High-Dimensional Time Series Anomaly Detection over Heterogeneous Domains. Machine Learning [stat.ML]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAX068⟩. ⟨tel-04876865⟩
• 
  Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański. Languages of Higher-Dimensional Automata. Mathematical Structures in Computer Science, 2021, 31 (5), pp.575-613. ⟨10.1017/S0960129521000293⟩. ⟨hal-04540027⟩
• 
  William Aboucaya, Oana Balalau, Rafael Angarita, Valérie Issarny. Finding Conflicts of Opinion in Citizen Participation Platforms. 2024 IEEE International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), Dec 2024, Bangkok, Thailand. pp.8. ⟨hal-04870985⟩
• 
  Oana Balalau, Francesco Bonchi, T-H. Hubert Chan, Francesco Gullo, Mauro Sozio, et al.. Finding Subgraphs with Maximum Total Density and Limited Overlap in Weighted Hypergraphs. ACM Transactions on Knowledge Discovery from Data (TKDD), 2024, 18 (4), pp.1-21. ⟨10.1145/3639410⟩. ⟨hal-04870686⟩
• 
  Emmanuel Haucourt. Non-Hausdorff parallelized manifolds over geometric models of conservative programs. 2025. ⟨hal-04143115v3⟩
• 
  Heitor Murilo Gomes, Maciej Grzenda, Rodrigo Fernandes De Mello, Jesse Read, Minh-Huong Le Nguyen, et al.. A Survey on Semi-supervised Learning for Delayed Partially Labelled Data Streams. ACM Computing Surveys, 2022, 55 (4), pp.75. ⟨10.1145/3523055⟩. ⟨hal-04468366⟩
• 
  Reynald Lercier, Christophe Ritzenthaler, Florent Rovetta, Jeroen Sijsling, Benjamin Smith. Distributions of traces of Frobenius for smooth plane curves over finite fields. Experimental Mathematics, 2019, 28 (1), pp.39-48. ⟨10.1080/10586458.2017.1328321⟩. ⟨hal-01217995⟩
• 
  Léopold Maillard, Nicolas Sereyjol-Garros, Tom Durand, Maks Ovsjanikov. DeBaRA: Denoising-Based 3D Room Arrangement Generation. The Thirty-Eighth Annual Conference on Neural Information Processing Systems, Dec 2024, Vancouver (BC), Canada. pp.1 - 16, ⟨10.48550/arXiv.2409.18336⟩. ⟨hal-04863820⟩
• 
  Souhail Hadgi, Lei Li, Maks Ovsjanikov. To Supervise or Not to Supervise: Understanding and Addressing the Key Challenges of Point Cloud Transfer Learning. ECCV 2024 - European Conference on Computer Vision, Sep 2024, MiCo Milano, Italy. pp.146-163, ⟨10.1007/978-3-031-73229-4_9⟩. ⟨hal-04863811⟩
• 
  Jean Dercourt, Michel Petit, Hervé Le Treut, Edouard Bard, Susan Solomon, et al.. Évolution des climats. La lettre de l'Académie des Sciences, 21, 2007. ⟨hal-04863243⟩
• 
  Simo Alami Chehboune. Approche distributionnelle pour l'apprentissage par renforcement inverse par modèles génératifs inversibles : Vers l'apprentissage de récompenses transférables. Computer Science [cs]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAX006⟩. ⟨tel-04862322⟩
• 
  Albin Ahlbäck, Fredrik Johansson. Fast basecases for arbitrary-size multiplication. 2025. ⟨hal-04861755⟩
• 
  Joris van der Hoeven, Grégoire Lecerf. Fast interpolation of multivariate polynomials with sparse exponents. Journal of Complexity, 2023, 87, pp.101922. ⟨10.1016/j.jco.2024.101922⟩. ⟨hal-04366836v3⟩

2 971

1 090