Centrum Wiskunde & Informatica

From syntactic- towards semantic-driven document transformations Book Chapter

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

January 2005
A computer checked algebraic verification of a distributed summation algorithm Article

Formal Aspects of Computing, 17(1), 19-37.

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

January 2005
SMIL 2.1 Extended Mobile Profile, Tech Report

D.C.A. Bulterman (Dick) and D. Zucker

January 2005
Ambulant 1.6 player for SMIL 2.0 Magazine Article

D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)

January 2005
Ban op spam Article

I/O ICT Onderzoek, 2(3)

P. Klint (Paul)

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
Inzien en bewijzen Book

D.J.N. van Eijck (Jan) and A. Visser

January 2005
A surface capturing method for the efficient computation of steady water waves. Tech Report

J. Wackers (Jeroen) and B. Koren (Barry)

January 2005

Previous

Next