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

    Converting the reset Tech Report

    J.K. Hoogland (Jiri), C.D.D. Neumann and D. Bloch

    January 2001
    open access
  • thumb

    Equivalence of recursive specifications in process algebra Tech Report

    A.J. van der Poorten (Alf) and Y.S. Usenko (Yaroslav)

    January 2001
    open access
  • thumb

    A prover for the $ mu $ CRL toolset with applications : version 0.1 Tech Report

    J.C. van de Pol (Jaco)

    January 2001
    open access
  • thumb

    Just-in-time : on strategy annotations Tech Report

    J.C. van de Pol (Jaco)

    January 2001
    open access
  • thumb

    A model problem for unsaturated porous media flow with dynamic capillary pressure Tech Report

    C.M. Cuesta Romero (Carlota) and J. Hulshof

    January 2001
    open access
  • thumb

    Efficient numerical solution of steady free-surface Navier-Stokes flow Tech Report

    E.H. van Brummelen (Harald), H.C. Raven and B. Koren (Barry)

    January 2001
    open access
  • Known-item retrieval on broadcast TV Tech Report

    J.A. List (Johan), A.R. van Ballegooij (Alex) and A.P. de Vries (Arjen)

    January 2001
  • thumb

    The XML benchmark project Tech Report

    A.R. Schmidt, F. Waas (Florian), M.L. Kersten (Martin), D. Florescu and M.J. Carey

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