Centrum Wiskunde & Informatica

Improving the security of quantum protocols via commit-and-open In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), C. Luneman, L. Salvail (Louis) and C. Schaffner (Christian)

January 2009
Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights Article

ACM SIGMETRICS Performance Evaluation Review, 37(2), 42-44.

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

January 2009
Computational Semantics with Functional Programming Book

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

January 2009
Admission control for differentiated services in future generation CDMA networks Article

Performance Evaluation, 488-504.

H.-P. Tan (Hwee-Pink), R. Núñez Queija (Rudesindo), A.F. Gabor and O.J. Boxma (Onno)

January 2009
Achievable performance of resource allocations in bandwidth sharing networks Article

Performance Evaluation, 59-77.

I.M. Verloop (Maaike) and R. Núñez Queija (Rudesindo)

January 2009
Minimization Algorithm for Symbolic Bisimilarity In Proceedings

F. Bonchi (Filippo) and U. Montanari

January 2009
Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings

P. Baldan, F. Bonchi (Filippo) and F. Gadducci (Fabio)

January 2009
Coalgebraic Symbolic Semantics In Proceedings

F. Bonchi (Filippo) and U. Montanari

January 2009

Previous

Next