Pierre Aboulker, Thomas Bellitto, Frédéric Havet, Clément Rambaud. On the minimum number of arcs in $k$-dicritical oriented graphs. SIAM Journal on Discrete Mathematics, 2024, 38 (2), pp.1863-1901. ⟨10.1137/23M1553753⟩. ⟨hal-04819231⟩

Fernando Dias de Mello Silva, Abhishek Kumar Mishra, Fernando Molano Ortiz, Nadjib Achir, Luís Henrique Maciel Kosmalski Costa, et al.. MITIK-SENS: Privacy-Preserving WiFi Sniffer Tool. INRIA Saclay, équipe Tribe. 2023. ⟨hal-04818079⟩

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩. ⟨hal-02115599⟩

Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. Theory of Computing Systems, 2019, 63 (2), pp.200-218. ⟨10.1007/s00224-017-9828-z⟩. ⟨hal-01894618⟩

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Swarms of Mobile Robots: Towards Versatility with Safety. Leibniz Transactions on Embedded Systems, 2022, Distributed Hybrid Systems, 8 (2), pp.02:1-02:36. ⟨10.4230/LITES.8.2.2⟩. ⟨hal-03901898⟩

Fernando Dias de Mello Silva, Abhishek Mishra, Fernando Molano Ortiz, Luís Henrique Maciel Kosmalski Costa, Anne Fladenmuller, et al.. MITIK-SENS. 2023, ⟨swh:1:dir:c57444e66b0f21428a77e721d159a2b61a05930d;origin=https://gitlab.inria.fr/mitik/anonymous-measurement/mitik-sens;visit=swh:1:snp:82e9153973fdb86df53f6cbfc179c9e077a47a41;anchor=swh:1:rev:c6ed8940db418dc95ffa22ae2d4f99b52ed2920d⟩. ⟨hal-04816385⟩

Rafael Mohr. Gröbner basis algorithms in service of algebraic set decomposition. Symbolic Computation [cs.SC]. Sorbonne Université; Technische Universität Kaiserslautern (Allemagne), 2024. English. ⟨NNT : 2024SORUS242⟩. ⟨tel-04815064⟩

Massih-Réza Amini, Patrick Gallinari. Apprentissage Automatique pour le Résumé de Texte. Association pour le Traitement Automatique des Langues. 2002. ⟨hal-04813560⟩

Jean-Pierre Briot. IA et dé-coïncidence créative. 2024. ⟨hal-04757391v4⟩

Rafaela Correia Brum. Multi-FedLS : A Scheduler of Federated Learning Applications in a Multi-Cloud Environment. Artificial Intelligence [cs.AI]. Sorbonne Université; Universidade Federal Fluminense (Brésil), 2023. English. ⟨NNT : 2023SORUS539⟩. ⟨tel-04812231⟩

Nathanaël Gross-Humbert. Étude des notions de diversité et d'envie dans le cadre de problèmes d'affectation avec groupes d'agents. Intelligence artificielle [cs.AI]. Sorbonne Université, 2024. Français. ⟨NNT : 2024SORUS257⟩. ⟨tel-04810038⟩

Daniela Kaufmann, Jérémy Berthomieu. Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs. 2024. ⟨hal-04804486⟩

Alfredo Buttari, Nicholas J Higham, Théo Mary, Bastien Vieublé. A modular framework for the backward error analysis of GMRES. 2024. ⟨hal-04525918v2⟩

Laura dos Santos Martins, Nicolas Laurent-Puig, Pascal Lefebvre, Simon Neves, Eleni Diamanti. Realizing a Compact, High-Fidelity, Telecom-Wavelength Source of Multipartite Entangled Photons. 2024. ⟨hal-04803780⟩

Jean-Pierre Briot, Isabelle Alvarez, Marta de Azevedo Irving, Laetitia Zaleski. Use of Viability Analysis-based Assistants to Help Decision and Negotiation between Stakeholders in a Social Simulation of an Environment Management Council. 2024. ⟨hal-04662924v3⟩

Pascal Urien, Marc Loutrel. La carte à puce EAP, un passeport pour la sécurité des réseaux émergents Wi-Fi.. JRES (Journées réseaux de l'enseignement et de la recherche ) 2003, Renater, Nov 2003, Lille, France. ⟨hal-04802161⟩

Théo Archambault. Deep learning for sea surface height reconstruction from multi-variate satellite observations. Artificial Intelligence [cs.AI]. Sorbonne Université, 2024. English. ⟨NNT : 2024SORUS253⟩. ⟨tel-04801545⟩

Jihye Kim, Hanjun Ryu, Seongmin Kim, Hyeon Yeong Lee, Armine Karami, et al.. Self‐Boosting Energy Generation via Triboelectric Nanogenerator–Capacitor Coupling. Advanced Materials Technologies, 2024, 9 (8), pp.2301309. ⟨10.1002/admt.202301309⟩. ⟨hal-04476936⟩

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder. Round- and context-bounded control of dynamic pushdown systems. Formal Methods in System Design, 2024, 62, pp.41-78. ⟨10.1007/s10703-023-00431-0⟩. ⟨hal-04261371⟩

Hichem Sahbi. TCMP: end-to-end topologically consistent magnitude pruning for miniaturized graph convolutional networks. ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Apr 2024, Seoul, South Korea. pp.3065-3069, ⟨10.1109/ICASSP48485.2024.10446196⟩. ⟨hal-04796208⟩