Centrum Wiskunde & Informatica

Ban op spam Article

I/O ICT Onderzoek, 2(3)

P. Klint (Paul)

January 2005
Space mapping and defect correction Tech Report

D. Echeverria (David) and P.W. Hemker (Piet)

January 2005
CWI Self-evaluation 1999-2004 Book

CWI CWI

January 2005
Structured Multimedia Authoring Article

ACM Transactions on Multimedia Computing, Communications, and Applications, 1(1), 89-109.

L. Hardman (Lynda), G. van Rossum (Guido) and D.C.A. Bulterman (Dick)

January 2005
A multigrid approach to image processing Book Chapter

P.M. de Zeeuw (Paul)

January 2005
Reasoning about connector reconfiguration. Part I. Tech Report

D.G. Clarke (David)

January 2005
Verification of a sliding window protocol in $\mu$ CRL and PVS Article

Formal Aspects of Computing, 17(3), 342-388.

B. Badban (Bahareh), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun) and J.C. van de Pol (Jaco)

January 2005
Introductory paper Special section on formal methods for industrial critical systems Article

International Journal on Software Tools for Technology Transfer, 7(3), 195-196.

T. Arts and J.C. van de Pol (Jaco)

January 2005

Previous

Next