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
  • QCCS: A Formal Model to Enforce QoS Requirements in Service Composition In Proceedings

    M. Sun (Meng)

    January 2007
  • Web Services Choreography and Orchestration in Reo and Constraint Automata In Proceedings

    M. Sun (Meng) and F. Arbab (Farhad)

    January 2007
  • On Resource-Sensitive Timed Component Connectors In Proceedings

    M. Sun (Meng) and F. Arbab (Farhad)

    January 2007
  • Component Connectors with QoS Guarantees In Proceedings

    F. Arbab (Farhad), T. Chothia (Tom), M. Sun (Meng) and Y.-J. Moon (Young-Joo)

    January 2007
  • On Composition and Refinement of Domain-Specific Languages in the Model of Language Family In Proceedings

    M. Sun (Meng) and N. Zhang

    January 2007
  • thumb

    Convective stabilization of a Laplacian moving boundary problem with kinetic undercooling Article

    SIAM Journal on Applied Mathematics, 292-310.

    U. Ebert (Ute), B.J. Meulenbroek (Bernard) and L. Schäfer

    January 2007
    open access
  • Spatio-temporal patterns in a semiconductor-gas-discharge system: stability analysis and full numerical solutions Article

    Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 036206-1-036206-18.

    I. Rafatov (Ismail), D.D. Šijačić (Danijela) and U. Ebert (Ute)

    January 2007
  • A Note on Subsequential Transducers and Coalgebra In Proceedings

    H.H. Hansen (Helle)

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