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⟩
-
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