Institute for Computing and Information Sciences, Radboud University Nijmegen