Publication

Services and Contracts: Coalgebraically Article

M. Sun (Meng)

Flatland: A romance of many dimensions Book

Modeling Component Connectors: Synchronisation and Context-Dependency In Proceedings

M.M. Bonsangue (Marcello), M. Izadi (Mohammad) and D.G. Clarke (David)

Coalgebraic logic and synthesis of Mealy machines In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Zooming in Multi-spectral Datacubes using PCA In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

Leakage-Resilient Cryptography In Proceedings

S. Dziembowski and K.Z. Pietrzak (Krzysztof)

Communication in the Presence of Replication In Proceedings

O. Barkol, Y. Ishai (Yuval) and E. Weinreb (Enav)

Modeling just-in-time communication in distributed real-time multimedia applications In Proceedings

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra, G.M. Koole (Ger) and H. Bal