university website Publications by Year

Publication

  • Realization Theory for Discrete-Time piecewise-affine hybrid systems In Proceedings

    M. Petreczky (Mihaly)

    January 2006
  • Reachability of Linear Switched Systems: Differential geometric approach Article

    Systems & Control Letters, 112-118.

    M. Petreczky (Mihaly)

    January 2006
  • Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings

    H.L. Jonker (Hugo), M.T. Dashti (Mohammad) and S.K. Nair

    January 2006
  • What is algebraic in process theory? Article

    Bulletin of the EATCS

    S.P. Luttik (Bas)

    January 2006
  • Hybrid Formal Power Series and Their Application to realization theory of hybrid systems In Proceedings

    M. Petreczky (Mihaly)

    January 2006
  • A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow In Proceedings

    J. Naber (Jorick) and B. Koren (Barry)

    January 2006
  • New reduction techniques for the group steiner tree problem Article

    SIAM Journal on Optimization, 1176-1188.

    C.E. Ferreira and F.M. de Oliveira Filho (Fernando Mario)

    January 2006
  • Countering Digital Forensics: An Identity Based Ephemerizer Cryptosystem Tech Report

    S.K. Nair, C. Gamage, M.T. Dashti (Mohammad), B. Crispo and A.S. Tanenbaum (Andrew)

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