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

K. Kayabol (Koray)

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)

CSA: Comprehensive comparison of pairwise protein structure alignments Software

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

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)

CLEMEL, Clearing Market for Electrical Power Software

H. Noot (Han)

Advanced topics in bisimulation and coinduction Book

Analysis of a Model for Ship Maneuvering In Proceedings

M. Apri, N. Banagaaya, J.B. van den Berg, R. Brussee, D. Bourne, S. Fatima, F. Irzal, J.D.M. Rademacher (Jens), B. Rink, F. Veerman, et al. S. Verpoort

The Meaningful Use of Big Data: Four Perspectives - Four Challenges Article

C. Bizer, P.A. Boncz (Peter), M Brodie and O. Erling (Orri)