Centrum Wiskunde & Informatica

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

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

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
Thunderstroms as electron accelerators and the discharge zoo above the clouds In Proceedings

U. Ebert (Ute)

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
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
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
How low can approximate degree and quantum query complexity be for total Boolean functions? Tech Report

A. Ambainis (Andris) and R.M. de Wolf (Ronald)

January 2012
A compositional model to reason about end-to-end QoS in stochastic Reo connectors Article

Science of Computer Programming

Y.-J. Moon (Young-Joo), A.M. Silva (Alexandra), C. Krause (born Köhler) (Christian) and F. Arbab (Farhad)

January 2012

Previous

Next