Publication

Coordinated Composition of Software Components Book Chapter

F. Arbab (Farhad)

Bandwidth trading under misaligned objectives: decentralized measurement-based control Tech Report

M.R.H. Mandjes (Michel) and M. Ramakrishnan

The Gamut of Dynamic Logics Book Chapter

D.J.N. van Eijck (Jan) and M. Stokhof (Martin)

Components: From object to mobile channels Book Chapter

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.V. Guillen Scholten (Juan)

Proceedings of the First International Workshop on Security and Trust Management Proceedings

Controlling a class of nonlinear systems on rectangles Article

C. Belta and L.C.G.J.M. Habets (Luc)

Ariadne: a framework for reachability analysis of hybrid automata In Proceedings

A. Balluchi, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, T. Villa and A. Sangiovanni-Vincentelli

Robust numerical methods for boundary-layer equations for a model problem of flow over a symmetric curved surface Article

A.R. Ansari, B. Hossain, B. Koren (Barry) and G.I. Shishkin (Gregori)