Research output per year
Research output per year
- 1 - 50 out of 124 results
Search results
-
2023
EduVerse: Interactive Technology Showcase
Iren, Y. D., 2023, Open Universiteit.Research output: Book/Report › Technical report › Academic
File49 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 AccessFile90 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 AccessFile79 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 AccessFile37 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 AccessFile43 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 AccessFile123 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 AccessFile77 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 AccessFile93 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
File45 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 AccessFile72 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 AccessFile82 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 AccessFile118 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 AccessFile66 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 AccessFile66 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 AccessFile217 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 AccessFile48 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 AccessFile71 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 AccessFile193 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 AccessFile48 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 AccessFile216 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 AccessFile31 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 AccessFile52 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 AccessFile68 Downloads (Pure) -
2016
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 -
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 -
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 AccessFile94 Downloads (Pure) -
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., Sept 2016, Radboud University Nijmegen. 42 p.Research output: Book/Report › Technical report › Professional
Open AccessFile45 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 -
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 -
2015
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
-
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
Open Access -
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
-
2014
(Serious) Games Development: The State of the Art
Qi, W., 19 Aug 2014Research output: Book/Report › Technical report › Academic
Open AccessFile50 Downloads (Pure) -
Haskell Communities and Activities Report: Bijdrage over Interactive Domain Reasoning
Heeren, B. J., Nov 2014, Haskell. 86 p.Research output: Book/Report › Technical report › Professional
Open Access -
Model solutions and properties for diagnosing student programs in Ask-Elle.
Jeuring, J. T., van Binsbergen, L. T., Heeren, B. J. & Gerdes, A., Sept 2014, Utrecht: Utrecht University.Research output: Book/Report › Technical report › Professional
Open AccessFile18 Downloads (Pure) -
Security of Online Banking Systems.
Kiljan, S. Z., Simoens, K., De Cock, D., van Eekelen, M. C. J. D. & Vranken, H. P. E., 2014, Open Universiteit Nederland. 55 p.Research output: Book/Report › Technical report › Professional
Open AccessFile73 Downloads (Pure) -
2013
Notes on Modeling XML Content Models
Passier, H. J. M., 10 Feb 2013, Open Universiteit Nederland. 26 p.Research output: Book/Report › Technical report › Academic
File -
2012
Mobile Augmented Reality for Learning
Specht, M., 3 Apr 2012, 1 ed. the Netherlands.Research output: Book/Report › Technical report › Academic
Open AccessFile31 Downloads (Pure) -
2010
D1.5 TENCompetence project completion report
Kluijfhout, E., 1 Jan 2010Research output: Book/Report › Technical report › Academic
Open AccessFile3 Downloads (Pure) -
Een elektronische leeromgeving voor Talant
De Vries, F. & Nadolski, R., 19 May 2010Research output: Book/Report › Technical report › Academic
Open AccessFile34 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 2010Research output: Book/Report › Technical report › Academic
Open AccessFile30 Downloads (Pure)