Publication

Reusability of coordination programs Tech Report

F. Arbab (Farhad), C.L. Blom (Kees), F.J. Burger (Freek) and C.T.H. Everaars (Kees)

A verification of the bakery protocol combining algebraic and model-oriented techniques Tech Report

C. Brovedani and A.S. Klusener (Steven)

Compact dynamisch busstation [Compact dynamic bus station] Tech Report

A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)

A dynamic and quick intellect : Paul Vitányi 25 years at CWI Book

Vakantiecursus 1996 : chaos Book

On the facial structure of the set of correlation matrices Article

M. Laurent (Monique) and S. Poljak

Nieuwjaarskaart 1996 = New years card 1996 Other

Genetic fitness optimization using rapidly mixing Markov chains In Proceedings

P.M.B. Vitányi (Paul)