CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 simple fixed parameter tractable algorithm for computing the hybridization number of two (not necessarily binary) trees Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(1), 18-25.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
-
Cell-Based Modeling Book Chapter
January 2013 -
January 2013
-
January 2013
-
Free partially commutative groups, cohomology, and paths and circuits in directed graphs on surfaces Tech Report
January 2013
-
Virtual Realities (Dagstuhl Seminar 13241) Proceedings
January 2013