Centrum Wiskunde & Informatica

Proving language inclusion and equivalence by coinduction Article

Information and Computation, 62-76.

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

January 2016
Preface Article

Journal of Computational and Applied Mathematics, 1-2.

M. Arnold (Martin), H. Podhaisky (Helmut), R. Weiner (Rüdiger), J.E. Frank (Jason) and W. Hundsdorfer (Willem)

January 2016
Context-free ambiguity detection using multi-stack pushdown automata In Proceedings

H.J.S. Basten (Bas)

January 2016
Gossip in Dynamic Networks Booklet

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan), P. Pardo (Pere), R. Ramezanian (Rahim) and F. Schwarzentruber

January 2016
Understanding Uncertainty Issues in the Exploration of Fish Counts Book Chapter

E.M.A.L. Beauxis-Aussalet (Emmanuelle) and L. Hardman (Lynda)

January 2016
User Information Needs Book Chapter

E.M.A.L. Beauxis-Aussalet (Emmanuelle) and L. Hardman (Lynda)

January 2016
Modelling the Growth of Blood Vessels in Health and Disease Article

ERCIM News, 36-37.

E.G. Rens (Lisanne), S.E.M. Boas (Sonja) and R.M.H. Merks (Roeland)

January 2016
Cheater detection in SPDZ multiparty computation In Proceedings

Spini, G. (Gabriele) and Fehr, S. (Serge)

January 2016

Previous

Next