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

    Faster Phong shading Tech Report

    E.H. Blake (Edwin), V.C.J. Disselkoen and A.A.M. Kuijk (Fons)

    January 1992
    open access
  • thumb

    A predicate transformer to unification Tech Report

    L. Colussi (Livio) and E. Marchiori

    January 1992
    open access
  • thumb

    Turning SOS rules into equations Tech Report

    L. Aceto (Luca), B. Bloom and F.W. Vaandrager (Frits)

    January 1992
    open access
  • thumb

    Computable processes and bisimulation equivalence Tech Report

    A. Ponse (Alban)

    January 1992
    open access
  • thumb

    Factorizations of $ a^n pm 1,13 leq a < 100 $ Tech Report

    R.P. Brent and H.J.J. te Riele (Herman)

    January 1992
    open access
  • thumb

    Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited Tech Report

    S.M. Eker

    January 1992
    open access
  • thumb

    A two-machine repair model with variable repair rate Tech Report

    F.A. van der Duyn Schouten and P. Wartenhorst

    January 1992
    open access
  • thumb

    Incidence and lattice calculus with applications to stochastic geometry and image analysis Tech Report

    A.J. Baddeley (Adrian) and H.J.A.M. Heijmans (Henk)

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