Publication
-
Dirac Operator and Dirac Field Book Chapter
January 2006 -
Sine-Gordon Equation Book Chapter
January 2006 -
January 2006
-
Reachability and control synthesis for piecewise-affine hybrid systems on simplices Article
IEEE Transactions on Automatic Control, 938-948.January 2006 -
SLA calculus for end-to-end QoS of TCP-based applications in a multi-domain environment In Proceedings
January 2006 -
January 2006
-
Control of rectangular multi-affine hybrid systems In Proceedings
January 2006 -
Preface -- special issue on Foundations of Software Engineering Article
Electronic Notes in Theoretical Computer Science, 1-2.January 2006