Publication

Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions Article

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

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)

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

S. Ding (Sihan)

The Torsion-Limit for Algebraic Function Fields and Its Application to Arithmetic Secret Sharing In Proceedings

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

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)

Reactive Turing machines In Proceedings

J.C.M. Baeten (Jos), S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)

Adaptive Strategies for Dynamic Pricing Agents In Proceedings

S. Ramezani (Sara), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

Symmetrie : vakantiecursus 2011, Amsterdam, 26-27.08.2011 : samenvattingen + aanmelding Booklet