Centrum Wiskunde & Informatica

Machine Learning for Biometrics Book Chapter

A.A. Salah (Albert Ali)

July 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
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

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
Atomen tellen Article

Nederlands Tijdschrift voor Natuurkunde

S. van Aert (Sandra), K.J. Batenburg (Joost) and G. Van Tendeloo (Gustaaf)

August 2011
Verification of object-oriented programs: A transformational approach Article

Journal of Computer and System Sciences

K.R. Apt (Krzysztof), F.S. de Boer (Frank), E.R. Olderog (Ernst-Rüdiger) and C.P.T. de Gouw (Stijn)

August 2011
Feather-like structures in positive streamers interpreted as electron avalanches Article

Japanese Journal of Applied Physics

G. Wormeester (Gideon), S. Nijdam (Sander) and U. Ebert (Ute)

August 2011

Previous

Next