CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
December 2011 -
Automatic equivalence proofs for non-deterministic coalgebras (revised and extended) Tech Report
M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
December 2011
-
December 2011
-
CSA: Comprehensive comparison of pairwise protein structure alignments Software
I. Wohlers (Inken), N. Malod-Dognin, R. Andonov (Rumen) and G.W. Klau (Gunnar)
December 2011 -
On the final coalgebra of automatic sequences Tech Report
December 2011
-
Abstract delta modeling Tech Report
D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer
December 2011
-
The Meaningful Use of Big Data: Four Perspectives - Four Challenges Article
ACM SIGMOD Record, 40(4)December 2011
-
December 2011