B. (Bas) van den Heuvel, MSc

van den Heuvel, B., 2024, [Groningen]: University of Groningen. 262 blz.

Onderzoeksoutput

van den Heuvel, B., Pérez, J. A. & Dobre, R. A., 1-okt.-2023, Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (redactie). Springer, blz. 66-85 20 blz. (Lecture Notes in Computer Science; vol. 14245).

Onderzoeksoutput › › peer review

van den Heuvel, B., Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 2023, Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Hur, C-K. (redactie). Singapore: Springer Science and Business Media Deutschland GmbH, blz. 112-132 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14405 LNCS).

Onderzoeksoutput › › peer review

Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., okt.-2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, blz. 841-869 29 blz., 155.

Onderzoeksoutput › › peer review

van den Heuvel, B. & Pérez, J. A., 1-okt.-2022, In: Science of computer programming. 222, 102840.

Onderzoeksoutput › › peer review

van den Heuvel, B. & Pérez, J. A., 6-sep.-2022, (Submitted) In: Electronic Proceedings in Theoretical Computer Science. 368, blz. 75-94 20 blz.

Onderzoeksoutput › › peer review

van den Heuvel, B. & Pérez, J. A., 2-okt.-2021, Proceedings 14th Interaction and Concurrency Experience (ICE 2021). Lange, J., Mavridou, A., Safina, L. & Scalas, A. (redactie). Open Publishing Association, blz. 38-56 19 blz. (Electronic Proceedings in Theoretical Computer Science; vol. 347).

Onderzoeksoutput › › peer review

Heuvel, B. V. D. & Pérez, J. A., 3-apr.-2020, In: Electronic Notes in Theoretical Computer Science. 314, blz. 1-11 11 blz.

Onderzoeksoutput › › peer review