Publication

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)

Multigrid analysis and embedded boundary conditions for discontinuous Galerkin discretization Dissertation

M.H. van Raalte (Marc)

Uitnodiging kerstbuffet / Invitation Christmas party, 16.12.2004 Other

Optimaal combineren Book Chapter

A. Schrijver (Lex)

Hoe?Zo! News Broadcast

A. Schrijver (Lex)

Semidefinite bounds for the stability number of a graph via sums of squares of polynomials. In Proceedings

N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

A computer checked algebraic verification of a distributed summation algorithm Article

J.F. Groote (Jan Friso), F. Monin and J.G. Springintveld