Luc Edixhoven

Full Name

L.J. Edixhoven

Email

Luc.Edixhoven@cwi.nl

Phone

+31 20 592 4249

Room

L224

Department(s)

Software Analysis and Transformation

Function(s)

PhD student

Luc Edixhoven

Edixhoven, L., Jongmans, S., Proença, J., & Castellani, I. (2024). Branching pomsets: Design, expressiveness and applications to choreographies. Journal of Logical and Algebraic Methods in Programming, 136, 100919:1–100919:36. doi:10.1016/j.jlamp.2023.100919
Edixhoven, L. (2024). Shuffling posets on trajectories. In Proceedings of the 18th International Conference on Integrated Formal Methods, iFM 2023 (pp. 384–390). doi:10.1007/978-3-031-47705-8_21
Proença, J., & Edixhoven, L. (2023). Caos: A reusable scala web animator of operational semantics. In Proceedings of the 25th IFIP WG 6.1 International Conference, COORDINATION 2023. Coordination Models and Languages (pp. 163–171). doi:10.1007/978-3-031-35361-1_9
Edixhoven, L., & Jongmans, S. (2022). Balanced-by-Construction regular and ω-Regular languages. International Journal of Foundations of Computer Science. doi:10.1142/S0129054122440026
Edixhoven, L., & Jongmans, S. (2022). Realisability of branching pomsets. In Proceedings of the 18th International Conference on Formal Aspects of Component Software, FACS 2022 (pp. 185–204). doi:10.1007/978-3-031-20872-0_11
Edixhoven, L., Jongmans, S., Proença, J., & Cledou, G. (2022). Branching pomsets for choreographies. In Electronic Proceedings in Theoretical Computer Science (pp. 37–52). doi:10.4204/EPTCS.365.3
Cledou, G., Edixhoven, L., Jongmans, S., & Proença, J. (2022). API generation for multiparty session types, revisited and revised using Scala 3. In European Conference on Object-Oriented Programming (pp. 27:1–27:28). doi:10.4230/LIPIcs.ECOOP.2022.27
Edixhoven, L., & Jongmans, S. (2021). Balanced-by-construction regular and ω -regular languages. In Developments in language theory (pp. 130–142). doi:10.1007/978-3-030-81508-0_11