Centrum Wiskunde & Informatica

Coalgebraic Bisimulation-Up-To In Proceedings

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2013
One-Sided Device Independent QKD and Position-Based Cryptography from Monogamy Games In Proceedings

M. Tomamichel, S. Fehr (Serge), J. Kaniewski and S.D.C. Wehner (Stephanie)

January 2013
A data-driven multi-cloud model for stochastic parametrization of deep convection Article

Philosophical Transactions of the Royal Society A , 1-23.

J. Dorrestijn (Jesse), D.T. Crommelin (Daan), J.A. Biello and S.J. Böing

January 2013
Automatic equivalence proofs for non-deterministic coalgebras Article

Science of Computer Programming, 1324-1345.

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2013
Stream processing coalgebraically Article

Science of Computer Programming, 78(11), 2192-2215.

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2013
Varieties and covarieties of languages (preliminary version) In Proceedings

J.J.M.M. Rutten (Jan), A. Ballester-Bolinches and E. Cosme-Llopez

January 2013
Algebraic Manipulation Detection Codes Article

SCIENCE CHINA Mathematics, 56(7), 1349-1358.

R.J.F. Cramer (Ronald), S. Fehr (Serge) and C. Padró (Carles)

January 2013
Optimal control of end-user energy storage Article

IEEE Transactions on Smart Grid, 4(2), 789-797.

P.M. van de Ven (Peter), N. Hegde, L. Massoulie and T. Salonidis

January 2013

Previous

Next