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

    Strong laws for generalized absolute Lorenz curves when data are stationary and ergodic sequences Tech Report

    R. Helmers (Roelof) and R. Zitikis

    January 2004
    open access
  • thumb

    Some conditional correlation inequalities for percolation and related processes Tech Report

    J. van den Berg (Rob), O. Häggström and J. Kahn

    January 2004
    open access
  • thumb

    Synthesis of reo circuits for implementation of component-connector automata specifications Tech Report

    F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

    January 2004
    open access
  • thumb

    Models and temporal logics for timed component connectors Tech Report

    F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank) and J.J.M.M. Rutten (Jan)

    January 2004
    open access
  • thumb

    Structuring and presenting annotated media repositories Tech Report

    L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

    January 2004
    open access
  • thumb

    Formal analysis of a fair payment protocol Tech Report

    J.G. Cederquist and M.T. Dashti (Mohammad)

    January 2004
    open access
  • thumb

    An evaluation of clone detection techniques for identifying crosscutting concerns Tech Report

    M. Bruntink (Magiel), A. van Deursen (Arie), R. van Engelen and T. Tourwé (Tom)

    January 2004
    open access
  • thumb

    Predicting class testability using object-oriented metrics Tech Report

    M. Bruntink (Magiel) and A. van Deursen (Arie)

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