ASF+SDF Meta-Environment 2-RC1 Software

J.J. Vinju (Jurgen), P. Klint (Paul), M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), H.A. de Jong (Hayco) and P.A. Olivier (Pieter)

nee, een tien zou ik niet halen Magazine Article

A. Schrijver (Lex)

On stabilized integration for time-dependent PDEs Tech Report

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

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)

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)

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