Player preferences in N-player games. - Luc Edixhoven; Walter A. Kosters (CoRR, 2018)

Balanced-By-Construction Regular and ømega-Regular Languages. - Luc Edixhoven; Sung-Shik Jongmans (DLT, 2021)

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. - Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença (ECOOP, 2022)

Realisability of Branching Pomsets. - Luc Edixhoven; Sung-Shik Jongmans (FACS, 2022)

Branching Pomsets for Choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Guillermina Cledou (ICE, 2022)

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). - Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença (Dagstuhl Artifacts Ser., 2022)

Caos: A Reusable Scala Web Animator of Operational Semantics. - José Proença; Luc Edixhoven (COORDINATION, 2023)

Shuffling Posets on Trajectories. - Luc Edixhoven (iFM, 2023)

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial). - José Proença; Luc Edixhoven (CoRR, 2023)

Shuffling posets on trajectories (technical report). - Luc Edixhoven (CoRR, 2023)

Balanced-by-Construction Regular and ω-Regular Languages. - Luc Edixhoven; Sung-Shik Jongmans (Int. J. Found. Comput. Sci., 2023)

Branching pomsets: Design, expressiveness and applications to choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Ilaria Castellani (J. Log. Algebraic Methods Program., 2024)

The CAOS framework for Scala: Computer-aided design of SOS. - José Proença; Luc Edixhoven (Sci. Comput. Program., 2025)