Publication
-
January 2006
-
Reachability of Linear Switched Systems: Differential geometric approach Article
Systems & Control Letters, 112-118.January 2006 -
Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings
January 2006 -
What is algebraic in process theory? Article
Bulletin of the EATCSJanuary 2006 -
Hybrid Formal Power Series and Their Application to realization theory of hybrid systems In Proceedings
January 2006 -
A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow In Proceedings
January 2006 -
New reduction techniques for the group steiner tree problem Article
SIAM Journal on Optimization, 1176-1188.January 2006 -
January 2006