Publications (10 last)

Conference Papers

  • Camille Bonnin, Ernest Foussard, Margaux Nattaf, Arnaud Malapert, Marie-Laure Espinouse:
    “Minimisation du délai moyen en présence d'une contrainte de santé de l'équipement : méthodes de résolution”
    26ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'25), Ecole nationale des ponts et chaussées, Feb 2025, Champs Sur Marne, France
    2025 INT PR hal-05024111
  • Alexandre Bonlarron, Jean-Charles Régin:
    “Intertwining CP and NLP: The Generation of Unreasonably Constrained Sentences”
    Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, Aug 2024, Jeju, South Korea. pp.7600-7608, ⟨10.24963/ijcai.2024/841⟩
    2024 INT PR P hal-04676246
  • Alexandre Bonlarron, Jean-Charles Régin:
    “Markov Constraint as Large Language Model Surrogate”
    Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, Aug 2024, Jeju, South Korea. pp.1844-1852, ⟨10.24963/ijcai.2024/204⟩
    2024 INT PR P hal-04676241
  • Cinzia Di Giusto, Davide Ferré, Etienne Lozes, Nicolas Nisse:
    “Weakly Synchronous Systems with Three Machines Are Turing Powerful”
    RP 2023 - 17th International Conference on Reachability Problems, 2023, Nice, France. pp.28-41, ⟨10.1007/978-3-031-45286-4_3⟩
    2023 INT PR P hal-04273451
  • Alexandre Bonlarron, Aurelie Calabrese, Pierre Kornprobst, Jean-Charles Régin:
    “Constraints First: A New MDD-based Model to Generate Sentences Under Constraints”
    Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI23 ), Aug 2023, Macao SAR, China. pp.1893-1901, ⟨10.24963/ijcai.2023/210⟩
    2023 INT PR P hal-04216267

Poster

  • Alexandre Bonlarron, Aurelie Calabrese, Pierre Kornprobst, Jean-Charles Régin:
    “Intertwining NLP and CP-AI-OR Reasoning for Constrained Text Generation”
    Journée Natural Language Argumentation – GDR TAL – GDR RADIA, Nov 2023, Sophia Antipolis (06), France.
    2023 PR hal-04296814

Proceeding

  • Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters:
    “Synchronisability in Mailbox Communication”
    EXPRESS/SOS 2024, Electronic Proceedings in Theoretical Computer Science, 412, pp.19-34, 2024, ⟨10.4204/EPTCS.412.3⟩
    2024 INT PR hal-04801432

Preprints, Working Papers

  • Davide Ferre’, Cinzia Di Giusto, Etienne Lozes, Nicolas Nisse:
    “Weakly synchronous systems with three machines are Turing powerful *”
    2024
    2024 hal-04727303
  • Davide Ferre’, Cinzia Di Giusto, Etienne Lozes, Nicolas Nisse:
    “Weakly synchronous systems with three machines are Turing powerful”
    2024
    2024 hal-04716163

Report

  • Cinzia Di Giusto, Davide Ferré, Etienne Lozes, Nicolas Nisse:
    “Weakly synchronous systems with three machines are Turing powerful”
    Inria. 2023
    2023 hal-04182953
i3S laboratory