university website Publications by Year
  • sign in

Publication

  • Derandomizing from Random Strings In Proceedings

    H.M. Buhrman (Harry), L. Fortnow (Lance), M. Koucký (Michal) and B. S. Loff Barreto (Bruno Serra)

    June 2010
  • Partial order reduction for branching security protocols In Proceedings

    A.J. Wijs (Anton), W.J. Fokkink (Wan) and M.T. Dashti (Mohammad)

    June 2010
  • Ambulant 2.2 Software

    A.J. Jansen (Jack), C.L. Blom (Kees) and D.C.A. Bulterman (Dick)

    June 2010
  • Kan een pop informatica voor vrouwen aantrekkelijk maken? Article

    I/O ICT Onderzoek, 7(1), 17-17.

    P. Klint (Paul)

    June 2010
    open access
  • The structure of graphs with a vital linkage of order 2 Tech Report

    D. Mayhew, G. Whittle (Geoff) and S.H.M. van Zwam (Stefan)

    June 2010
    open access
  • When owl:sameAs isn’t the Same: An Analysis of Identity Links on the Semantic Web In Proceedings

    H. Halpin, I. Herman (Ivan) and P.J. Hayes (Patrick)

    June 2010
    open access
  • thumb

    A cell-based model of extracellular-matrix-guided endothelial cell migration during angiogenesis Master Thesis

    J.T. Daub (Josephine)

    June 2010
    open access
  • thumb

    Extremes of multidimensional Gaussian processes Tech Report

    K.G. Dȩbicki (Krzysztof), K. Kosinski, M.R.H. Mandjes (Michel) and T. Rolski

    June 2010
    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