university website Publications by Year
  • sign in

Publication

  • 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
  • Benchmark of the initial release of the LAPACK library Tech Report

    M. Louter-Nool and D.T. Winter (Dik)

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