Centrum Wiskunde & Informatica

Towards the Design of Certifiable Mixed-criticality Systems In Proceedings

S.K. Baruah (Sanjoy), H. Li and L. Stougie (Leen)

April 2010
E-infrastructures and sensor networks for biodiversity research Book Chapter

W. Los, D. Goense and E.J.E.M. Pauwels (Eric)

April 2010
A simulator-based approach to evaluating optical trackers Article

Computers & Graphics, 33(2), 120-129.

F.A. Smit (Ferdi) and R. van Liere (Robert)

April 2010
Statistical relevance of vorticity conservation with the Hamiltonian particle-mesh method Article

Journal of Computational Physics, 229(7), 2634-2648.

S. Dubinkina (Svetlana) and J.E. Frank (Jason)

April 2010
ROX: The Robustness of a Run-time XQuery Optimizer Against Correlated Data (Demo Paper) In Proceedings

R. Abdel Kader, P.A. Boncz (Peter), S. Manegold (Stefan) and M. van Keulen

April 2010
Average prime-pair counting formula Article

Mathematics of Computation, 79(270), 1209-1229.

J. Korevaar and H.J.J. te Riele (Herman)

April 2010
Leakage-Resilient Authentication Master Thesis

J.H. Schipper (Joachim)

April 2010
Stochastics and computation for turbulent systems Article

ERCIM News, 28-29.

D.T. Crommelin (Daan) and J.E. Frank (Jason)

April 2010

Previous

Next