Centrum Wiskunde & Informatica

Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

F. Arbab (Farhad) and M. Sun (Meng)

January 2008
Static Check of WSCDL Documents In Proceedings

L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, Z. Wang, M. Sun (Meng) and G. Pu (Geguang)

January 2008
On a queueing model with service interruptions Article

Probability in the Engineering and Informational Sciences, 537-555.

O.J. Boxma (Onno), M.R.H. Mandjes (Michel) and O. Kella

January 2008
Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability Tech Report

J. Byrka (Jaroslaw), K. Buchin, M. Buchin, M. Nollenburg, Y. Okamoto, R.I. Silveira and A. Wolff

January 2008
The Distributed Wireless Gathering Problem In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
A surface capturing method for the efficient computation of steady water waves Article

Journal of Computational and Applied Mathematics, 618-625.

J. Wackers (Jeroen) and B. Koren (Barry)

January 2008
Identity-Based Signatures Book Chapter

E. Kiltz (Eike) and G. Neven

January 2008
Garden: An Integrated DSL Development Environment Article

Science in China, 38(12), 2084-2098.

N. Zhang, X. Ju and M. Sun (Meng)

January 2008

Previous

Next