Publication

Coiterative Morphisms: Interactive Equational Reasoning for Bisimulation, using Coalgebras Tech Report

M. Niqui (Milad)

Switching between hidden Markov models using Fixed Share Tech Report

W.M. Koolen-Wijkstra (Wouter) and T.A.L. van Erven (Tim)

Perception of mechanically and optically simulated bumps and holes Article

K. Mensvoort, P. Vos, D. Hermes and R. van Liere (Robert)

BioNet: an R-package for the functional analysis of biological networks Article

D. Beisser (Daniela), G.W. Klau (Gunnar), T. Dandekar, T. Müller (Tobias) and M. Dittrich (Marcus)

Manycore probleem voor programmeurs - interview met P. Klint Magazine Article

P. Klint (Paul)

A Document Engineering Model and Processing Framework for Multimedia Documents Dissertation

J.P.T.M. Geurts (Joost)

CWI 64 jaar : kaart bij de taartjes Other

Generating series for bilinear hybrid systems Article

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)