Research output per year
Research output per year
Fingerprint
Dive into the research topics where Luc Edixhoven is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Branching pomsets: Design, expressiveness and applications to choreographies
Edixhoven, L., Jongmans, SS., Proença, J. & Castellani, I., Jan 2024, In: Journal of Logical and Algebraic Methods in Programming. 136, 36 p., 100919.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Balanced-by-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2&3, p. 117-144 28 p.Research output: Contribution to journal › Article › Academic › peer-review
-
Caos: A Reusable Scala Web Animator of Operational Semantics
Proença, J. & Edixhoven, L., Jun 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S-S. & Lopes, A. (eds.). Cham: Springer, Vol. 13908. p. 163-171 9 p. (Lecture Notes in Computer Science, Vol. 13908).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
Proença, J. & Edixhoven, L., 28 Apr 2023, Cornell University - arXiv, 13 p. (CoRR).Research output: Working paper / Preprint › Preprint › Academic
Open Access -
Shuffling Posets on Trajectories
Edixhoven, L., 6 Nov 2023, iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Springer, p. 384-390 7 p. (Lecture Notes in Computer Science, Vol. 14300).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review