Find Research outputs

Search results

• Technical report

  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
  6 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
  9 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

• 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
  21 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
  10 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
  127 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

  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
  26 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
  21 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
  25 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

  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

  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
  20 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

  Open Access

  File

• 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

  Open Access

  File

• 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

  Open Access

  File

• 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
  19 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
  1 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

• Mobile Augmented Reality for Learning

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

  Research output: Book/Report › Technical report

  Open Access

  File

• 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
  3 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

  Open Access

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

  Open Access

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

• 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
  81 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
  94 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
  12 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
  26 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
• Web publication/site

  A Burden to Share

  Doomen, J., 9 Apr 2020

  Research output: Non-textual form › Web publication/site › Academic

  Open Access

• Access to supply chain information: stopped at the border by customs?

  Touw, N. D., 28 Dec 2020

  Research output: Non-textual form › Web publication/site › Academic

  Open Access

• An ‘outsider’ perspective on ALTC: Guest blog

  Verjans, S., 31 May 2019

  Research output: Non-textual form › Web publication/site › Professional

• Applicability of International Law to Transnational Corporations

  Mann, J-K. & Touw, N. D., 5 Sep 2020

  Research output: Non-textual form › Web publication/site › Academic

  Open Access

• Artikel 23 Grondwet en de opvoeding van schoolbestuurders

  Sap, J. W., Dec 2020

  Research output: Non-textual form › Web publication/site › Professional

  Open Access

• As Leopold II statues fall, how do we ‘educate ourselves’ about his colony?

  De Mul, S. P. J. & Burroughs, R., 20 Jul 2020

  Research output: Non-textual form › Web publication/site › Academic

  Open Access

• Balanceren tussen veiligheid en empatie in coronatijd: Over lastige dilemma's voor professionals die werken met geweldsslachtoffers

  Haans, T. & Janssen, J. H. L. J., 2021

  Research output: Non-textual form › Web publication/site › Professional

  Open Access

• Balanceren tussen verhaal en feit. Over schrijversbiografieën en Cecile en Elsa. Strrijdbare freules van Elisabeth Leijnse

  Duyvendak, E. H. R., 2018

  Research output: Non-textual form › Web publication/site › Academic

  Open Access

• Bereiken en betrekken: burgerparticipatie in onderzoek en beleidsvorming

  Translated title of the contribution: Citizen participation in research and policymakingDuijsens, L. J. E. & Hengst, T. M., 1 Jun 2022

  Research output: Non-textual form › Web publication/site › Academic

• Bestellen, bezorgen, eten

  Ernes, A. L. H., 27 Mar 2019

  Research output: Non-textual form › Web publication/site › Popular

  Open Access

• Big Tech vraagt om een breder rechtsstaatbegrip

  Passchier, R., 2 Oct 2020

  Research output: Non-textual form › Web publication/site › Professional

  Open Access