Publication

Distributed partial order reduction for branching security protocols Article

M.T. Dashti (Mohammad), A.J. Wijs (Anton) and B. Lisser (Bert)

Algorithms for SCC Decomposition Article

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

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

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

Indexing Views to Route Queries in a PDMS Article

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

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)

Distributive smoothers in multigrid for problems with dominating grad-div operators Article

F.J. Gaspar (Francisco), J.L. Gracia, F.J. Lisbona and C.W. Oosterlee (Kees)