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

• Cinzia Di Giusto, Etienne Lozes, Pascal Urso:
  “Realisability and Complementability of Multiparty Session Types”
  2025
  2025 hal-05166255
• Davide Ferre’, Cinzia Di Giusto, Etienne Lozes, Nicolas Nisse:
  “Weakly synchronous systems with three machines are Turing powerful”
  2024
  2024 hal-04716163
• Davide Ferre’, Cinzia Di Giusto, Etienne Lozes, Nicolas Nisse:
  “Weakly synchronous systems with three machines are Turing powerful *”
  2024
  2024 hal-04727303