Find Research outputs

Search results

• 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

• A perfect Threesome: co-creatie tussen onderzoek, onderwijs en praktijk

  Van Hooren, S., 2015, In: Tijdschrift voor Vaktherapie. 2, p. 19-20 2 p.

  Research output: Contribution to journal › Article › Professional

• API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

  Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)

  Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., 23 Jun 2022, In: Dagstuhl Artifacts Series. 8, 2, p. 19:1-19:4 4 p., 19.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

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

• A Pilot Study of the Psychological Impact of the Mindfulness-Based Stress-Reduction Program On People Who Stutter

  De Veer, S., Brouwers, A., Evers, W. & Tomic, W., 2009, In: Default journal.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

• A pilot study of the use of LogEx, lessons learned

  Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015. Huertas, M. A., Marcos, J., Manzano, M., Pinchinat, S. & Schwarzentruber, F. (eds.). Rennes: Presses Universitaires de Rennes, p. 93-100 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• A Placement Web-Service for Lifelong Learners

  Kalz, M., Drachsler, H., Van der Vegt, W., Van Bruggen, J., Glahn, C. & Koper, R., 2009, Proceedings of I-KNOW '09: 9th international conference on knowledge management and knowledge technologies: Proceedings of I-SEMANTICS '09: 5th international conference on semantic systems. Tochtermann, K. & Maurer, H. (eds.). Graz: Verlag der Technischen Universität Graz, p. 289-298 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File
  27 Downloads (Pure)

• A Platform for the Geometry Friends: Cooperative Game AI Competition

  Costa, R., Prada, R. & Melo, F. S., 2018, Proceedings of Videojogos 2018 - 10th Conference on Videogame Sciences and Arts 2018.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File
  52 Downloads (Pure)

• Aplib: Tactical Agents for Testing Computer Games

  Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. E. J., Dignum, F. & Kifetew, F. M., 7 Jan 2021, Engineering Multi-Agent Systems: 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers. Cristina Baroglio, Jomi F. Hubner & Michael Winikoff (eds.). 1 ed. Springer, Vol. 12589. p. 21-41 21 p. (Lecture Notes in Computer Science, Vol. 12589).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• A Pluralist Perspective on European Citizenship and Religious Education

  Sap, J. W., Sept 2019, In: NTKR, Tijdschrift voor Recht en Religie. 2019, 1, p. 77-88 12 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

• A political-economy analysis of the provision of urban anti-crime technologies in a model with three cities

  Batabyal, A. A., Kourtit, K. & Nijkamp, P., Nov 2020, In: Technological Forecasting and Social Change. 160, 7 p., 120211.

  Research output: Contribution to journal › Article › Academic › peer-review
  2 Citations (Web of Science)

• A Political-Economy Analysis of the Provision of Urban Anti-Crime Technologies in a Model with Three Cities

  Batabyal, A. A., Kourtit, K. & Nijkamp, P., 20 Jul 2020, SSRN, 31 p. (RIT Economics Department Working Paper; No. 20, Vol. 7).

  Research output: Working paper / Preprint › Working paper › Academic

  Open Access

• A Post-Corona Perspective for Smart Cities: 'Should I Stay or Should I Go?'

  Sassen, S. & Kourtit, K., Sept 2021, In: Sustainability. 13, 17, 15 p., 9988.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access
  8 Citations (Web of Science)

• Appartementsrecht: Een rechtsgebied in ontwikkeling

  van der Vleuten, M. C. E., Mertens, R. F. H. & Akkermans, B., 2016, Boek 5 BW van de toekomst: Over vernieuwingen in het zakenrecht. Verstappen, L. C. A. (ed.). Den Haag: Sdu Uitgevers, p. 351-434 84 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Applicability of International Law to Transnational Corporations

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

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

  Open Access

• Applicants’ pre-test reactions towards video interviews: The role of expected chances to demonstrate potential and to use nonverbal cues

  Proost, K., Germeys, F. & Vanderstukken, A., 4 Mar 2021, In: European Journal of Work and Organizational Psychology. 30, 2, p. 265-273 9 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access
  5 Citations (Web of Science)

• Application of an instructional systems design approach by teachers in higher education: individual versus team design

  Hoogveld, B., Paas, F. & Jochems, W., Aug 2003, In: Teaching and Teacher Education. 19, 6, p. 581-590 10 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  6 Citations (Web of Science)

  112 Downloads (Pure)

• Application of probabilistic modelling techniques in human and environmental risk assessment

  Ragas, A. M. J., 28 Aug 2013, In: Toxicology Letters. 221, p. S21 1 p.

  Research output: Contribution to journal › Conference Abstract/Poster in journal › Academic › peer-review

• Applying Automata Learning to Embedded Control Software

  Smeenk, W., Moerman, J., Vaandrager, F. W. & Jansen, D. N., Dec 2015, Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Butler, M., Conchon, S. & Zaïdi, F. (eds.). Springer, p. 67-83 17 p. (Lecture Notes in Computer Science, Vol. 9407).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• Applying a ‘One Health’ lens to uncover neglected mangrove ecosystem services

  Hugé, J. J. A., Vanhove, M. P. M. & Munga, C., 9 Jun 2022.

  Research output: Contribution to conference › Abstract › Academic

• Applying deep learning on packet flows for botnet detection: Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing

  van Roosmalen, J., Vranken, H. P. E. & van Eekelen, M. C. J. D., 13 Apr 2018, Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). New York: acm, p. 1629-1636 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File
  111 Downloads (Pure)

• Applying different levers for supply chain sustainability: control and governance mechanisms in a cross boundary setting

  de Haan - Hoek, J., Lambrechts, W. D. B. H. M., Semeijn, J. & Caniels, M. C. J., Apr 2019, p. 19. 1 p.

  Research output: Contribution to conference › Abstract › Academic

  Open Access

• Applying different levers for supply chain sustainability: control and governance mechanisms in a cross boundary setting.

  de Haan - Hoek, J., Lambrechts, W. D. B. H. M., Semeijn, J. & Caniels, M. C. J., Oct 2019.

  Research output: Contribution to conference › Paper › Academic

• Applying Intervention Mapping to develop a community-based intervention aimed at improved psychological and social well-being of unmarried teenage mothers in Uganda

  Leerlooijer, J. N., Kok, G., Weyusya, J., Bos, A. E. R., Ruiter, R. A. C., Rijsdijk, L. E., Nshakira, N. & Bartholomew, L. K., Aug 2014, In: Health Education Research. 29, 4, p. 598-610 13 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access
  16 Citations (Web of Science)

• Applying Intervention Mapping to Improve the Applicability of Precious Memories, an Intervention for Depressive Symptoms in Nursing Home Residents

  van Venrooij, I., Spijker, J., Westerhof, G. J., Leontjevas, R. & Gerritsen, D. L., 17 Dec 2019, In: International Journal of Environmental Research and Public Health. 16, 24, p. 1-15 15 p., 5163.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access
  1 Citation (Web of Science)

• Applying reflection and moderation in an asynchronous computer-supported collaborative learning environment in campus-based higher education.

  Dewiyanti, S., Brand-Gruwel, S. & Jochems, W. M. G., 25 Jul 2005, In: British Journal of Educational Technology. 36, 4, p. 673-676 4 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  7 Citations (Web of Science)

  57 Downloads (Pure)

• Applying Scrum in Data Science Projects

  Baijens, J., Helms, R. W. & Iren, D., 2020, Proceedings of IEEE 22nd Conference on Business Informatics (CBI 2020). Guédria, W., Proper, H. A., Verelst, J., Hacks, S., Timm, F., Sandkuhl, K., Fellmann, M., Serapiao, G., Payan, M., Komarov, M., Maltseva, S., Uskenbayeva, R., Nazarov, D., Ge, M., Helfert, M. & Ehrlinger, L. (eds.). Danvers, MA: Institute of Electrical and Electronics Engineers Inc., Vol. 2. p. 30-38 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File
  775 Downloads (Pure)

• Applying standards to systematize learning analytics in serious games

  Serrano-Laguna, A., Martinez-Ortiz, I., Haag, J., Regan, D., Johnson, A. & Fernandez-Manjon, B., 30 Sept 2016, In: Computer Standards & Interfaces. 50, p. 116-123

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  34 Citations (Web of Science)

  550 Downloads (Pure)

• Applying the Generalized Logistic Model in Single Case Designs: Modeling Treatment-Induced Shifts

  Verboon, P. & Peters, G. J., 1 Jan 2020, In: Behavior Modification. 44, 1, p. 27-48 22 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access
  5 Citations (Web of Science)

• Applying the V Model and Axiomatic Design in the Domain of IT Architecture Practice

  Tarenskeen, D., Bakker, R. & Joosten, S. M. M., 2015, In: Procedia CIRP. 34, p. 263-268 6 p.

  Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

  Open Access

• Appraising strategic adaptive management as a process of organizational learning

  Roux, D. J., Novellie, P., Smit, I. P. J., de Kraker, J., Mc Culloch-Jones, S., Dziba, L. E., Freitag, S. & Pienaar, D. J., 1 Jan 2022, In: Journal of Environmental Management. 301, 10 p., 113920.

  Research output: Contribution to journal › Article › Academic › peer-review
  1 Citation (Web of Science)

• Appraising the Qualities of Social Work Students’ Theoretical Knowledge: A Qualitative Exploration

  Van Bommel, M., Boshuizen, E. & Kwakman, K., Oct 2012, In: Vocations and Learning. 5, 3, p. 277-295 19 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  6 Citations (Web of Science)

  86 Downloads (Pure)

• Appreciating Gratitude: New Perspectives on the Gratitude - Mental Health Connection

  Jans-Beken, L. G. P. J., 2018, Heerlen: Open Universiteit. 212 p.

  Research output: Thesis › Doctoral Thesis › Thesis 1: fully internal

  Open Access

• Appreciation of a constructivist curriculum for learning theoretical knowledge by social work students with different kinds and levels of learning motivation

  Van Bommel, M., Boshuizen, E. & Kwakman, K., 2015, In: International Journal of Educational Research. 71, p. 65-74 10 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  7 Citations (Web of Science)

• Approach and avoidance temperament: An examination of its construct and predictive validity at work

  Bipp, T., Kleingeld, P. A. M. & Van Dam, K., Aug 2015.

  Research output: Contribution to conference › Paper › Academic

• Approach and avoidance temperament: An examination of its construct and predictive validity at work

  Bipp, T., Kleingeld, A. & Van Dam, K., 2017, In: European Journal of Psychological Assessment. 33, p. 196-206 11 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  3 Citations (Web of Science)

• Approximate Model Checking of Stochastic COWS

  Quaglia, P. & Schivo, S., 2010, 5th International Symposium on Trustworthly Global Computing, TGC 2010. Wirsing, M., Hofmann, M. & Rauschmayer, A. (eds.). Germany: Springer Verlag, p. 335-347 13 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming

  Michels, S., Hommersom, A. & Lucas, P. J. F., Jul 2016, IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Brewka, G. (ed.). AAAI Press, p. 3616-3622 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• A Practical Application of Upon Lite for the Development of a Semi-Informal Application Ontology

  De Lille, N. & Roelens, B. F. C., 23 Mar 2021, Proceedings of the International Workshop on Value Modelling and Business Ontologies. Guizzardi, G., Sales, T. P., Griffo, C. & Fumagalli, M. (eds.). CEUR-WS, Vol. 2835. p. 63-70 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• A Practical Assessment of Modern IT Project Complexity Management Tools: Taming Positive, Appropriate, Negative Complexity

  Morcov, S., Pintalon, L. & Kusters, R. J., Jul 2021, In: International Journal of Information Technology Project Management (IJITPM). 12, 3, p. 90-108 19 p., 6.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  1 Citation (Web of Science)

  168 Downloads (Pure)

• A Practical Extension of Frameworks for Auditing with Process Mining

  Roubtsova, E. E. & Wiersma, N., 2018, ENASE 2018: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. Damiani, E., Spanoudakis, G. & Maciaszek, L. (eds.). SciTePress, p. 406-415 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• A practical guide to effective behavior change: How to identify what to change in the first place

  Peters, G-JY., 1 Oct 2014, In: The European Health Psychologist. 16, 5, p. 142-155 14 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

• A Practical Method to Plan Co-Evolution of Business and Information Technology

  Nodehi, S., Huygh, T., Bollen, L. & Visser, J., 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - (Volume 2). Joaquim Filipe, Michał Śmiałek, Alexander Brodsky & Slimane Hammoudi (eds.). SciTePress, Vol. 2. p. 615-622 8 p. (International Conference on Enterprise Information Systems, ICEIS - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

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

• A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

  Jongmans, S-S. & Bos, P. V. D., 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Ilya Sergey (ed.). 1 ed. Springer, Vol. 13240. p. 520-547 (Lecture Notes in Computer Science, Vol. 13240).

  Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

  Open Access

• A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence

  Compagna, L., Jonker, H. L., Krochewski, J., Krumnow, B. & Sahin, M., 29 Oct 2021, IEEE European Symposium on Security and Privacy Workshops: (EuroS&PW). IEEE, p. 49-59 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

• A preventive eHealth ACT module for positive aging: feasibility results

  Reijnders, J. S. A. M., Batink, T., Simons, M. E., Peeters, S. C. T., Janssens, M., Lataster, J. J. E. & Jacobs, N. E., 25 Jun 2021.

  Research output: Contribution to conference › Poster › Academic

  1 Downloads (Pure)

• A preventive eHealth ACT module for positive aging: preliminary results

  Reijnders, J. S. A. M., Batink, T., Simons, M. E., Peeters, S. C. T., Janssens, M., Lataster, J. J. E. & Jacobs, N. E., 2 Apr 2022.

  Research output: Contribution to conference › Poster › Academic

  Open Access

  File
  98 Downloads (Pure)