Centrum Wiskunde & Informatica

Machine Learning for Biometrics Book Chapter

A.A. Salah (Albert Ali)

July 2011
Financial Focus (vol. 2, no. 8, pp. 4) Magazine Article

J. van den Bos (Jeroen)

August 2011
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools Article

IEEE Transactions on Services Computing, PP(99)

N. Kokash (Natallia) and F. Arbab (Farhad)

August 2011
The role of explicit semantics in search and browsing Book Chapter

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

August 2011
Reo + mCRL2: A Framework for Model-checking Dataﬂow in Service Compositions Article

Formal Aspects of Computing, 1-30.

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

August 2011
Multi-class Fork-Join queues & The stochastic knapsack problem Master Thesis

S. Ding (Sihan)

August 2011
Position-Based Quantum Cryptography: Impossibility and Constructions In Proceedings

H.M. Buhrman (Harry), N. Chandran, S. Fehr (Serge), R. Gelles, V. Goyal, R. Ostrovsky and C. Schaffner (Christian)

August 2011
Canonical Processes of Semantically Annotated Media Production Book Chapter

L. Hardman (Lynda), Z. Obrenovic and F.-M. Nack (Frank)

August 2011

Previous

Next