Centrum Wiskunde & Informatica

Stream processing coalgebraically Article

Science of Computer Programming, 78(11), 2192-2215.

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2013
From Number Guessing Games to Security Protocol Analysis and Back Lecture

D.J.N. van Eijck (Jan)

January 2013
Automatic equivalence proofs for non-deterministic coalgebras Article

Science of Computer Programming, 1324-1345.

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2013
A data-driven multi-cloud model for stochastic parametrization of deep convection Article

Philosophical Transactions of the Royal Society A , 1-23.

J. Dorrestijn (Jesse), D.T. Crommelin (Daan), J.A. Biello and S.J. Böing

January 2013
Generieke syntax versus domeinspecieke syntax : learnability en understandability van notatiewijzen Master Thesis

B. van Eijkelenburg

January 2013
Semantics, Communication and Probability Lecture

D.J.N. van Eijck (Jan)

January 2013
A DSL in 36 lines of code Lecture

T. van der Storm (Tijs)

January 2013
Marvol Software

T. van der Storm (Tijs), A.J. van der Ploeg (Atze) and J.J. Vinju (Jurgen)

January 2013

Previous

Next