Manifold mapping: a two-level optimization technique Article

D. Echeverria (David) and P.W. Hemker (Piet)

Noise in Quantum and Classical Computation & Non-locality Dissertation

F.P. Unger (Falk)

Generalized Key Delegation for Hierarchical Identity-Based Encryption Article

M. Abdalla, E. Kiltz (Eike) and G. Neven

Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case In Proceedings

S. Angelov (Samuil) and not CWI et al

ToolBusNG 2.0 Software

P. Klint (Paul) and A.W. Lankamp (Arnold)

CWI midterm self-evaluation 2008 Book

Liber amicorum Jan Kok Miscellaneous

Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving Dissertation

J.R. Calamé (Jens)