Find Research outputs

Search results

• Verwantschap en eigenheid: drie generaties Toorop-Fernhout

  Rijnders, M., 2019, De Toorop Dynastie: Drie kunstenaarsgeneraties. Zwolle: Uitgeverij Waanders & de Kunst, p. 78-105 27 p.

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

• Verwaltung und Qualitat im Niederlandischem Unterrichtswesen. Symposium Domburg 1995

  Claessen, J. F. M., 13 Dec 1995, Verwaltungsqualitat - Unterrichtsqualitat. Innsbruck: StudienVerlag Wien, p. 83-105 22 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

  File

• Vertrouwensbeginsel

  Schlossels - Albers, C. L. G. F. H., 2019, In: Jurisprudentie Bestuursrecht. 2019, 9, p. 803-817 14 p., JB 2019/124.(ABRvS 29 mei 2019, JB 2019/124 (ECLI:NL:RVS:2019:1694); 29/05/19).

  Research output: Contribution to journal › Case note › Academic

• Vertrouwen in de zorgverzekeraar belangrijk voor acceptatie van selectief contracteren

  Bes, R. E., Curfs, E. C., Groenewegen, P. P. & de Jong, J. D., 5 Aug 2016, In: Tijdschrift over Kwaliteit en Veiligheid in Zorg. 2016, 1, p. 4-7 4 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

• Vertroebeling

  Sap, J. W., 10 Apr 2018

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

  Open Access

• Vertaling en validatie van twee vragenlijsten: Self-efficacy en self-directed learning

  Van Meeuwen, L., Brand-Gruwel, S., Kirschner, P. A., De Bock, J. & Van Merriënboer, J., 25 Sept 2012.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  File
  30 Downloads (Pure)

• Vertaalkunde versus vertaalwetenschap

  Verstegen, E. P., 4 Jun 1993, Open Universiteit.

  Research output: Thesis › Doctoral Thesis › Thesis 2: defended at OU & OU (co)supervisor, external graduate

• Versterking van de professionaliteit van de leraar basisonderwijs

  Windmuller, I., 12 Oct 2012, Open Universiteit.

  Research output: Thesis › Doctoral Thesis › Thesis 2: defended at OU & OU (co)supervisor, external graduate

  Open Access

• Versterk de rol van examencommissies. Waarom het geheel telt

  Pol-Neefs, M. & Joosten-ten Brinke, D., 2015, In: TH&MA Hoger Onderwijs. 4, p. 51-53 3 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

  File
  20 Downloads (Pure)

• Verstand van Zaken: Leerservaringen uitwisselen: van leeskring via Goodreads naar Das Mag - en terug?

  Duijvendak, E. H. R., Oct 2017, In: Vooys : tijdschrift voor letteren. 35, 3, p. 68-74 7 p.

  Research output: Contribution to journal › Article › Academic

• Verstandig verdeeld? Deeltijdarbeid in het basisonderwijs

  Claessen, J. F. M., 19 Jun 1987, Heerlen: Open Universiteit. 36 p.

  Research output: Book/Report › Inaugural speech › Popular

  Open Access

  File

• Versoepeling en cultuur

  Sap, J. W., 17 Jan 2022

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

  Open Access

• Verslag Programmalijn 1 van mei 2000 - april 2001

  Schlusmans, K., 18 May 2001.

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

  Open Access

  File
  5 Downloads (Pure)

• Version 2.0 of the wireframes for the antelope version of the TENCompetence client

  Martens, H., Vogten, H. & Koper, R., 28 Nov 2006

  Research output: Non-textual form › Software › Academic

  Open Access

  File
  4 Downloads (Pure)

• Verschil tussen hoogbegaafd en excellent. Naar optimaal onderwijs

  Mooij, A. J., 30 Nov 2011, In: Didaktief. 41, 9

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

• Verschil moet er zijn

  Hoogveld, A. W. M. & Bertisen, R., 1 Apr 2011, Innovatief onderwijs in de praktijk. Hoogveld, A. W. N., van Merriënboer, J. J. G. & Janssen-Noordman, A. M. B. (eds.). Groningen, the Netherlands: Noordhoff Uitgevers B.V., p. 109-118 (Hoger Onderwijs Reeks).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

  File
  37 Downloads (Pure)

• Verschillen volwassenen met autisme of ADHD in hun intelligentie?

  Translated title of the contribution: Do adults with autism or ADHD differ in their intelligence?Broers, S. D. M., van Lankveld, J. D. M. & van Hooren, S., 6 Mar 2019, In: Wetenschappelijk Tijdschrift Autisme. 18, 1, p. 54-63 10 p.

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

  Open Access

  File
  19 Downloads (Pure)

• Veroordeeld tot verbondenheid: Een onderzoek naar de pedagogische alliantie tussen groepsleiders en jongens in een justitiële jeugdinrichting

  Geenen, M-J., 19 Dec 2014, Open Universiteit.

  Research output: Thesis › Doctoral Thesis › Thesis 2: defended at OU & OU (co)supervisor, external graduate

• Vernieuwingen in het onderwijs. Wat gebeurt er mee?

  Kuijpers, M. A. C. T., 2018, In: Bij de Les. 1, p. 23

  Research output: Contribution to journal › Article › Professional

• Vernietiging van overeenkomsten op grond van laesio enormis, dwaling of misbruik van omstandigheden: Over buitensporige nadeligheid van overeenkomsten als grond voor vernietiging en over vernietiging van buitensporig nadelige overeenkomsten op grond van dwaling of misbruik van omstandigheden, naar Nederlands, Duits en Oostenrijks recht

  Translated title of the contribution: Annulment of contracts on the basis of laesio enormis, error, of abuse of circumstances: On gross prejudice of contracts as a ground for annulment and on annulment of grossly prejudicial contracts based on error or abuse of circumstances und Dutch, German, and Austrian lawvan Loo, I. H., 18 Oct 2013, Open Universiteit. 342 p.

  Research output: Thesis › Doctoral Thesis › Thesis 2: defended at OU & OU (co)supervisor, external graduate

• Vermoorde journalist

  Sap, J. W., 12 Oct 2018

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

  Open Access

• Verliefd, verloofd, getrouwd, gescheiden: Familie-eer en het recht bij het starten en verbreken van relaties

  Janssen, J. H. L. J. & Nicolai, E., 2022, 1 ed. Den Haag: Boom Criminologie. 125 p.

  Research output: Book/Report › Book › Professional

• Verkiezingsblog #9: checks and balances

  Janse, R. & Adams, M., 22 Feb 2021

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

  Open Access

  File
  54 Downloads (Pure)

• Verkiezingsblog #2: migratiestandpunten schuiven op naar uitersten politieke spectrum

  Hillary, L., 28 Jan 2021

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

  Open Access

• Verkiezingsblog #12: In het kielzog van de staatscommissie: de parlementaire democratie

  Janse, R. & Adams, M., 8 Mar 2021

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

  Open Access

  File
  46 Downloads (Pure)

• Verkenning Risicobeperking internetstemmen voor stemmers buiten Nederland

  Jonker, H. L., 14 Mar 2017, Open Universiteit. 17 p.

  Research output: Book/Report › Commissioned report › Academic

  Open Access

  File
  51 Downloads (Pure)

• Verkapte uitlevering in de zaken Poch en Ridouan T.? Enige opmerkingen over vermeende onrechtmatigheden

  Sluiter, G. K., 16 Mar 2020, In: Nederlands Juristenblad. 2020, 11, p. 749-753 5 p., 688.

  Research output: Contribution to journal › Article › Professional

• Verjaring en contractueel verval van de vordering tot uitkering

  Hendrikse, M. L., 15 Apr 2019, Verzekeringsrecht. Hendrikse, M. L., van Huizen, P. H. J. G. & Rinkes, J. G. J. (eds.). 5 ed. Deventer: Wolters Kluwer , p. 459-495 37 p. (Recht en Praktijk Verzekeringsrecht, Vol. VR2).

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

• Verifying OpenJDK's Sort Method for Generic Collections

  Gouw, S. D., Boer, F. S. D., Bubel, R., Hähnle, R., Rot, J. & Steinhöfel, D., 31 Jan 2019, In: Journal of Automated Reasoning. 62, 1, p. 93-126 34 p.

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

  Open Access
  3 Citations (Web of Science)

• Verifying OpenJDK's LinkedList using KeY (extended paper)

  Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D. & Gouw, S. D., Oct 2022, In: International Journal on Software Tools for Technology Transfer. 24, 5, p. 783-802 20 p.

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

  Open Access

• Verifying OpenJDK's LinkedList using KeY

  Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).

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

  Open Access

• Verification of object-oriented programs: A transformational approach

  Apt, K. R., Boer, F. S. D., Olderog, E-R. & Gouw, S. D., May 2012, In: Journal of Computer and System Sciences. 78, 3, p. 823-852 30 p.

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

• Verification of Counting Sort and Radix Sort

  Gouw, S. D., Boer, F. S. D. & Rot, J., 2016, Deductive Software Verification - The KeY Book: From Theory to Practice. W. A., B. B., R. B., R. H., P. H. S. & M. U. (eds.). Springer, p. 609-618 10 p. (Lecture Notes in Computer Science, Vol. 10001).

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

• Verification capabilities for business rules management in the Dutch governmental context

  Smit, K., Zoet, M. & Berkhout, M., 2017, Proceedings of the 5th International Conference on Research and Innovation in Information Systems: "Social transformation through data science", ICRIIS 2017, Adya Hotel, Langkawi, Kedah, 16-17th July 2017. New York: IEEE, 6 p.

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

• Verification and Strategy Synthesis for Coalition Announcement Logic

  Alechina, N., van Ditmarsch, H., Galimullin, R. & Wang, T., Dec 2021, In: Journal of Logic, Language and Information. 30, 4, p. 671-700 30 p.

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

  Open Access

• Verificatie en validatie van veiligheidskritieke systemen

  van Eekelen, M. C. J. D. & Smetsers, S., 2 May 2014, In: Bits&Chips. 2014, 4, p. 42-45 4 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

• Verheffen de letteren?

  Vanheste, J. F., 2019, In: Filosofie Magazine. 2019, 12, p. 74-75 2 p.

  Research output: Contribution to journal › Article › Professional

• Verhalen over spermabanken: Tinne Claes, Zaad zonder naam. Een biografie van de spermabank (Tielt: Lannoo 2022). ISBN 9789401476980

  Beyens, N., Dec 2022, In: Wonderkamer. 6, p. 66 1 p.

  Research output: Contribution to journal › Book/Film/Article review › Popular

• Verhaal of analyse? De bijdrage van deskundigen in het strafrecht

  Malsch, M., 2010, In: Strafblad. 2, 8, p. 119-125

  Research output: Contribution to journal › Article › Professional

• Verguisde kunst. Van historische naar esthetische herwaardering

  Translated title of the contribution: Degraded art. From historical to aesthetic reappraisalvan den Akker, P. B. M., 2018, In: Cuypersbulletin. 23, 4, p. 6-20 15 p.

  Research output: Contribution to journal › Article › Academic

  Open Access

  File
  124 Downloads (Pure)

• Vergroot leersucces in MOOCs

  Translated title of the contribution: Increased learning success in MOOCsHenderikx, M., 24 Oct 2019

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

• Vergroot het NRO de kloof tussen onderwijs en onderzoek?

  Martens, R., Dec 2014, In: OnderwijsInnovatie. 16, 4, p. 11-13 3 p.

  Research output: Contribution to journal › Article › Professional

  Open Access

  File
  53 Downloads (Pure)

• Verfrissende benadering van smaak in de wetenschap: Toelichting bij "Een kwestie van smaak. Het beoordelen van de kwaliteit van kwalitatief onderzoek" van Sandelowski

  Blomme, R. J., 2017, In: M en O : tijdschrift voor organisatiekunde en sociaal beleid. 71, 2, p. 37-38 2 p.

  Research output: Contribution to journal › Special issue › Professional

• Vereniging voor Gendergeschiedenis op de barricades voor viering 100 jaar vrouwenkiesrecht

  Geerts, I., 23 Apr 2018

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

  Open Access

• Verenigd Koninkrijk verloren

  Sap, J. W., 21 Dec 2018

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

  Open Access

• Verdienen managers wat ze verdienen?

  van den Bosch, H. M. J., 2014, Loonfatsoen: eerlijk verdienen of graaicultuur. Jansen, T., Scholten, W. & Trappenburg, M. (eds.). 1 ed. Amsterdam: Uitgeverij Boom, p. 198-205 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

• Verder met Brexit is ook de schuld van de Europese Unie

  Sap, J. W., 26 Nov 2018

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

  Open Access

• Verdergaande gegevensverwerkingen via de Wet gegevensverwerking door samenwerkingsverbanden

  Mensink, J. W., 2021, In: Nederlands Tijdschrift voor de Mensenrechten (NTM/NJCM-Bulletin). 46, 4, p. 483-498 16 p.

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

• Verbonden overeenkomsten in het handelsrecht

  Translated title of the contribution: Privity in combined commercial contractLamers, A. H., 17 Apr 2018, 24 ed. Zutphen The Netherlands: Uitgeverij Paris B.V. 62 p.

  Research output: Book/Report › Book › Academic › peer-review

• Verbod homogenezing dringt onterecht kerk binnen: Oneens, conversietherapie is in strijd met de rechten van de mens

  Sap, J. W., Mar 2022, In: Christen Democratische Verkenningen. 2022, 1, p. 14-15 2 p.

  Research output: Contribution to journal › Article › Professional