Publication

Workshop on computational number theory on the occasion of Herman te Riele's retirement from CWI Amsterdam, 01-02.12.2011 : uitnodiging Other

Hydrostatic Hamiltonian particle-mesh (HPM) methods for atmospheric modelling Article

S. Shin, S. Reich and J.E. Frank (Jason)

Under review Article

P. Klint (Paul)

CSA: Comprehensive comparison of pairwise protein structure alignments Software

I. Wohlers (Inken), N. Malod-Dognin, R. Andonov (Rumen) and G.W. Klau (Gunnar)

The Database Architectures Research Group at CWI Article

M.L. Kersten (Martin), S. Manegold (Stefan) and K.S. Mullender (Sjoerd)

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)

Advanced topics in bisimulation and coinduction Book

On the scaling limits of Galton Watson processes in varying environment Tech Report

F.B.R.A. Simatos (Florian) and V. Bansaye