Find Research outputs

Search results

• Proof Pearl: The KeY to Correct and Stable Sorting

  Gouw, S. D., Boer, F. S. D. & Rot, J., 2014, In: Journal of Automated Reasoning. 53, 2, p. 129-139 11 p.

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

• Pro patria et patienti. De Nederlandse militaire geneeskunde: Leo van Bergen, Pro Patria et Patienti. De Nederlandse militaire geneeskunde 1795-1950, Uitgeverij Vantilt, Nijmegen 2019, ISBN 9789460044465, paperback, geïllustreerd, deels in kleur, 372 pagina’s, € 29,50

  Simissen, H., 20 Sept 2020, In: Streven Vrijplaats.

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

  Open Access

• Properties and the predictive power of implied volatility in the New Zealand dairy market

  Fernandez-Perez, A., Frijns, B., Gafiatullina, I. & Tourani-Rad, A., May 2019, In: Journal of Futures Markets. 39, 5, p. 612-631 20 p.

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

• Property and despotic sovereignty

  Apeldoorn, L. C. J., 2019, Hobbes's on the citizen: A critical guide. Douglass, R. & Olsthoorn, J. (eds.). Cambridge: Cambridge University Press, p. 108-125 18 p.

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

• Property Driven Mining in Workflow Logs

  Roubtsova, E. E., 2005, Intelligent Information Processing and Web Mining: Proceedings of the International IIS: IIPWM’ 05 Conference. Kłopotek, M. A., Wierzchoń, S. T. & Trojanowski, K. (eds.). Berlin: Springer Heidelberg, Vol. 31. p. 471-475 5 p. (Advances in Soft Computing, Vol. 31).

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

• Property specification for coloured Petri nets

  Roubtsova, E. E., 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics: IEEE Cat. No.04CH37583. United States: IEEE, Vol. 7. p. 2617-2622 6 p.

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

• Proposing a business model framework for nonprofit organizations

  Sanderse, J., de Langen, F. & Perez Salgado, F., 2020, In: Journal of Applied Economics and Business Research. 10, 1, p. 40-53 14 p.

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

  Open Access

• Pros and cons of online education as a measure to reduce carbon emissions in higher education in the Netherlands

  Versteijlen, M., Perez Salgado, F., Janssen Groesbeek, M. & Counotte - Potman, A. D., 19 Apr 2018. 1 p.

  Research output: Contribution to conference › Poster › Academic

• Pros and cons of online education as a measure to reduce carbon emissions in higher education in the Netherlands

  Versteijlen, M., Salgado, F. P., Groesbeek, M. J. & Counotte, A., Oct 2017, In: Current Opinion in Environmental Sustainability. 28, p. 80-89 10 p.

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

  Open Access
  29 Citations (Web of Science)

• Prosilience trajectories of phoenix regions: a narrative on intelligent transformation of old mining areas

  Aroca, P., Kourtit, K., Nijkamp, P. & Stough, R., Aug 2021, In: Eastern journal of european studies. 12, p. 76-99 24 p.

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

  Open Access
  1 Citation (Web of Science)

• Prosocial versus Instrumental Motives for Interpersonal Emotion Regulation

  Niven, K., Henkel, A. P. & Hanratty, J., Apr 2019, In: Journal of Theoretical Social Psychology. 3, 2, p. 85-96 12 p.

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

  Open Access
  6 Citations (Web of Science)

• Prospective associations between working alliance, basic psychological need satisfaction, and coaching outcome indicators: a two-wave survey study among 181 Dutch coaching clients

  Vermeiden, M., Reijnders, J., van Duin, E., Simons, M., Janssens, M., Peeters, S., Jacobs, N. & Lataster, J., 15 Nov 2022, In: BMC Psychology. 10, 269 (2022).

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

  Open Access

• Prospective memory abilities while driving in adults with an autism spectrum disorder. Paper presented at “the 18th European Conference on Developmental Psychology” in Utrecht, the Netherlands

  Ross, V., Vanroelen, G., Jongen, EMM., Brijs, T., Altgassen, M., Van Vlierden, K., Van Beers, M., Ruiter, RAC., Wets, G. & Brijs, K., Aug 2017.

  Research output: Contribution to conference › Abstract › Academic

  Open Access

• Prostate and colorectal cancer patients and survivors choice of a physical activity program delivery channel: Effects on use, appreciation and motivation

  Bolman, A., Van de Ven, R. E., Golsteijn, R. H., Peels, D. A., de Vries, H., Volders, E. & Lechner, L., 5 Jun 2019, p. 95. 1 p.

  Research output: Contribution to conference › Abstract › Academic

• Prostitutie en mensenhandel in de grote stad: een vergelijking tussen Amsterdam en Dongguan (China)

  Malsch, M. & Tsang, E. Y., 2020, Orde en verwarring in de stad: De veilige stad 2. Malsch, M. & Sap, J. W. (eds.). 1 ed. Den Haag: Boom Criminologie, p. 93-112 20 p.

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

• Prostitutie in tijden van corona

  Malsch, M., 7 Oct 2021, Nooit meer dansen? : De veilige stad in tijden van pandemie . Boom Criminologie, p. 203-218 16 p.

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

• Protection against misinformation: Examining the effect of empirically based investigative interviewing on misinformation reporting

  Otgaar, H., de Ruiter, C., Sumampouw, N., Erens, B. I. F. & Muris, P., Dec 2021, In: Journal of Police and Criminal Psychology. 36, 4, p. 758-768 11 p.

  Research output: Contribution to journal › Special issue › Academic › peer-review

  Open Access

• Protection of a Suspect’s Privacy in Criminal Procedures: Does the Conceptual Approach of the German Federal Constitutional Court Make a Difference?

  Lindemann, M. & van Toor, D. A. G., 1 May 2018, In: Ars Aequi. 5, p. 376-384

  Research output: Contribution to journal › Article › Academic

• Protocol for a process evaluation of SCALA study: Intervention targeting scaling up of primary health care-based prevention and management of heavy drinking and comorbid depression in Latin America

  Kokole, D., Jané-Llopis, E., Mercken, L., Natera Rey, G., Arroyo, M., Pérez Gómez, A., Mejía-Trujillo, J., Piazza, M., Bustamante, I., O'Donnell, A., Kaner, E., Schulte, B., de Vries, H. & Anderson, P., Apr 2023, In: Evaluation and Program Planning. 97, 12 p., 102217.

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

  Open Access

• Protocol Modelling Semantics for Embedded Systems

  McNeile, A. T. & Roubtsova, E. E., 2007, 2007 International Symposium on Industrial Embedded Systems. United States: IEEE, p. 258-265 8 p.

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

• Protocol Models of Human-Computer Interaction

  McNeile, A. T., Roubtsova, E. E. & Veer, G. C. V. D., 2008, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems. Cordeiro, J. & Filipe, J. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 3. p. 367-370 4 p.

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

  Open Access

  File
  18 Downloads (Pure)

• Prototyping a tool environment for run-time assertion checking in JML with communication histories

  Boer, F. S. D., Gouw, S. D. & Vinju, J. J., 2010, Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. New York, NY: ACM Digital Library, p. 6:1-6:7 6

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

• Provenance report regarding Bodhisattva Amoghapasha Lokeshvara

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 5 p. (PPROCE provenance reports).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Flag (Vlag uit de voormalige Nederlandse koloniën)

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 4 p. (PPROCE provenance reports).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Flag (Zulfiqar): Vlag uit de voormalige Nederlandse koloniën

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 4 p. (PPROCE provenance reports).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Handschrift (Lontar manuscript)

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 5 p. (PPROCE provenance reports; No. 45).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Miniatuurstupa

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 7 p. (PPROCE provenance reports).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Model van een saron, kinderspeeldgoed [Model of a saron - children's toys]

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 5 p. (PPROCE provenance reports; No. 42).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Vajrasattva

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 7 p. (PPROCE provenance reports).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Voorouderbeeld [Human figure]

  Drieënhuizen, C. A., 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 7 p. (PPROCE provenance reports; No. 41).

  Research output: Book/Report › Deliverable

  Open Access

• Provenance report regarding Zalfpot van aardewerk [Chinese ointment jar]

  Drieënhuizen, C. A., Mar 2022, Amsterdam: NIOD institute for War, Holocaust and Genocide studies. 5 p. (PPROCE provenance reports; No. 43).

  Research output: Book/Report › Deliverable

  Open Access

• Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

  Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2020, Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019. Quaresma, P., Neuper, W. & Marcos, J. (eds.). Cornell University, p. 17–34 18 p. (Electronic proceedings in theoretical computer science, Vol. 313).

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

  Open Access

  File
  34 Downloads (Pure)

• Providing Services During Times of Change: Can Employees Maintain Their Levels of Empowerment, Work Engagement and Service Quality Through a Job Crafting Intervention?

  Hulshof, I. L., Demerouti, E. & Le Blanc, P. M., 28 Jan 2020, In: Frontiers in Psychology. 11, 15 p., 87.

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

  Open Access

• Provincierecht: Een algemene beschouwing over huidig en toekomstig provincierecht

  Schoonhoven, M., 1 Nov 1991, Open Universiteit.

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

• Provisional Measures in the International Tribunal for the Law of the Sea

  Tomka, P. & Hernández, G. I., 25 Nov 2011, Coexistence, Cooperation and Solidarity: Liber Amicorum Rüdiger Wolfrum. Hestermeyer, H., König, D., Matz-Lück, N., Röben, V., Stoll, P-T. & Vöneky, S. (eds.). The Hague: Brill Academic Publishers, Vol. II. p. 1763-1785 24 p.

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

• Prut4j - Protocol Unit Testing fo(u)r Java

  Slob, F. J. & Jongmans, S-S., 25 May 2021, 2021 IEEE 14th International Conference on Software Testing, Verification and Validation: ICST 2021. IEEE, p. 448-453 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Popular

• Psychiatric and behavioral problems and well-being in gerontopsychiatric nursing home residents

  van der Wolf, E., van Hooren, S. A. H., Waterink, W. & Lechner, L., 1 Feb 2021, In: Aging & Mental Health. 25, 2, p. 277-285 9 p.

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

  Open Access

  File
  3 Citations (Web of Science)

  173 Downloads (Pure)

• Psychiatric diagnosis revisited: Towards a system of staging and profiling combining nomothetic and idiographic parameters of momentary mental states

  Wigman, J. T. W., van Os, J., Thiery, E., Derom, C., Collip, D., Jacobs, N. & Wichers, M., 28 Mar 2013, In: PLOS ONE. 8, 3, p. 1-8 8 p., e59559.

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

  Open Access
  57 Citations (Web of Science)

• Psychische stoornissen onder de loep: Bespreking van: I. Franken, P. Muris & D. Denys (Eds), Basisboek psychopathologie

  Simon, E. & Bos, AER., May 2013, In: De Psycholoog. 48, 5, p. 21-22 2 p.

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

• Psychische vermoeidheid en plezier in het werk bij Vlaamse werknemers: Een toepassing van het JD-R model

  Van Ruysseveldt, J., 2006, In: Tijdschrift voor Arbeidsvraagstukken. 22, 4, p. 328-343 16 p.

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

  Open Access

  File
  60 Downloads (Pure)

• Psychodiagnostiek

  Translated title of the contribution: Psychodiagnosticsde Hullu, E., Jogems-Kostermans, B. & Simon, E., 12 Apr 2018, Klinische Psychologie: Diagnostiek en behandeling. Simon, E., de Hullu, E., Smeets, G. & van der Molen, H. T. (eds.). 3 ed. Groningen: Noordhoff Uitgevers, p. 15-36 22 p.

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

• Psychodynamic Based Equine-Assisted Psychotherapy in Adults with Intertwined Personality Problems and Traumatization: A Systematic Review

  Enders - Slegers, M. J., Kovacs, G. & Van Dijke, A., 5 Aug 2020, In: International Journal of Environmental Research and Public Health. 17, 16, 18 p., 5661.

  Research output: Contribution to journal › Review article › peer-review

  Open Access
  1 Citation (Web of Science)

• Psychological, Organizational, and Technological Factors Influencing Optimal Use of Electronic Health Records for End-Users in Hospitals

  Marcelissen, I. E. M., Spronken, M., van de Wetering, R., Stoffers, J., Van Ruysseveldt, J. M. E. & de Lange, A., 8 Jul 2022.

  Research output: Contribution to conference › Poster › Academic

• Psychological and Biological Validation of a Novel Digital Social Peer Evaluation Experiment (digi-SPEE)

  Menne-Lothmann, C., Decoster, J., Van Winkel, R., Collip, D., Rutten, BP., Delespaul, P., De Hert, M., Derom, C., Thiery, E., Jacobs, N., van Os, J. & Wichers, MJ., Mar 2017, In: Archives of Neuropsychiatry. 54, 1, p. 3-10 8 p.

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

  Open Access
  4 Citations (Web of Science)

• Psychological and psychiatric factors as predictors for success in sacral neuromodulation treatment

  Marcelissen, T. A. T., Leong, R. K., Nieman, F. H. M., van Lankveld, JJDM., van Kerrebroeck, P. E. V. & de Wachter, S. G. G., 2 Aug 2011, In: BJU International. 108, 11, p. 1834-1838 5 p.

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

  Open Access
  23 Citations (Web of Science)

• Psychological and social correlates of hiv status disclosure: The significance of stigma visibility

  Stutterheim, S., Brands, R., Pryor, J., Bos, A. & Schaalma, H., 2012, In: International Journal of Psychology. 47, S1, p. 472-472 1 p.

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

  Open Access

• Psychological and social correlates of HIV status disclosure: The significance of stigma visibility

  Stutterheim, S. E., Bos, AER., Pryor, J. B., Brands, R., Liebregts, M. & Schaalma, H. P., Aug 2011, In: Aids Education and Prevention. 23, 4, p. 382-392 11 p.

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

  Open Access
  74 Citations (Web of Science)

• Psychological capital and work engagement and the mediating role of work team flow: A survey study among employees from three different continents

  van Oortmerssen, L. A. & van Zuylen, J., 6 Dec 2020. 27 p.

  Research output: Contribution to conference › Paper › Academic

• Psychological contract fulfillment and expatriate intrinsic career success: the mediating role of identification with the multinational corporation

  de Ruiter, M., Lub, X. D., Jansma, E. & R.J. Blomme, R. J., 2018, In: International Journal of Human Resource Management. 29, 8, p. 1426-1453 28 p.

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

• Psychological costs and benefits of work restructuring

  Nikolova, I., Van Ruysseveldt, J., Van Dam, K. & De Witte, H., 2015.

  Research output: Contribution to conference › Paper › Academic