Research Organisation Open Universiteit

2023

EduVerse: Interactive Technology Showcase

Iren, Y. D., 2023, Open Universiteit.

Research output: Book/Report › Technical report › Academic

File

42 Downloads (Pure)

Eyes on the prize: eye tracking for business value

Hermens, F. & Iren, Y. D., Feb 2023, Open Universiteit. 5 p. (Actionable Data Science Whitepaper Series; No. 1, Vol. 2).

Research output: Book/Report › Technical report › Academic

Open Access

2022

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 Access

File

90 Downloads (Pure)

A Predicate Transformer for Choreographies (Full Version)

Jongmans, S.-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 36 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2022).

Research output: Book/Report › Technical report › Academic

Open Access

File

69 Downloads (Pure)

A Predicate Transformer for Choreographies (Technical Report)

Jongmans, S.-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 132 p. (OUNL-CS (Technical Reports); No. 02, Vol. 2022).

Research output: Book/Report › Technical report › Academic

Open Access

File

37 Downloads (Pure)

Branching pomsets for choreographies (technical report)

Edixhoven, L., Jongmans, S.-S., Cledou, G. & Proença, J., Jul 2022, Open Universiteit Nederland. 23 p. (OUNL-CS (Technical Reports); No. 04, Vol. 2022).

Research output: Book/Report › Technical report › Academic

Open Access

File

42 Downloads (Pure)

Mitigeren en compenseren stikstofdepositie op beschermde Natura 2000-habitats: Een reflectie op basis van relevante wetenschappelijke inzichten en juridische kaders

Beunen, R., Dec 2022, Heerlen: Open Universiteit.

Research output: Book/Report › Technical report › Professional

Open Access

File

123 Downloads (Pure)

Realisability of branching pomsets (technical report)

Edixhoven, L. J. & Jongmans, S.-S., 2022, Heerlen: Open Universiteit Nederland. 28 p. (OUNL-CS (Technical Reports); No. 05, Vol. 2022).

Research output: Book/Report › Technical report › Academic

Open Access

File

68 Downloads (Pure)

Specification based OO development: Procedural Guidance

Passier, H. J. M., Bijlsma, A. & Kuiper, R., 2022, Heerlen: Open Universiteit Nederland. 72 p. (OUNL-CS (Technical Reports); No. 06, Vol. 2022).

Research output: Book/Report › Technical report › Academic

Open Access

File

86 Downloads (Pure)

2021

Balanced-by-construction regular and ω-regular languages (technical report)

Edixhoven, L. J. & Jongmans, S.-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).

Research output: Book/Report › Technical report › Academic

File

38 Downloads (Pure)

Construction of a knowledge graph for exercise selection

Bijlsma, A., Huizing, C., Kok, A. J. F., Kuiper, R., Passier, H. J. M., Scheffers, E., Schivo, S. & Vos, T. E. J., 14 Oct 2021, Open Universiteit. 24 p. (OUNL-CS (Technical Reports); No. 2, Vol. 2021).

Research output: Book/Report › Technical report › Academic

Open Access

File

68 Downloads (Pure)

Het Nederlands waterbeheer: Publiek vertrouwen niet vanzelfsprekend

Voogd, R., De Vries, J. & Beunen, R., 2021, Wageningen University. 6 p.

Research output: Book/Report › Technical report › Professional

Open Access

2020

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

Jongmans, S.-S. & Yoshida, N., 2020, Open Universiteit Nederland. 189 p. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 01, Vol. 2020).

Research output: Book/Report › Technical report › Academic

Open Access

File

74 Downloads (Pure)

Het bevorderen van burgerschapscompetenties in de natuurwetenschappelijke vakken met behulp van zelfgemaakt actueel en innovatief lesmateriaal: Een onderzoek naar karakteristieken van effectief burgerschapsonderwijs in de natuurwetenschappelijke vakken en kenmerken van docenten die zelf actuele burgerschapslessen ontwerpen

Henze, I., Bayram-Jacobs, D., Barendsen, E. & Platteel, 3., 2020, Delft/Nijmegen/Leiden: Nationaal Regieorgaan Onderwijsonderzoek (NRO). 44 p.

Research output: Book/Report › Technical report › Academic

Open Access

Hoe stimuleer je circulair inkopen? 7 eenvoudige lessen om de transitie te maken

Neessen, P. C. M., 16 Nov 2020, Zeist: Nevi. 5 p.

Research output: Book/Report › Technical report › Professional

How do students test software units? Part one: Their natural attitude diagnosed

Bijlsma, A., Doorn, N., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 27 May 2020, Heerlen: Open Universiteit Nederland. 46 p. (Technical Report - Computer Science & Information Science (TR-OU-INF), Vol. 2019).

Research output: Book/Report › Technical report › Academic

Open Access

File

102 Downloads (Pure)

Levenslange obstakels: Een levensloopstudie naar licht verstandelijk beperkten in het strafrecht en in de zorg

Teeuwen, M., Bruggeman, M., Dirkse, M. & Malsch, M., 2020, Amsterdam: Nederlands Studiecentrum Criminaliteit. 96 p.

Research output: Book/Report › Technical report › Academic

Open Access

2019

Comic Book: Intellectual Output 2 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage

Brighi, A., Mameli, C., Guarini, A., Menin, D., Völlink, T., Willems, R. A., Scheithauer, H., Fiedler, N., Purdy, N., Hamilton, J., Rowan, A., Smith, P. K. & Culbert, C., Oct 2019, Belfast: Stranmillis University College. 28 p.

Research output: Book/Report › Technical report › Academic

Open Access

File

72 Downloads (Pure)

Guidance for parents/carers: Intellectual Output 3 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage

Smith, P. K., Culbert, C., Brighi, A., Mameli, C., Guarini, A., Menin, D., Völlink, T., Willems, R. A., Scheithauer, H., Fiedler, N., Purdy, N., Hamilton, J. & Rowan, A., Oct 2019, Belfast: Stranmillis University College. 20 p.

Research output: Book/Report › Technical report › Academic

Open Access

File

64 Downloads (Pure)

Ontwerprichtlijnen voor formatief toetsen vanuit de geheugenpsychologie 1 + 1 = 3?

Dirkx, K., Joosten - ten Brinke, D. & Camp, G., 2019, Heerlen: Welten-instituut - Open Universiteit. 44 p.

Research output: Book/Report › Technical report › Academic

Open Access

Restructering design patterns using functions in Java: An explorative study

Bijlsma, A., Kok, A. J. F., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 10 Jan 2019, Open Universiteit Nederland. 41 p.

Research output: Book/Report › Technical report › Academic

Open Access

File

216 Downloads (Pure)

Summary recommendations for social networking site providers: Intellectual Output 4 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage

Purdy, N., Hamilton, J., Rowan, A., Smith, P. K., Culbert, C., Brighl, A., Mamell, C., Guarini, A., Menin, D., Völlink, T., Willems, R. A., Scheithauer, H. & Fiedler, N., Oct 2019, Belfast: Stranmillis University College. 33 p.

Research output: Book/Report › Technical report › Academic

Open Access

File

39 Downloads (Pure)

Summary resources for teachers: Intellectual Output 1 of Blurred Lives Project: A cross-national co-participatory exploration of cyberbullying, young people and socio-economic disadvantage

Scheithauer, H., Fiedler, N., Purdy, N., Hamilton, J., Rowan, A., Smith, P. K., Culbert, C., Brighi, A., Mameli, C., Guarini, A., Menin, D., Völlink, T. & Willems, R. A., Oct 2019, Belfast: Stranmillis University College. 20 p.

Research output: Book/Report › Technical report › Academic

Open Access

File

73 Downloads (Pure)

2018

Docentprofessionalisering in regionale leercentra: Heyy: Eindrapport doorbraakproject docentprofessionalisering Educatieve Agenda Limburg

Evers, A., Rajagopal, K., Kreijns, K., Smeets, A. & Fasen, J., Oct 2018, Heerlen: Welten-instituut - Open Universiteit. 20 p.

Research output: Book/Report › Technical report › Professional

Open Access

File

195 Downloads (Pure)

Integrated Test Development: Technical Report (TR-OU-ICA-2018-01)

Bijlsma, A., Passier, H. J. M., Pootjes, H. & Stuurman, S., 10 Oct 2018, Open Universiteit.

Research output: Book/Report › Technical report › Academic

Monitoring spatial sustainable development: Semi-automated analysis of satellite and aerial images for energy transition and sustainability indicators

Curier, R. L., De Jong, T. J. A., Strauch, K., Cramer, K., Rosenski, N., Schartner, C., Debusschere, M., Ziemons, H., Iren, D. & Bromuri, S., 26 Sept 2018, 24 p. (arXiv).

Research output: Book/Report › Technical report › Academic

Open Access

Pilot Study for TYPE A REPORT - The position of linguistic minorities during elections: A focus on speakers of autochthonous languages

van der Velden, B. D., 2018, 32 p.

Research output: Book/Report › Technical report › Professional

Open Access

File

46 Downloads (Pure)

Quality Reference Framework (QRF) for the Quality of Massive Open Online Courses (MOOCs): Developed by MOOQ in close collaboration with all interested parties worldwide

Stracke, C. M., Tan, E., Moreira Texeira, A., do Carmo Pinto, M., Vassiliadis, B., Kameas, A., Sgouropoulou, C. & Vidal, G., 2018, MOOQ. 36 p.

Research output: Book/Report › Technical report › Academic

Open Access

File

233 Downloads (Pure)

2017

A Pattern to Test Instances of the Template Method

Bijlsma, A., Pootjes, H. J., Stuurman, S. & Passier, H. J. M., 12 Apr 2017, Open Universiteit Nederland. 11 p.

Research output: Book/Report › Technical report › Academic

Non-Quantitative Modeling of Service-Oriented Architectures, Refactorings, and Performance

van Eekelen, M., Lamers, A. & Jongmans, S.-S., 2017, Open Universiteit Nederland. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 2, Vol. 2017).

Research output: Book/Report › Technical report › Academic

Open Access

File

32 Downloads (Pure)

On the validation of an Evaluation Framework: Assessment by Experts

Högler, T. & Versendaal, J. M., 11 Nov 2017, HBO Kennisbank, SURF. 58 p.

Research output: Book/Report › Technical report › Professional

Open Access

File

55 Downloads (Pure)

On the validation of the initial step of an upfront system implementation evaluation framework: The firebrigade case

Högler, T. & Versendaal, J. M., 11 Nov 2017, HBO Kennisbank, SURF. 26 p.

Research output: Book/Report › Technical report › Professional

Open Access

File

67 Downloads (Pure)

2016

Analysing energy consumption by software: ICIS-R16001

van Eekelen, M. C. J. D. & van Gastel, B. E., Nov 2016, Institute for Computing and Information Sciences.

Research output: Book/Report › Technical report › Professional

Open Access

Analysing energy consumption by software: Technical Report ICXIS-R16001

van Eekelen, M. C. J. D. & van Gastel, B. E., 2016, Institute for Computing and Information Sciences.

Research output: Book/Report › Technical report › Professional

Open Access

Generating hints and feedback for Hilbert-style axiomatic proofs

Lodder, J. S., Heeren, B. J. & Jeuring, J. T., Dec 2016, Utrecht: Utrecht University. 8 p. (Technical Report University Utrecht, Vol. UU-CS-2016-009).

Research output: Book/Report › Technical report › Professional

Open Access

File

93 Downloads (Pure)