Publication

The Mertens Conjecture Book Chapter

Cheater detection in SPDZ multiparty computation In Proceedings

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

EventSnap: a smart networking based video sharing application Master Thesis

F. Bajo (Fabijan)

Duality of equations and coequations via contravariant adjunctions In Proceedings

J.R. Salamanca Tellez (Julian), M.M. Bonsangue (Marcello) and J.C. Rot (Jurriaan)

Proving language inclusion and equivalence by coinduction Article

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

An algorithm for Komlós Conjecture matching Banaszczyk’s Bound In Proceedings

N. Bansal (Nikhil), D.N. Dadush (Daniel) and S. Garg (Shashwat)

The ION corpus Dataset

L. Hollink (Laura), A. Bedjeti (Adriatik), M. van Harmelen and D. Elliott (Desmond)

Kwantumcomputers & kwantumspellen Leve de Wiskunde Amsterdam, The Netherlands Lecture

J. Briët (Jop)