CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
CWI verhelpt bug in Java met formele methoden Magazine Article
February 2015
-
CWI verhelpt bug in Java met formele methoden - Computable Magazine Article
February 2015 -
Sensoren en IT: zorg op de schop - AutomatiseringGids Magazine Article
February 2015 -
February 2015 -
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)
March 2015
-
Simulation of elongated bubbles in a channel using the two-fluid model Article
Journal of Dispersion Science and Technology, 36(10), 1407-1418.B. Sanderse (Benjamin), M. Haspels and R.A.W.M. Henkes (Ruud)
March 2015
-
A formal method for rule analysis and validation in distributed data aggregation service Article
World Wide Web Journal, 18(6), 1717-1736.March 2015
-
How Attention Can Create Synaptic Tags for the Learning of Working Memories in Sequential Tasks Article
PLoS Computational BiologyJ.O. Rombouts (Jaldert), S.M. Bohte (Sander) and P.R. Roelfsema (Pieter)
March 2015