Centrum Wiskunde & Informatica

The Language Specification Formalism ASF+SDF Magazine Article

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

September 2008
ToolBusNG 2.0 Software

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

September 2008
A Brief Introduction to Fourier Analysis on the Boolean Cube Article

ACM Computers in Entertainment, 6(1), 1-10.

R.M. de Wolf (Ronald)

September 2008
Pulse Dynamics in a Three-Component System: Existence Analysis Article

Journal of Dynamics and Differential Equations, 21(1), 73-115.

A. Doelman (Arjen), P.J.A. van Heijster (Peter) and T.J. Kaper (Tasso Joost)

September 2008
Parameter estimation and determinability analysis applied to Drosophila gap gene circuits Article

BMC Systems Biology, 2(83)

M. Ashyraliyev (Maksat), J. Jaeger and J.G. Blom (Joke)

September 2008
Lecture notes: Semidefinite programs and harmonic analysis Tech Report

F. Vallentin (Frank)

September 2008
Multimodal identification and localization of users in a smart environment Article

Journal on Multimodal User Interfaces, 2(2), 75-91.

A.A. Salah (Albert Ali), R. Morros, J. Luque, C. Segura, J. Hernando, O. Ambekar (Onkar), B.A.M. Schouten (Ben) and E.J.E.M. Pauwels (Eric)

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

J.R. Calamé (Jens)

September 2008

Previous

Next