• 
  Pablo Donato. Inférence Profonde pour la Démonstration Graphique de Théorèmes. Logique en informatique [cs.LO]. Institut Polytechnique de Paris, 2024. Français. ⟨NNT : 2024IPPAX015⟩. ⟨tel-04698985⟩
• 
  Arnau Padrol, Vincent Pilaud, Germain Poullot. Deformed graphical zonotopes. Discrete and Computational Geometry, 2023, ⟨10.1007/s00454-023-00586-x⟩. ⟨hal-03788987⟩
• 
  Benjamin Doerr, Michael Gnewuch. On negative dependence properties of Latin hypercube samples and scrambled nets. Journal of Complexity, 2021, 67, pp.101589. ⟨10.1016/J.JCO.2021.101589⟩. ⟨hal-04485604⟩
• 
  Denis Antipov, Maxim Buzdalov, Benjamin Doerr. Fast mutation in crossover-based algorithms. Algorithmica, 2022, 84 (6), pp.1268-1276. ⟨10.1145/3377930.3390172⟩. ⟨hal-04486933⟩
• 
  Oana Balalau, Simon Ebel, Helena Galhardas, Théo Galizzi, Ioana Manolescu. STaR: Space and Time-aware Statistic Query Answering. CIKM 2024 - 33rd ACM International Conference on Information and Knowledge Management, Oct 2024, Boise, Idaho, United States. ⟨10.1145/3627673.3679209⟩. ⟨hal-04689206⟩
• 
  Maria Corte-Real Santos, Craig Costello, Benjamin Smith. Efficient $(3,3)$-isogenies on fast Kummer surfaces. 2024. ⟨hal-04433463v2⟩
• 
  Oana Balalau, Pablo Bertaud-Velten, Younes El-Fraihi, Garima Gaur, Oana Goga, et al.. FactCheckBureau: Build Your Own Fact-Check Analysis Pipeline. CIKM 2024 - 33rd ACM International Conference on Information and Knowledge Management, ACM, Oct 2024, Boise Idaho, United States. ⟨10.1145/3627673.3679220⟩. ⟨hal-04684068⟩
• 
  Pauline Olivier, Tara Butler, Pascal Guehl, Jean-Luc Coll, Renaud Chabrier, et al.. DynBioSketch: A tool for sketching dynamic visual summaries in biology, and its application to infection phenomena. Computers and Graphics, 2024, 122, pp.103956. ⟨10.1016/j.cag.2024.103956⟩. ⟨hal-04682753⟩
• 
  Benjamin Doerr, Timo Kötzing. Lower Bounds from Fitness Levels Made Easy. Algorithmica, 2024, 86, pp.367 - 395. ⟨10.1007/s00453-022-00952-w⟩. ⟨hal-04679535⟩
• 
  Germano Abud, Jorge Alencar, Carlile Lavor, Leo Liberti, Antonio Mucherino. An impossible combinatorial counting method in distance geometry. Discrete Applied Mathematics, 2024, 354, pp.83-93. ⟨10.1016/j.dam.2024.02.018⟩. ⟨hal-04680675⟩
• 
  Antonio Mucherino, Douglas Gonçalves, Leo Liberti, Carlile Lavor, Jung-Hsin Lin, et al.. MDjeep -- A software tool for Discretizable Distance Geometry. 2024. ⟨hal-04676343⟩
• 
  Weijie Zheng, Benjamin Doerr. Hot off the Press: Runtime Analysis for the NSGA-II: Proving, Quantifying, and Explaining the Inefficiency For Many Objectives. GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion, 2024, Melbourne, Australia. pp.67-68, ⟨10.1145/3638530.3664061⟩. ⟨hal-04676966⟩
• 
  Weijie Zheng, Benjamin Doerr. Hot off the Press: Runtime Analysis of the SMS-EMOA for Many-Objective Optimization. GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion, 2024, Melbourne, Australia. pp.69-70, ⟨10.1145/3638530.3664064⟩. ⟨hal-04676965⟩
• 
  Weijie Zheng, Mingfeng Li, Renzhong Deng, Benjamin Doerr. How to Use the Metropolis Algorithm for Multi-Objective Optimization?. GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion, 2024, Melbourne, Australia. pp.71-72, ⟨10.1145/3638530.3664078⟩. ⟨hal-04676964⟩
• 
  Benjamin Doerr, Aymen Echarghaoui, Mohammed Jamal, Martin Krejca. Runtime Analysis of the (μ + 1) GA: Provable Speed-Ups from Strong Drift towards Diverse Populations. GECCO '24 Companion: Genetic and Evolutionary Computation Conference Companion, 2024, Melbourne, Australia. pp.35-36, ⟨10.1145/3638530.3664065⟩. ⟨hal-04676962⟩
• 
  Matthieu Dinot, Benjamin Doerr, Ulysse Hennebelle, Sebastian Will. Hot off the Press: Runtime Analyses of Multi-Objective Evolutionary Algorithms in the Presence of Noise. GECCO ’24 Companion, 2024, Melbourne, Australia. pp.33 - 34, ⟨10.1145/3638530.3664070⟩. ⟨hal-04676957⟩
• 
  Sacha Cerf, Benjamin Doerr, Benjamin Hebras, Yakob Kahane, Simon Wietheger. Hot off the Press: The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem. GECCO '24 Companion: Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024, Melbourne, Australia. pp.27 - 28, ⟨10.1145/3638530.3664080⟩. ⟨hal-04676956⟩
• 
  Simon Wietheger, Benjamin Doerr. A Mathematical Runtime Analysis of the Non-dominated Sorting Genetic Algorithm III (NSGA-III). GECCO 2024 Proceedings Companion, 2024, Melbourne, Australia. pp.63 - 64, ⟨10.1145/3638530.3664062⟩. ⟨hal-04676955⟩
• 
  Karim Salem, Damien Rohmer, Niranjan Kalyanasundaram, Victor Zordan. Art-directable expressive oscillation behavior for rigged characters. Symposium on Computer Animation, Aug 2024, Montreal, Canada. ⟨10.2312/sca.20241169⟩. ⟨hal-04676297⟩
• 
  Eduardo Alvarado. Efficient Models for Human Locomotion and Interaction in Natural Environments. Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAX158⟩. ⟨tel-04673679⟩

2 859

1 083