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
  • Abstraction of biochemical reaction systems In Proceedings

    P.J. Collins (Pieter), L.C.G.J.M. Habets (Luc), J.H. van Schuppen (Jan), I. Černà, J. Fabrikovà and D. Šafrànek

    January 2011
  • thumb

    Structural properties of the optimal resource allocation for single-queue systems Article

    Annals of Operations Research

    R. Yang (Ran), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

    January 2011
  • A formation flying algorithm for autonomous underwater vehicles In Proceedings

    P.L. Kempker (Pia), A.C.M. Ran and J.H. van Schuppen (Jan)

    January 2011
  • thumb

    From Nonpreemptive to Preemptive Scheduling – From Single-Processor to Multi-Processor In Proceedings

    M.M. Jaghoori (Mohammad Mahdi)

    January 2011
    open access
  • thumb

    Composing Real-Time Concurrent Objects - Refinement, Compatibility and Schedulability In Proceedings

    M.M. Jaghoori (Mohammad Mahdi)

    January 2011
    open access
  • Ten Years of Analyzing Actors: Rebeca Experience In Proceedings

    M.M. Jaghoori (Mohammad Mahdi) and M. Sirjani (Marjan)

    January 2011
  • thumb

    Detectability of sprites above lightning storms on the giant planets In Proceedings

    D. Dubrovin, Y. Yair, Y. Takahashi, C. Price, S. Nijdam (Sander), E.M. van Veldhuizen and U. Ebert (Ute)

    January 2011
    open access
  • Networks of Real-Time Actors: Schedulability Analysis and Coordination In Proceedings

    M.M. Jaghoori (Mohammad Mahdi), O. Hlynsson and M. Sirjani (Marjan)

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