CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2013
-
Stream processing coalgebraically Article
Science of Computer Programming, 78(11), 2192-2215.January 2013
-
Uniform Asymptotic Methods for Integrals Article
Special issue in memory of N.G. (Dick) de Bruijn (1918–2012), 24(4), 739-765.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
-
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
-
Thema Film 26: Saving Lives With Mathematics Magazine Article
January 2013
-
Coinductive proof techniques for language equivalence In Proceedings
J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2013
-
CSA: Comprehensive comparison of pairwise protein structure alignments Article
Nucleic acids research, 40(W1), 303-309.I. Wohlers (Inken), N. Malod-Dognin, R. Andonov (Rumen) and G.W. Klau (Gunnar)
January 2013