university website Publications by Year
  • sign in

Publication

  • thumb

    Static analysis of unbounded structures in object-oriented programs Dissertation

    Formal Methods

    I. Grabe (Immo)

    December 2012
  • Poster Praethuys Miscellaneous

    December 2012
  • thumb

    Uitnodiging kerstborrel, 20.12.2012 Other

    December 2012
  • NEM Summit, Toulouse, France Lecture

    D.C.A. Bulterman (Dick)

    January 2013
  • Time-scaling limits for Markov-modulated infinite-server queues Article

    Stochastic Models, 112-127.

    J.G. Blom (Joke), M.R.H. Mandjes (Michel) and H. Thorsdottir (Halldora)

    January 2013
    open access
  • Invited talk at the University of Valencia, department of mathematics Lecture

    J.J.M.M. Rutten (Jan)

    January 2013
  • thumb

    Meet Charles, big data query advisor In Proceedings

    T.H.J. Sellam (Thibault) and M.L. Kersten (Martin)

    January 2013
  • Workshop Stochastic Modeling of the Oceans and Atmosphere, IMA, Minneapolis, USA Lecture

    D.T. Crommelin (Daan)

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