Centrum Wiskunde & Informatica

De Nederlandse helden van het internet Magazine Article

S. Pemberton (Steven)

January 2015
Proving language inclusion and equivalence by coinduction Tech Report

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2015
Chapter 2 Ph.D. dissertation: scripts and models to regenerate the presented results Dataset

T.R. Maarleveld (Timo)

January 2015
Interaction Design for Online Video and Television Lecture

P.S. César Garcia (Pablo Santiago)

January 2015
Dynamic server assignment in an extended machine-repair model Article

IIE Transactions

J.-P.L. Dorsman (Jan-Pieter), S. Bhulai (Sandjai) and M. Vlasiou (Maria)

January 2015
Being and Change: Reasoning About Invariance In Proceedings

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

January 2015
Take Command of your Constraints! In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

January 2015
Wetenschap uit ivoren toren - Noordhollands Dagblad Magazine Article

CWI CWI

January 2015

Previous

Next