• 
  Jing Ren, Peter Wonka, Gowtham Harihara, Maks Ovsjanikov. Geometric analysis of shape variability of lower jaws of prehistoric humans. L'anthropologie, Elsevier Masson, 2020, 124 (5), pp.102808. ⟨10.1016/j.anthro.2020.102808⟩. ⟨hal-03046509⟩
• 
  Angelos Christos Anadiotis, Oana Balalau, Catarina Conceicao, Helena Galhardas, Mhd Yamen Haddad, et al.. Graph integration of structured, semistructured and unstructured data for data journalism. 2021. ⟨hal-03150441⟩
• 
  R. Alotaibi, B. Cautis, A. Deutsch, M. Latrache, Ioana Manolescu, et al.. ESTOCADA: Towards Scalable Polystore Systems. Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2020, 13 (12), pp.2949-2952. ⟨10.14778/3415478.3415516⟩. ⟨hal-03150404⟩
• 
  Frédéric Bour, Basile Clément, Gabriel Scherer. Tail Modulo Cons. JFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France. ⟨hal-03146495⟩
• 
  Olivier Martinot, Gabriel Scherer. Quantified Applicatives: API design for type-inference constraints. ML Family Workshop, Aug 2020, Jersey City / Online, United States. ⟨hal-03145040⟩
• 
  Francesco Mecca, Gabriel Scherer. Translation validation of a pattern-matching compiler. ML Family Workshop, Aug 2020, New Jersey /Online, United States. ⟨hal-03145030⟩
• 
  Sarah Bordage, Jade Nardi. Interactive Oracle Proofs of Proximity to Algebraic Geometry Codes. 2021. ⟨hal-03142459⟩
• 
  Fei Song, Khaled Zaouk, Chenghao Lyu, Arnab Sinha, Qi Fan, et al.. Spark-based Cloud Data Analytics using Multi-Objective Optimization. ICDE, 2021, Chania, Greece. ⟨hal-02549758⟩
• 
  Thi Ngoc Ha Nguyen. Combining machine learning and reference-free transcriptome analysis for the identification of prostate cancer signatures. Bioinformatics [q-bio.QM]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASL069⟩. ⟨tel-03139949⟩
• 
  Martina Cerulli, Leo Liberti. Polynomial programming prevents aircraft (and other) conflicts. 2021. ⟨hal-02971109v2⟩
• 
  Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub. Unsolvability of the Quintic Formalized in Dependent Type Theory. 2021. ⟨hal-03136002⟩
• 
  Oana Balalau, Sagar Goyal. SubRank: Subgraph Embeddings via a Subgraph Proximity Measure. PAKDD 2020 - Pacific-Asia Conference on Knowledge Discovery and Data Mining, May 2020, Singapore, Singapore. pp.487-498, ⟨10.1007/978-3-030-47426-3_38⟩. ⟨hal-03134181⟩
• Emmanuelle Perrin, Philippe Chassignet. Extraire et structurer des informations géographiques sur les lieux de fouille archéologiques : l’exemple du référentiel du site de Bibracte. 2020. ⟨hal-03133715⟩
• 
  Michel Fliess, Cédric Join. Model-free control. International Journal of Control, Taylor & Francis, 2013, 86 (12), pp.2228-2252. ⟨10.1080/00207179.2013.810345⟩. ⟨hal-00828135v3⟩
• 
  Abhishek Sharma, Maks Ovsjanikov. Matrix Decomposition on Graphs: A Functional View. 2021. ⟨hal-02871840v3⟩
• 
  Joris van der Hoeven, Gleb Pogudin. A zero test for σ-algebraic power series. 2021. ⟨hal-03132700⟩
• 
  Gregor Entzian, Ivo Hofacker, Yann Ponty, Ronny Lorenz, Andrea Tanzer. RNAxplorer: Harnessing the Power of Guiding Potentials to Sample RNA Landscapes. Bioinformatics, Oxford University Press (OUP), 2021. ⟨hal-02889448v3⟩
• 
  Jean-Pierre Jouannaud, Fernando Orejas. Unificatiuon of Drags and Confluence of Drag Rewriting. 2021. ⟨hal-02562463v2⟩
• 
  Alban Reynaud, Gabriel Scherer, Jeremy Yallop. A practical mode system for recursive definitions. Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (POPL), pp.1-29. ⟨10.1145/3434326⟩. ⟨hal-03125031⟩
• 
  Joris van der Hoeven, Grégoire Lecerf. Amortized bivariate multi-point evaluation. 2021. ⟨hal-03124458⟩

1 957

804