university website Publications by Year
  • sign in

Publication

  • thumb

    New concepts in the abstract format of the Compositional Interchange Format In Proceedings

    D.A. van Beek, P.J. Collins (Pieter), D.E. Nadales Agut, J.E. Rooda (Jacobus) and R.R.H. Schiffelers

    January 2009
    open access
  • thumb

    Computable Types for Dynamic Systems In Proceedings

    P.J. Collins (Pieter)

    January 2009
    open access
  • Computable CTL for Discrete-Time and Continuous-Space Dynamic Systems In Proceedings

    P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

    January 2009
  • Computable CTL* for discrete-time and continuous-space dynamic systems In Proceedings

    P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

    January 2009
    open access
  • Tutorial on system identification of polynomial and of rational systems In Proceedings

    J. Nemcová (Jana) and J.H. van Schuppen (Jan)

    January 2009
  • On the dependence structure of Gaussian queues Article

    Stochastic Models, 221-247.

    A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

    January 2009
  • Acyclic and frugal colourings of graphs In Proceedings

    R.J. Kang (Ross) and T. Müller (Tobias)

    January 2009
  • Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment Book Chapter

    P. Klint (Paul)

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