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

    Meet Charles, big data query advisor In Proceedings

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

    January 2013
  • Invited talk “Wiskunde redt mensenlevens!”, Nederlandse Wiskundedagen (Noordwijkerhout, 2013). Lecture

    R.D. van der Mei (Rob)

    January 2013
  • Follow the Leader if You Can, Hedge if You Must Tech Report

    S. de Rooij (Steven), T.A.L. van Erven (Tim), P.D. Grünwald (Peter) and W.M. Koolen-Wijkstra (Wouter)

    January 2013
  • ``The size of large clusters in a large box in 2D critical percolation", Seminar talk, Department of Theoretical Physics, Kath. Univ. Leuven, May 23 2013. Lecture

    J. van den Berg (Rob)

    January 2013
  • ``Sharpness of the percolation transition for a class of contact processes", Seminar talk,NYU Abu Dhabi, Nov. 20 2013. Lecture

    J. van den Berg (Rob)

    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