We stand with Ukraine  

Luc Edixhoven

Orcid: 0000-0002-6011-9535

According to our database1, Luc Edixhoven authored at least 12 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Branching pomsets: Design, expressiveness and applications to choreographies.
[BibTeX]
[DOI]
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
,
Ilaria Castellani
J. Log. Algebraic Methods Program., January, 2024

2023
Balanced-by-Construction Regular and ω-Regular Languages.
[BibTeX]
[DOI]
Luc Edixhoven
,
Sung-Shik Jongmans
Int. J. Found. Comput. Sci., 2023

Shuffling posets on trajectories (technical report).
[BibTeX]
[DOI]
Luc Edixhoven
CoRR, 2023

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

Shuffling Posets on Trajectories.
[BibTeX]
[DOI]
Luc Edixhoven
Proceedings of the iFM 2023 - 18th International Conference, 2023

Caos: A Reusable Scala Web Animator of Operational Semantics.
[BibTeX]
[DOI]
José Proença
,
Luc Edixhoven
Proceedings of the Coordination Models and Languages, 2023

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

Branching Pomsets for Choreographies.
[BibTeX]
[DOI]
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
,
Guillermina Cledou
Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Realisability of Branching Pomsets.
[BibTeX]
[DOI]
Luc Edixhoven
,
Sung-Shik Jongmans
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.
[BibTeX]
[DOI]
Guillermina Cledou
,
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
Balanced-By-Construction Regular and ømega-Regular Languages.
[BibTeX]
[DOI]
Luc Edixhoven
,
Sung-Shik Jongmans
Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2018
Player preferences in N-player games.
[BibTeX]
[DOI]
Luc Edixhoven
,
Walter A. Kosters
CoRR, 2018


  Loading...