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

    Nuovo DRM Paradiso: formal specification and verification of a DRM Tech Report

    H.L. Jonker (Hugo), S.K. Nair and M.T. Dashti (Mohammad)

    January 2006
    open access
  • thumb

    Asymptotics of a 3F2 polynomial associated with the Catalan-Larcombe-French sequence Tech Report

    N.M. Temme (Nico)

    January 2006
    open access
  • thumb

    Pricing and distributed QoS control for elastic network traffic Tech Report

    J.L. van den Berg (Hans), M.R.H. Mandjes (Michel) and R. Núñez Queija (Rudesindo)

    January 2006
    open access
  • A Visual Model Transformation Environment for the Eclipse Modeling Framework Master Thesis

    C. Krause (born Köhler) (Christian)

    January 2006
  • thumb

    A distributed computational model for Reo. Tech Report

    C.T.H. Everaars (Kees), D.F. de Oliveira Costa (David), N.K. Diakov (Nikolay) and F. Arbab (Farhad)

    January 2006
    open access
  • Preface Proceedings of PDMS 2005 In Proceedings

    M. Leucker and J.C. van de Pol (Jaco)

    January 2006
  • Discretization of Timed Automata in Timed μCRL `a la Regions and Zones Article

    Electronic Notes in Theoretical Computer Science, 197-202.

    J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)

    January 2006
  • A Hierarchy of SOS Rule Formats Article

    Electronic Notes in Theoretical Computer Science, 3-25.

    J.F. Groote (Jan Friso), M.R. Mousavi and M.A. Reniers (Michel)

    January 2006
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