CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Mixture formula for shot noise weighted point processes Tech Report
P. Gregori, M.N.M. van Lieshout (Marie-Colette) and J. Mateu
January 2003
-
Verifying a sliding window protocol in mCRL Tech Report
W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun), B. Badban (Bahareh) and J.C. van de Pol (Jaco)
January 2003
-
A language development environment for Eclipse Tech Report
M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and A.T. Kooiker (Taeke)
January 2003
-
Parallel, distributed-memory implementation of a sparse-grid method for time-dependent advection-diffusion problems Tech Report
C.T.H. Everaars (Kees), F. Arbab (Farhad) and B. Koren (Barry)
January 2003
-
January 2003
-
January 2003
-
SampLe: towards a framework for system-supported multimedia authoring Tech Report
K. Falkovych (Kateryna), F.-M. Nack (Frank), J.R. van Ossenbruggen (Jacco) and L. Rutledge (Lloyd)
January 2003
-
Towards a multimedia formatting vocabulary Tech Report
J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda), J.P.T.M. Geurts (Joost) and L. Rutledge (Lloyd)
January 2003