Centrum Wiskunde & Informatica

Model Checking of Component Connectors In Proceedings

M. Izadi (Mohammad), A. Movaghar (Ali) and F. Arbab (Farhad)

January 2007
Virtual private network design: a proof of the tree routing conjecture on ring networks Article

SIAM Journal on Discrete Mathematics, 21(2), 482-503.

C.A.J. Hurkens (Cor), J.C.M. Keijsper and L. Stougie (Leen)

January 2007
Learning and Anticipation in Online Dynamic Optimization Book Chapter

P.A.N. Bosman (Peter)

January 2007
Towards a Real-Time Minimally-Invasive Vascular Intervention Simulation System Article

IEEE Transactions on Medical Imaging, 26(1), 128-132.

T. Alderliesten (Tanja), P.A.N. Bosman (Peter) and W. Niessen

January 2007
The Complex Dynamics of Collaborative Tagging In Proceedings

H. Halpin, V. Robu (Valentin) and H. Shepherd

January 2007
Transient analysis of Brownian queues Tech Report

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2007
Searching in the cultural heritage domain: capturing cultural heritage expert information seeking needs Tech Report

A.K. Amin (Alia), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

January 2007
Flexible and efficient IR using array databases Tech Report

R. Cornacchia (Roberto), S. A. B. C. Héman (Sándor), M. Zukowski (Marcin), A.P. de Vries (Arjen) and P.A. Boncz (Peter)

January 2007

Previous

Next