Find Research outputs

Search results

• Technical report

  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

• 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
  12 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
  28 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
  13 Downloads (Pure)

• 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
  14 Downloads (Pure)

• Beautiful JavaScript: How to create good and elegant code

  Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 11 May 2015, Open Universiteit Nederland. 26 p.

  Research output: Book/Report › Technical report › Academic

• 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
  8 Downloads (Pure)

• 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
  28 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
  18 Downloads (Pure)

• 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
  139 Downloads (Pure)

• Emotions and technology in pension service interactions: Taking stock and moving forward

  Eberhardt, W., Henkel, A. & Hoet, C., Apr 2020, Tilburg: Netspar. 41 p. (Netspar Industry paper series, Vol. 144). (Netspar Design Paper, Vol. 144).

  Research output: Book/Report › Technical report › Professional

  Open Access

• 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
  37 Downloads (Pure)

• 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

  File
  32 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
  28 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, ., 2020, Delft/Nijmegen/Leiden: Nationaal Regieorgaan Onderwijsonderzoek (NRO). 44 p.

  Research output: Book/Report › Technical report › Academic

  Open Access

• 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

• 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
  28 Downloads (Pure)

• ID 7.12 – Revised version of the learning path description and validation plan

  Herder, E., Kärger, P., Berlanga, A., Janssen, J. & Heyenrath, S., 6 Jan 2010

  Research output: Book/Report › Technical report › Academic

  Open Access

  File
  3 Downloads (Pure)

• ID 7.13+17 – Validation of learning path description, Implementation of the Learning Path Manager and Editor

  Herder, E., Kärger, P., Berlanga, A., Janssen, J. & Heyenrath, S., 6 Jan 2010

  Research output: Book/Report › Technical report › Academic

  Open Access

  File
  1 Downloads (Pure)

• ID 7.17 – Implementation of the Learning Path Manager and Editor

  Herder, E., Kärger, P., Berlanga, A., Janssen, J. & Heyenrath, S., 6 Jan 2010

  Research output: Book/Report › Technical report › Academic

  Open Access

  File
  3 Downloads (Pure)

• Innovation au sens large. Une étude pour la mesure de l’innovation.

  Pauwels, F., Cortese, V., Martinez, E., Forrier, A., Van Hootegem, G., Van Ruysseveldt, J., Manshoven, J. & Teirlinck, P., 2004

  Research output: Book/Report › Technical report › Academic

  Open Access

  File
  33 Downloads (Pure)

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

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

  Research output: Book/Report › Technical report › Academic

• Lecture notes on ‘Analysing energy consumption by software: for the TACLe Summerschool 2016, Yspertal, Austria

  van Gastel, B. E. & van Eekelen, M. C. J. D., Sep 2016, Radboud University Nijmegen. 42 p.

  Research output: Book/Report › Technical report › Professional

  Open Access

  File
  5 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

• Licht verstandelijk beperkte jongeren in de strafprocedure: Knelpunten en risico’s

  Teeuwen, M. & Malsch, M., 2017, Amsterdam: Nederlands Studiecentrum Criminaliteit. 42 p.

  Research output: Book/Report › Technical report › Academic

  Open Access

• Methodical Concurrency Design in Education: Part I: Race Conditions.

  Bijlsma, A., Passier, H. J. M., Pootjes, H. J. & Smetsers, S., 17 Dec 2015, Heerlen (NL): Open Universiteit Nederland.

  Research output: Book/Report › Technical report › Professional

• Methodical Concurrency Design in Education, Part II: Deadlock.

  Bijlsma, A., Bockisch, C. M., Passier, H. J. M. & Pootjes, H. J., 17 Dec 2015, (Submitted) Heerlen (NL): Open Universiteit Nederland.

  Research output: Book/Report › Technical report › Professional

• 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
  7 Downloads (Pure)

• Mobile Augmented Reality for Learning

  Specht, M., 3 Apr 2012, 1 ed. the Netherlands.

  Research output: Book/Report › Technical report › Academic

  Open Access

  File
  4 Downloads (Pure)

• 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 Sep 2018, 24 p. (arXiv).

  Research output: Book/Report › Technical report › Academic

  Open Access

• Nationale stimuleringsactie empirical legal studies

  Elbers, N., Malsch, M., van der Laan, P., Akkermans, A. & Bijleveld, C., 2018, Amsterdam: Nederlands Studiecentrum Criminaliteit en Rechtshandhaving. 37 p.

  Research output: Book/Report › Technical report › Professional

  Open Access

• 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
  6 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
  8 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
  16 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

• 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
  5 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
  95 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
  6 Downloads (Pure)

• 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
  119 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
  13 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
  15 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
  30 Downloads (Pure)

• The Automatic Generation of Knowledge Spaces From Problem Solving Strategies

  Milovanovic', I. & Jeuring, J. T., Apr 2016, Utrecht: Utrecht University. 4 p.

  Research output: Book/Report › Technical report › Academic

  Open Access

• Toezicht op strafvorderlijk overheidsoptreden

  Devroe, E., Malsch, M., Matthys, J. & Minderman, G., 2017, Den Haag: Leiden University Press . 155 p.

  Research output: Book/Report › Technical report › Academic

  Open Access

• Towards a Systematic Review of Automated Feedback Generation for Programming Exercises: Extended Version. (UU-CS-2016-001)

  Keuning, H., Jeuring, J. T. & Heeren, B. J., Mar 2016, Utrecht: Utrecht University. 20 p. (Technical Report University Utrecht, Vol. UU-CS-2016-001).

  Research output: Book/Report › Technical report › Professional

  Open Access

• Метод формального анализа динамических алгоритмов представленных функциональными схемами.

  Translated title of the contribution: Formal analysis method of dynamic algorithms represented by functional schemes.Roubtsova, E. E., Abramova, N. A. & Ambartsumyan, A. A., 1990, Moscow: VINITI. 18 p.

  Research output: Book/Report › Technical report › Academic
• Special Issue editing

  Annual Review of Sex Research Special Issue: Editor’s Introduction

  van Lankveld, JJDM. (ed.), 2015, In: Journal of Sex Research. 52, 4, p. 361 1 p.

  Research output: Contribution to journal › Special Issue editing › Academic

• GaLA Conf 2020 Special Issue

  Marfisi-Schottmann, I. (ed.), Hamon, L. (ed.), Klemke, R. (ed.), Laforcade, P. (ed.) & Bellotti, F. (ed.), Sep 2021, In: International Journal of Serious Games. 8, 3

  Research output: Contribution to journal › Special Issue editing › Academic

  Open Access

• ICT in de lerarenopleiding

  Martens, R. (Guest ed.), Thys, J. (Guest ed.), Van den Berg, E. (Guest ed.) & Vanderlinde, R. (Guest ed.), 1 Jun 2014, In: Tijdschrift voor Lerarenopleiders. 35, 4, p. 3-128 128 p.

  Research output: Contribution to journal › Special Issue editing › Professional

  Open Access

  File
  114 Downloads (Pure)