Sensoren en IT: zorg op de schop - AutomatiseringGids Magazine Article

CWI CWI

CWI verhelpt bug in Java met formele methoden Magazine Article

C.P.T. de Gouw (Stijn) and F.S. de Boer (Frank)

CWI verhelpt bug in Java met formele methoden - Computable Magazine Article

C.P.T. de Gouw (Stijn) and F.S. de Boer (Frank)

Uitnodiging aanvaarding ambt hoogleraar Universiteit Leiden, 27.02.2015 Other

A learning rule that explains how rewards teach attention Article

J.O. Rombouts (Jaldert), S.M. Bohte (Sander), J. Martinez-Trujillo and P.R. Roelfsema (Pieter)

RDFa 1.1 Core — Third Edition, W3C Recommendation Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

M3: A General Model for Source Code Analytics in Rascal In Proceedings

H.J.S. Basten (Bas), M.A. Hills (Mark), P. Klint (Paul), D. Landman (Davy), A. Shahi (Ashim), M.J. Steindorfer (Michael) and J.J. Vinju (Jurgen)

SV-AUTOPILOT: optimized, automated construction of structural variation discovery and benchmarking pipelines Article

W.Y. Leung, T. Marschall (Tobias), Y. Paudel, L. Falquet, H. Mei (Hailiang), A. Schönhuth (Alexander) and T.Y. Maoz