De cryptocalypse komt eraan - NRC Handelsblad - 05-09-2016 Magazine Article

Tutorial lectures at LMS-CMI Research School on Combinatorics and Operators in Quantum Information Theory Lecture

M. Laurent (Monique)

A formal, resource consumption-preserving translation of actors to Haskell In Proceedings

E. Albert (Elvira), N. Bezirgiannis (Nikolaos), F.S. de Boer (Frank) and E. Martin-Martin (Enrique)

Likelihood based inference for partially observed renewal processes Lecture

M.N.M. van Lieshout (Marie-Colette)

Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs Dissertation

A.C. van Hulst (Alan)

Reducing implementation time for the GUI design-to-code process using DSL Bachelor Thesis

C. Mulder (Charilaos)

Fast and Efficient Asynchronous Neural Computation with Adapting Spiking Neural Networks Tech Report

D. Zambrano (Davide) and S.M. Bohte (Sander)

Short Stickelberger class relations and application to ideal-SVP Tech Report

R.J.F. Cramer (Ronald), L. Ducas (Léo) and B.P.C. Wesolowski (Benjamin)