Centrum Wiskunde & Informatica

Formal design and verification of long-running transactions with eclipse coordination tools Article

IEEE Transactions on Services Computing

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

January 2012
Modeling and simulation of operational risks in the finance industry In Proceedings

C. Brandt (Christoph), F. Santini (Francesco), N. Kokash (Natallia) and F. Arbab (Farhad)

January 2012
ECNS: a new dedicated Navier-Stokes code for wind-turbine wake simulations Lecture

B. Sanderse (Benjamin), M. Nool (Margreet), S.W. van Haren and B. Koren (Barry)

January 2012
Corrected server staffing for a queueing model with impatient customers Article

Operations Research, 461-474.

B. Zhang (Bo), J.S.H. van Leeuwaarden (Johan) and A.P. Zwart (Bert)

January 2012
Fooling one-sided quantum protocols Tech Report

H. Klauck (Hartmut) and R.M. de Wolf (Ronald)

January 2012
Towards a similarity-based wen service discovery through soft constraint satisfaction problems In Proceedings

F. Arbab (Farhad), S. Bistarelli, D. Pirolandi and F. Santini (Francesco)

January 2012
Positive streamer propagation due to background or photo ionization: Experiments and theory In Proceedings

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

January 2012
High order fluid model for ionization fronts in streamer discharges In Proceedings

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

January 2012

Previous

Next