Publication
-
January 2006
-
Learning Spatial Relations in Object Recognition Article
Pattern Recognition Letters, 27(14), 1673-1684.January 2006
-
SLA calculus for end-to-end QoS of TCP-based applications in a multi-domain environment In Proceedings
January 2006 -
Preface -- special issue on Foundations of Software Engineering Article
Electronic Notes in Theoretical Computer Science, 1-2.January 2006 -
On the semantics of componentware: a coalgebraic perspective, in Mathematical Frameworks for Component Software Book Chapter
January 2006 -
Reachability and control synthesis for piecewise-affine hybrid systems on simplices Article
IEEE Transactions on Automatic Control, 938-948.January 2006 -
Control of rectangular multi-affine hybrid systems In Proceedings
January 2006 -
January 2006