Centrum Wiskunde & Informatica

On distributed verification and verified distribution Dissertation

S.-M. Orzan (Simona-Mihaela)

November 2004
Reminiscences on Influential Papers Article

SIGMOD Record, 33(4), 91-92.

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

December 2004
A Lindley-type equation arising from a carousel problem Article

Journal of Applied Probability, 41(4), 1171-1181.

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

December 2004
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)

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

Multiscale Dynamics

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

December 2004
Rule-based constraint propagation : theory and applications Dissertation

Networks and Optimization

S. Brand

December 2004
Performance of middleware based architectures: a quantitative approach In Proceedings

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

December 2004
Multigrid analysis and embedded boundary conditions for discontinuous Galerkin discretization Dissertation

Scientific Computing

M.H. van Raalte (Marc)

December 2004

Previous

Next