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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Balanced-by-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., Feb 2023, In: Int. J. Found. Comput. Sci.. 34, 2&3, p. 117-144 28 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., 23 Jun 2022, In: Dagstuhl Artifacts Series. 8, 2, p. 19:1-19:4 4 p., 19.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)
Cledou, G., Edixhoven, L. J., Jongmans, S-S. & Proença, J., Jun 2022, Heerlen: Open Universiteit Nederland. 31 p. (OUNL-CS (Technical Reports); No. 03, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile19 Downloads (Pure) -
Branching Pomsets for Choreographies
Edixhoven, L., Jongmans, S-S., Proença, J. & Cledou, G., 9 Aug 2022, Proceedings 15th Interaction and Concurrency Experience: ICE'22. C. A., C. D. G. & L. S. A. A. S. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 356. p. 37-52 16 p. (Electronic proceedings in theoretical computer science, Vol. 356).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access