Centrum Wiskunde & Informatica

Abstract delta modeling Tech Report

D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer

December 2011
On the final coalgebra of automatic sequences Tech Report

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

December 2011
Under review Article

I/O ICT Onderzoek, 8(4), 19-19.

P. Klint (Paul)

December 2011
CLEMEL, Clearing Market for Electrical Power Software

H. Noot (Han)

December 2011
Brzozowski's algorithm (co)algebraically Tech Report

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

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
Hydrostatic Hamiltonian particle-mesh (HPM) methods for atmospheric modelling Article

Quarterly Journal of the Royal Meteorological Society

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

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

Previous

Next