CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Reo + mCRL2: A Framework for Model-checking Dataflow 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
-
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
-
Reactive Turing machines In Proceedings
J.C.M. Baeten (Jos), S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)
August 2011
-
Atomen tellen Article
Nederlands Tijdschrift voor NatuurkundeS. van Aert (Sandra), K.J. Batenburg (Joost) and G. Van Tendeloo (Gustaaf)
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
-
Adaptive Strategies for Dynamic Pricing Agents In Proceedings
S. Ramezani (Sara), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)
August 2011
-
August 2011 -
Model comparison for aftershock sequences following the 2005 Kashmir disaster Tech Report
K. Turkyilmaz (Kerem), M.N.M. van Lieshout (Marie-Colette) and A. Stein (Alfred)
September 2011