Publication

On stabilized integration for time-dependent PDEs Tech Report

B.P. Sommeijer (Ben) and J.G. Verwer (Jan)

The momentum problem in MDL and Bayesian prediction Master Thesis

T.A.L. van Erven (Tim)

TTCN-3 Testing of Hoorn-Keersenboogerd Railway Interlocking In Proceedings

J.R. Calamé (Jens), N. Goga (Nicolae), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)

Creating Meaningful Multimedia Presentations In Proceedings

L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

Validation Techniques for Object-oriented Proof Outlines Dissertation

C. Pierik

Diskretwertige stochastische Vektorräume : Grundlagen, Ergodentheorie und Darstellungen Dissertation

A. Schönhuth (Alexander)

Second International ACM/SIGMOD Workshop on Data Management on New Hardware (DaMoN 2006) Proceedings

Improving Patient Schedules by Multi-agent Pareto Appointment Exchanging In Proceedings

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