Compositional Control Synthesis for Partially Observable Systems. - Wouter Kuijper; Jaco van de Pol (CONCUR, 2009)

Computing Weakest Strategies for Safety Games of Imperfect Information. - Wouter Kuijper; Jaco van de Pol (TACAS, 2009)

Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing - Wouter Kuijper; Michael Weber 002 (CoRR, 2011)

Sorting out role based access control. - Wouter Kuijper; Victor Ermolaev (SACMAT, 2014)

Geometric Memory Management. - Wouter Kuijper (CoRR, 2015)

The Artificial Mind's Eye: Resisting Adversarials for Convolutional Neural Networks using Internal Projection. - Harm Berntsen; Wouter Kuijper; Tom Heskes (CoRR, 2016)

Zig-zagging in a Triangulation. - Wouter Kuijper (CoRR, 2017)

Celestial Walk: A Terminating Oblivious Walk for Convex Subdivisions. - Wouter Kuijper; Victor Ermolaev; Olivier Devillers (CoRR, 2017)

A Cooperative Proof of Work Scheme for Distributed Consensus Protocols. - Wouter Kuijper (CoRR, 2017)