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
-
Simon Gabay, Thibault Clérice, Pauline Jacsont, Elina Leblanc, Marie Jeannot-Tirole, et al.. Reconnaissance des écritures dans les imprimés : CATMuS print : un modèle générique, multilingue et diachronique. Humanistica 2024 - Colloque annuel de l'Association francophone des humanités numériques, Association francophone des humanités numériques, May 2024, Meknès, Maroc. ⟨hal-04557457⟩
-
Emmanuel Hainry, Bruce M Kapron, Jean-Yves Marion, Romain Péchoux. Complete and tractable machine-independent characterizations of second-order polytime. FoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩. ⟨hal-03722245v2⟩
Texte intégral
76 165
Références
34 886
Chiffres clés
75 988
Publications avec texte intégral
49
Données de recherche
128
Logiciels