Centrum Wiskunde & Informatica

Verification of Networks of Timed Automata using mCRL2 In Proceedings

J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)

January 2008
Automated, feature-based image alignment for high-resolution imaging mass spectrometry of large biological samples Article

Journal of the American Society for Mass Spectrometry, 19(6), 823-833.

A. Broersen (Alexander), R. van Liere (Robert) and not CWI et al

January 2008
QoS-Driven Service Selection and Composition In Proceedings

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

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
3D Face Recognition Book Chapter

B. Gökberk, A.A. Salah (Albert Ali), L. Akarun, R. Etheve, D. Riccio and J.-L. Dugelay

January 2008
Perceptual Fusion in Humans and Machines Book Chapter

A.A. Salah (Albert Ali)

January 2008
Heavy traffic analysis for polling models by Mean Value Analysis Article

Performance Evaluation, 400-416.

R.D. van der Mei (Rob) and E.M.M. Winands

January 2008
Prediction and Voronoi graph construction with a dense network of simple sensors In Proceedings

A.A. Salah (Albert Ali) and E.J.E.M. Pauwels (Eric)

January 2008

Previous

Next