Centrum Wiskunde & Informatica

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
Multi-class Fork-Join queues & The stochastic knapsack problem Master Thesis

S. Ding (Sihan)

August 2011
A process algebra for supervisory coordination In Proceedings

J.C.M. Baeten (Jos), D.A. van Beek, A.C. van Hulst (Alan) and J. Markovski (Jasen)

August 2011
StoSim - Version 0.1 (original name: Nicessa) Software

N.F. Höning (Nicolas)

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
Financial Focus (vol. 2, no. 8, pp. 4) Magazine Article

J. van den Bos (Jeroen)

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
Boltzmann equation analysis of electron transport in a N2-O2 streamer discharge Article

Japanese Journal of Applied Physics

S. Dujko (Sasa), U. Ebert (Ute), R.D. White and Z.L. Petrović (Zoran)

August 2011

Previous

Next