Research output per year
Research output per year
Research output
Search results
-
2023
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 -
2022
Fast Computations on Ordered Nominal Sets
Venhoek, D., Moerman, J. & Rot, J., 16 Aug 2022, Cornell University - arXiv, 38 p. (Computing Research Repository).Research output: Working paper / Preprint › Preprint › Academic
Open Access -
2020
Design Policy Checking in ArchiMate: On the Cases Technology Policies in a Medical Center
Joosten, S. M. M., Haddouchi, E. M. & Roubtsova, E. E., 2 Sept 2020, EasyChair, 23 p.Research output: Working paper / Preprint › Preprint › Academic
Open AccessFile103 Downloads (Pure)