Publication

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

Squares of random linear codes Article

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), D. Mirandola (Diego) and G. Zémor (Gilles)

Genome of the Netherlands population-specific imputations identify an ABCA6 variant associated with cholesterol levels Article

E.M. van Leeuwen (Elisa), C.M. van Duijn (Cornelia), The Genome of the Netherlands Consortium, not CWI et al, T. Marschall (Tobias) and A. Schönhuth (Alexander)

An Efficient Heuristic for Real-Time Ambulance Redeployment Article

C.J. Jagtenberg (Caroline), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Nodal Signaling Range Is Regulated by Proprotein Convertase-Mediated Maturation Article

F. Tessadon, E.S. Noël, E.G. Rens (Lisanne), R. Magliozzi, I.J.A. Evers-Van Gogh, D. Guardavaccaro, R.M.H. Merks (Roeland) and J. Bakkers

RDFa 1.1 Core — Third Edition, W3C Recommendation Standard

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

Practical measures for improving the ecological state of lake Marken using in depth system knowledge Tech Report

M. Genseberger (Menno), R. Noordhuis, C.X.O. Thiange and P.M.A. Boderie