university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    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
    open access
  • 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
    open access
  • thumb

    Reactive Turing machines In Proceedings

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

    August 2011
    open access
  • Atomen tellen Article

    Nederlands Tijdschrift voor Natuurkunde

    S. van Aert (Sandra), K.J. Batenburg (Joost) and G. Van Tendeloo (Gustaaf)

    August 2011
  • thumb

    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
    open access
  • thumb

    Adaptive Strategies for Dynamic Pricing Agents In Proceedings

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

    August 2011
    open access
  • thumb

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

    August 2011
  • thumb

    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
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close