Centrum Wiskunde & Informatica

CWI sluit zich aan bij Chinees-Europees netwerk - Bits&Chips Magazine Article

CWI CWI, R.J.F. Cramer (Ronald), F. Arbab (Farhad) and F.S. de Boer (Frank)

December 2013
Promovendus vindt fouten in Java - Automatiseringgids.nl Magazine Article

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

December 2013
Techniek vindt bugs in objectgeoriënteerde talen - Computable.nl Magazine Article

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

December 2013
Coalgebraic tools for bisimilarity and decorated trace semantics Dissertation

Computer Security

G. Caltais (Georgiana)

December 2013
Combining monitoring with run-time assertion checking Dissertation

Formal Methods

C.P.T. de Gouw (Stijn)

December 2013
Hoe bestrijd je malaria, slaapziekte en de ziekte van Lyme? - Quest ExperimentNL Magazine Article

H.M. Buhrman (Harry)

December 2013
Hoe wiskundigen alledaagse problemen op weten te lossen: Wetenschap helpt! - Quest ExperimentNL Magazine Article

R.D. van der Mei (Rob)

December 2013
Fast Flux Module Detection using Matroid Theory In Proceedings

A. Müller, F.J. Bruggeman (Frank), B.G. Olivier (Brett) and L. Stougie (Leen)

January 2014

Previous

Next