Centrum Wiskunde & Informatica

A coalgebraic foundation for coinductive union types In Proceedings

M.M. Bonsangue (Marcello), J.C. Rot (Jurriaan), D. Ancona and J.J.M.M. Rutten (Jan)

January 2015
The Convergence of EPUB and the Web Lecture

T. Siegman, M. Gylling and I. Herman (Ivan)

January 2015
Livres numériques / Web : construire la convergence Lecture

I. Herman (Ivan)

January 2015
Autonomous positioning of Avatars at a guided virtual educational trip In Proceedings

A.A.M. Kuijk (Fons)

January 2015
ISCTE -‐ instituto Universitário de Lisboa Lecture

C. Wang (Chen)

January 2015
Celldown: a textual spreadsheet language, or: “code as UI” Lecture

T. van der Storm (Tijs)

January 2015
Large-scale parameter studeis of cell-based models of tissue morphogenesis using CompuCell3D or VirtualLeaf Article

Methods in Molecular Biology, 301-322.

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

January 2015
The impact of scheduling policies on the waiting-time distributions in polling systems. Article

Queueing Systems, 145-172.

R. Bekker (Rene), P. Vis (Petra), J.-P.L. Dorsman (Jan-Pieter), R.D. van der Mei (Rob) and E.M.M. Winands

January 2015

Previous

Next