Publication

Algorithms for SCC Decomposition Article

J. Barnat, J. Chaloupka (Jakub) and J.C. van de Pol (Jaco)

Indexing Views to Route Queries in a PDMS Article

E. Sidirourgos (Eleftherios), G. Kokkinidis, T. Dalamagas, V. Christophides and T. Sellis

Realization theory for linear hybrid systems, part I: Existence of realization Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

Delivering Interactive Multimedia Services in Dynamic Pervasive Computing Environments In Proceedings

C. Hesselman, P.S. César Garcia (Pablo Santiago), I. Vaishnavi (Ishan), M. Boussard, R. Kernchen, S. Meissner, A. Spedalieri, A. Sinfreu and C. Raeck

CWI 62 jaar! : standaard bij gebak t.g.v. verjaardag CWI Other

Keeping fairness alive : design and formal verification of optimistic fair exchange protocols Dissertation

M.T. Dashti (Mohammad)

Cryptography in a quantum world Dissertation

S.D.C. Wehner (Stephanie)

Continuous Multi-Way Joins over Distributed Hash Tables In Proceedings

S. Idreos (Stratos), E. Liarou (Erietta) and M. Koubarakis (Manolis)