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

    Model checking of component connectors Dissertation

    Formal Methods

    M. Izadi (Mohammad)

    December 2011
    open access
  • thumb

    Ambiguity Detection for Programming Language Grammars Dissertation

    Software Analysis and Transformation

    H.J.S. Basten (Bas)

    December 2011
    open access
  • thumb

    Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : programma en menu Other

    December 2011
  • thumb

    Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : aankondiging [Postcard] Other

    December 2011
  • thumb

    Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : aankondiging [Poster] Other

    December 2011
  • Stochastic models for resource sharing in wireless networks Dissertation

    Stochastics

    P.M. van de Ven (Peter)

    December 2011
    open access
  • thumb

    Modelling and Analysis of Real-Time Coordination Patterns Dissertation

    Formal Methods

    S. Kemper (Stephanie)

    December 2011
    open access
  • thumb

    Basis reduction for layered lattices Dissertation

    Cryptology

    E.L. Torreão Dassen (Erwin)

    December 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