A Brief Introduction to Fourier Analysis on the Boolean Cube Article

R.M. de Wolf (Ronald)

Manifold mapping: a two-level optimization technique Article

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

Coinductive Formal Reasoning in Exact Real Arithmetic Article

M. Niqui (Milad)

Semantic Multimedia In Proceedings

S. Staab, A. Scherp, R. Arndt, R. Troncy (Raphael), M. Grzegorzek, C. Saathoff, S. Schenk and L. Hardman (Lynda)

ToolBusNG 2.0 Software

P. Klint (Paul) and A.W. Lankamp (Arnold)

The Language Specification Formalism ASF+SDF Magazine Article

M.G.J. van den Brand (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

CWI midterm self-evaluation 2008 Book

Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving Dissertation

J.R. Calamé (Jens)