Publication

Modelling and Analysis of Real-Time Coordination Patterns Dissertation

S. Kemper (Stephanie)

Approximations for the waiting-time distributions in polling models Master Thesis

P. Vis (Petra)

Modularizing and specifying protocols among threads In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

Discussion column - Copositive vs. moment hierarchies for stable sets Book Chapter

M. Laurent (Monique)

Statistical analysis of firefighter data Master Thesis

M. Novackova (Monika)

Cryptanalysis of MD5 and SHA-1 Lecture

M.M.J. Stevens (Marc)

Numerical modelling of strongly anisotropic dissipative effects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

Post-proceedings of the 8th International Symposium on Formal Aspects of Component Software Book