Publication
-
CWI sluit zich aan bij Chinees-Europees netwerk - Bits&Chips Magazine Article
December 2013 -
Coalgebraic tools for bisimilarity and decorated trace semantics Dissertation
Computer SecurityDecember 2013 -
Promovendus vindt fouten in Java - Automatiseringgids.nl Magazine Article
December 2013 -
Techniek vindt bugs in objectgeoriënteerde talen - Computable.nl Magazine Article
December 2013 -
Combining monitoring with run-time assertion checking Dissertation
Formal MethodsDecember 2013
-
Hoe wiskundigen alledaagse problemen op weten te lossen: Wetenschap helpt! - Quest ExperimentNL Magazine Article
December 2013 -
December 2013
-
Neighbor Selection and Weighting in User-Based Collaborative Filtering: A Performance Prediction Approach Article
ACM Transactions on the WebJanuary 2014