• 
  Zied Bouraoui, Valérie Camps, Éric Gaussier, Maxime Guériau, Christelle Launois, et al.. Actes CNIA 2022 : Conférence Nationale d'Intelligence Artificielle. Association Française pour l'Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle (PFIA 2022), Jun 2022, Saint-Etienne, France. pp.1-239, 2022. ⟨hal-03777860v2⟩
• 
  Antoine Genitrini, Mehdi Naima, Olivier Bodini. A combinatorial link between labelled graphs and increasingly labelled Schröder trees. The 15th Latin American Theoretical Informatics Symposium, 2022, Guanajuato, Mexico. ⟨hal-03680342v2⟩
• 
  Étienne André, Benoit Delahaye, Paulin Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. Journal of Logical and Algebraic Methods in Programming, Elsevier, In press, ⟨10.1016/j.jlamp.2019.04.007⟩. ⟨hal-02154775⟩
• 
  Boris Eng, Thomas Seiller. Multiplicative linear logic from a resolution-based tile system. 2022. ⟨hal-03725336⟩
• 
  Marc Chevallier, Nicoleta Rogovschi, Faouzi Boufarès, Nistor Grozavu, Charly Clairmont. Detecting Near Duplicate Dataset with Machine Learning. International Journal of Computer Information Systems and Industrial Management Applications, Machine Intelligence Research Labs (MIR Labs), In press. ⟨hal-03722301⟩
• 
  Laurent Poinsot. Multipliers of a semigroup object in a monoidal category. 2022. ⟨hal-03685334v2⟩
• 
  Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, et al.. 33èmes Journées Francophones des Langages Applicatifs. Chantal Keller; Timothy Bourke. Jun 2022, Saint-Médard-d'Excideuil, France. pp.1-292, 2022. ⟨hal-03689075⟩
• 
  Armita Nassiri, Nathalie Pernelle, Fatiha Saïs, Gianluca Quercini. Knowledge Graph Refinement based on Triplet BERT-Networks. 2022. ⟨hal-03689800⟩
• 
  Boštjan Brešar, Mario Valencia-Pabon. On the P 3 -hull number of Hamming graphs. Discrete Applied Mathematics, Elsevier, 2020, 282, pp.48 - 52. ⟨10.1016/j.dam.2019.11.011⟩. ⟨hal-03490341⟩
• 
  Gérard Henry Edmond Duchamp, Pierre Simonnet. Elementary remarks about Pisano periods. 2022. ⟨hal-03681533v2⟩
• 
  Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller. Realizing Implicit Computational Complexity. 2022. ⟨hal-03603510v2⟩
• 
  Thomas Seiller, Jakob Grue Simonsen. Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution. 2022. ⟨hal-02993635v2⟩
• 
  Christophe Fouqueré, Jean-Jacques Pinto, Myriam Quatrini. Incoherences in Dialogues and their Formalization Focus on Dialogues with Schizophrenic Individuals. Maxime Amblard; Michel Musiol; Manuel Rebuschi. (In)coherence of Discourse. Formal and Conceptual Issues of Language, 10, Springer International Publishing, pp.91-115, 2021, Language, Cognition, and Mind, 978-3-030-71433-8. ⟨10.1007/978-3-030-71434-5_5⟩. ⟨hal-03660353⟩
• 
  Aude Grezka. Classes et relations sémantiques : l’exemple du verbe regarder. Neophilologica, Wydawnictwo Uniwersytetu Śląskiego, 2016, Etudes sémantico-syntaxiques des langues romanes, 20. ⟨hal-03656555⟩
• 
  Aude Grezka. Morfetik, un dictionnaire morphologique : illustration avec le lexique de la perception.. Echo des études romanes, Institut de langues et littératures romanes de la Faculté des Lettres de l'Université de Bohème du Sud, 2017, Vol. XIII (Num. 1 2017), pp. 89-99. ⟨10.32725/eer.2017.007⟩. ⟨hal-02362364⟩
• 
  Jérémie Sublime. L'apprentissage non-supervisé et ses contradictions. 1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2022, pp.145-156. ⟨10.48556/SIF.1024.19.145⟩. ⟨hal-03648943⟩
• 
  Liding Xu, Claudia Ambrosio, Sonia Vanier, Emiliano Traversi. Branch and Price for Sub-modular Bin Packing. 2022. ⟨hal-03646468⟩
• 
  Nicolas Dub. Enumeration of triangulations modulo symmetries and of rooted triangulations counted by their number of (d − 2)-simplices in dimension d ≥ 2. Other [cs.OH]. Université Paris-Nord - Paris XIII, 2021. English. ⟨NNT : 2021PA131050⟩. ⟨tel-03641958⟩
• 
  Jan Schoenke, Nils Aschenbruck, Roberto Interdonato, Rushed Kanawati, Ann-Christin Meisener, et al.. Gaia-AgStream: An Explainable AI Platform for Mining Complex Data Streams in Agriculture. International Conference on Smart and Sustainable Agriculture,, Jun 2021, On-line, France. pp.71-83. ⟨hal-03636208⟩
• 
  Boris Eng. A gentle introduction to Girard's Transcendental Syntax for the linear logician. 2022. ⟨hal-02977750v7⟩

1 010

1 029