Research output per year
Research output per year
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 -
Improving students’ code correctness and test completeness by informal specifications
Broeders, A., Hermans, R., Stuurman, S., Bijlsma, A. & Passier, H. J. M., 6 Sept 2023, 14 p.Research output: Working paper / Preprint › Preprint › Academic
Open Access -
Shuffling posets on trajectories (technical report)
Edixhoven, L., 17 Sept 2023, Cornell University - arXiv.Research output: Working paper / Preprint › Preprint › Academic
Open Access -
2022
The relationship between the global mean deep-sea and surface temperature during the Early Eocene
Goudsmit-Harzevoort, B., Lansu, A., Baatsen, M. L. J., von der Heydt, A. S., de Winter, N. J., Zhang, Y., Abe-Ouchi, A., de Boer, A., Chan, W.-L., Donnadieu, Y., Hutchinson, D. K., Knorr, G., Ladant, J.-B., Morozova, P., Niezgodzki, I., Steinig, S., Tripati, A., Zhang, Z., Zhu, J. & Ziegler, M., Aug 2022, Earth and Space Science Open Archive, 42 p.Research output: Working paper / Preprint › Preprint › Academic
Open Access -
2021
IT ambidexterity driven patient agility and hospital patient service performance: a variance approach
van de Wetering, R., 22 Jul 2021, medRxiv.Research output: Working paper / Preprint › Preprint › Academic
Open Access -
The New Data Revolution in Regional Science: A Tribute to the Late Stan Czamanski
Broitman, D. & Kourtit, K., 29 Jun 2021, SSRN.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 AccessFile243 Downloads (Pure)