Uitnodiging afscheid Chester Thomson, 12.11.2004 Other

On distributed verification and verified distribution Dissertation

S.-M. Orzan (Simona-Mihaela)

An Efficient Turnkey Agent for Repeated Trading with Overall Budget and Preferences In Proceedings

I.B. Vermeulen (Ivan), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

Reminiscences on Influential Papers Article

K.A. Ross, P.A. Boncz (Peter), I.F. Ilyas, V. Markl and V. Vassalos

A Lindley-type equation arising from a carousel problem Article

M. Vlasiou (Maria), I.J.B.F. Adan and J. Wessels (Jaap)

Spatio-temporal pattern formation in a semiconductor-gas-discharge system Dissertation

D.D. Šijačić (Danijela)

Rule-based constraint propagation : theory and applications Dissertation

S. Brand

Performance of middleware based architectures: a quantitative approach In Proceedings

M. Harkema (Marcel), B.M.M. Gijsen and R.D. van der Mei (Rob)