Centrum Wiskunde & Informatica

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
Dynamic profit optimization for composite Web services with SLA's In Proceedings

M. Zivkovic, J.W. Bosman (Joost), J.L. van den Berg (Hans), H.B. Meeuwissen, R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

December 2011
A Latent Variable Bayesian Approach to Spatial Clustering with Background Noise Tech Report

K. Kayabol (Koray)

December 2011
CLEMEL, Clearing Market for Electrical Power Software

H. Noot (Han)

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
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
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
Under review Article

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

P. Klint (Paul)

December 2011

Previous

Next