• 
  Ghazi Felhi, Joseph Le Roux, Djamé Seddah. Towards Unsupervised Content Disentanglement in Sentence Representations via Syntactic Roles. CtrlGen: Controllable Generative Modeling in Language and Vision, Jan 2022, virtual, France. ⟨hal-03540084⟩
• 
  Thomas Seiller, Jakob Simonsen. Agafonov’s Proof of Agafonov’s Theorem: A Modern Account and New Insights. 2022. ⟨hal-02891463v2⟩
• 
  Nina Pardal. Caractérisation structurelle de quelques problèmes dans les graphes de cordes et d’intervalles. Algorithme et structure de données [cs.DS]. Université Paris-Nord - Paris XIII; Universidad de Buenos Aires, 2020. Français. ⟨NNT : 2020PA131017⟩. ⟨tel-03506289⟩
• 
  Frédérique Bassino, Tsinjo Rakotoarimalala, Andrea Sportiello. The complexity of the Multiple Pattern Matching Problem for random strings. Markus Nebel; Stephan Wagner. 2018 Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Society for Industrial and Applied Mathematics, pp.40-53, 2017, 9781611975062. ⟨10.1137/1.9781611975062.5⟩. ⟨hal-03505281⟩
• 
  Flavia Bonomo-Braberman, Mitre C. Dourado, Mario Valencia-Pabon, Juan C. Vera. A note on homomorphisms of Kneser hypergraphs. Applied Mathematics and Computation, Elsevier, 2020, 366, pp.124764 -. ⟨10.1016/j.amc.2019.124764⟩. ⟨hal-03487252⟩
• 
  Stefania Pan, Roberto Wolfler Calvo, Mahuna Akplogan, Lucas Létocart, Nora Touati. A dual ascent heuristic for obtaining a lower bound of the generalized set partitioning problem with convexity constraints. Discrete Optimization, Elsevier, 2019, 33, pp.146 - 168. ⟨10.1016/j.disopt.2019.05.001⟩. ⟨hal-03488296⟩
• 
  Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga. Parametric Analyses of Attack-fault Trees. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩. ⟨hal-03483440⟩
• 
  Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. A Coq Formalization of Lebesgue Integration of Nonnegative Functions. Journal of Automated Reasoning, Springer Verlag, In press, ⟨10.1007/s10817-021-09612-0⟩. ⟨hal-03471095⟩
• 
  Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero. A Coq Formalization of Lebesgue Integration of Nonnegative Functions. [Research Report] RR-9401, Inria, France. 2021, pp.38. ⟨hal-03194113v2⟩
• 
  Boris Eng. A gentle introduction to Girard's Transcendental Syntax for the linear logician. 2021. ⟨hal-02977750v6⟩
• 
  Antoine Deza, Jean-Baptiste Hiriart-Urruty, Lionel Pournin. Polytopal balls arising in optimization. Contributions to Discrete Mathematics, University of Calgary, In press. ⟨hal-03453800⟩
• 
  Mouna Rifi, Mohamed Hibti, Rushed Kanawati, Younès Bennani. Modélisation et Analyse des réseaux complexes : Application à la sûreté nucléaire. Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France. ⟨hal-03453580⟩
• 
  Christophe Cérin, Frédéric Andres, Danielle Geldwerth-Feniger. Towards an emulation tool based on ontologies and data life cycles for studying smart buildings. Big Data in Emergent Distributed Environments (BiDEDE 2021), Jun 2021, Virtuel - Online, China. ⟨10.1145/3460866.3461772⟩. ⟨hal-03436337⟩
• 
  Stella Zevio. Découverte et enrichissement de connaissances à partir de textes pour la recherche d’experts. Recherche d'information [cs.IR]. Université Paris-Nord - Paris XIII, 2021. Français. ⟨NNT : 2021PA131019⟩. ⟨tel-03425132⟩
• 
  Julie Sliwak. Résolution de problèmes d’optimisation pour les réseaux de transport d’électricité de grande taille avec des méthodes de programmation semi-définie positive. Modélisation et simulation. Université Paris-Nord - Paris XIII; Ecole polytechnique (Montréal, Canada). Division du génie sanitaire, 2021. Français. ⟨NNT : 2021PA131013⟩. ⟨tel-03416774⟩
• 
  Mehdi Naima. Combinatorics of trees under increasing labellings : asymptotics, bijections and algorithms. Data Structures and Algorithms [cs.DS]. Université Paris-Nord - Paris XIII, 2020. English. ⟨NNT : 2020PA131052⟩. ⟨tel-03414946⟩
• 
  Anna Deza, Antoine Deza, Zhongyan Guan, Lionel Pournin. Distance between vertices of lattice polytopes. Optimization Letters, Springer Verlag, 2020, 14 (2), pp.309-326. ⟨10.1007/s11590-018-1338-7⟩. ⟨hal-03412184⟩
• 
  Antoine Deza, Lionel Pournin. Diameter, Decomposability, and Minkowski Sums of Polytopes. Canadian Mathematical Bulletin, 2019, 62 (4), pp.741-755. ⟨10.4153/S0008439518000668⟩. ⟨hal-03410029⟩
• 
  Antoine Deza, Lionel Pournin, Noriyoshi Sukegawa. The diameter of lattice zonotopes.. Proceedings of the American Mathematical Society, American Mathematical Society, 2020, 148 (8), pp.3507-3516. ⟨10.1090/proc/14977⟩. ⟨hal-03409686⟩
• 
  Antoine Deza, Lionel Pournin. A linear optimization oracle for zonotope computation. Computational Geometry, Elsevier, In press, 100, pp.101809. ⟨10.1016/j.comgeo.2021.101809⟩. ⟨hal-03409685⟩

972

946