Loading...
Cette page propose la consultation des publications déposées sur la plateforme HAL et dont un des auteurs est affilié à une structure placée sous la tutelle directe d'Inria.
Cette liste de publications est générée automatiquement chaque nuit.
Si au moins un des auteurs de la publication déposée est affilié à Inria, elle sera intégrée dans cette collection.
Les auteurs Inria sont invités à déposer sur le portail Inria.hal.science
Contact : archive-ouverte@inria.fr
Dernières publications
-
Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter. The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant. International Conference on Interactive Theorem Proving (ITP 2024), Yves Bertot; Temur Kutsia; Michael Norrish, Sep 2024, Tbilisi, Georgia. pp.18, ⟨10.4230/LIPIcs.ITP.2024.26⟩. ⟨hal-04511667v2⟩
-
Guilhem Mureau, Alice Pellet-Mary, Georgii Pliatsok, Alexandre Wallet. Cryptanalysis of rank-2 module-LIP in Totally Real Number Fields. Eurocrypt 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2024, Zurich, Switzerland. pp.226-255, ⟨10.1007/978-3-031-58754-2_9⟩. ⟨hal-04701342⟩
-
Sue Han Lee, Zhe Rui Liaw, Yu Hao Chai, Shien Lin Ng, Pierre Bonnet, et al.. Revolutionizing Plant Pathogen Conservation: The Past, Present, and Future of AI in Preserving Natural Ecosystems. Biodiversity Information Science and Standards, 2024, 8, pp.e133055. ⟨10.3897/biss.8.133055⟩. ⟨hal-04701227⟩
Texte intégral
77 732
Références
34 967
Chiffres clés
77 530
Publications avec texte intégral
57
Données de recherche
145
Logiciels