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

    On the estimation of the extreme-value index and large quantile estimation Article

    Annals of Statistics, 17(4), 1795-1832.

    A.L.M. Dekkers and L.F.M. de Haan (Laurens)

    January 1989
  • Temporal issues of animate response Tech Report

    A.A.M. Kuijk (Fons)

    January 1989
  • Using transformations to verify parallel programs Tech Report

    E.R. Olderog (Ernst-RĂ¼diger) and K.R. Apt (Krzysztof)

    January 1989
  • Deriving denotational models for bisimulation from structured operational semantics Tech Report

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

    January 1989
  • A parallel object-oriented language: design and semantic foundations Tech Report

    P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

    January 1989
  • thumb

    Convergence of linear multistep and one-leg methods for stiff nonlinear initial value problems Tech Report

    W. Hundsdorfer (Willem) and B.I. Steininger

    January 1989
    open access
  • Which data types have $ omega $ -complete initial algebra specifications? Tech Report

    J.A. Bergstra (Jan) and J. Heering (Jan)

    January 1989
  • Control flow versus logic: a denotational and a declarative model for guarded Horn clauses Tech Report

    F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

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