Luc Edixhoven

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Partially Ordered Sets

Grammatical Inference

Technical Report

Regular Languages

Top Venues

J. Log. Algebraic Methods Program.

Dagstuhl Artifacts Ser.

Int. J. Found. Comput. Sci.

Publications

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136 (2024)
José Proença, Luc Edixhoven
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial). CoRR (2023)
Luc Edixhoven
Shuffling posets on trajectories (technical report). CoRR (2023)
Luc Edixhoven
Shuffling Posets on Trajectories. iFM (2023)
José Proença, Luc Edixhoven
Caos: A Reusable Scala Web Animator of Operational Semantics. COORDINATION (2023)
Luc Edixhoven, Sung-Shik Jongmans
Balanced-by-Construction Regular and ω-Regular Languages. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP (2022)
Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou
Branching Pomsets for Choreographies. ICE (2022)
Luc Edixhoven, Sung-Shik Jongmans
Realisability of Branching Pomsets. FACS (2022)
Luc Edixhoven, Sung-Shik Jongmans
Balanced-By-Construction Regular and ømega-Regular Languages. DLT (2021)
Luc Edixhoven, Walter A. Kosters
Player preferences in N-player games. CoRR (2018)