CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Kersverse IT hoogleraren - AG Connect - 30-11-2019 Magazine Article
November 2019 -
AG Connect - 30 november 2019 - Voorwoord Magazine Article
November 2019 -
Fifty years of Hoare’s logic Article
Formal Aspects of Computing, 31(6), 751-807.December 2019 -
Mathematical Modeling and Computation in Finance With exercises and Python and MATLAB computer codes Book
December 2019 -
PAC-Bayes unexpected Bernstein inequality In Proceedings
Z. Mhammedi (Zakaria), P.D. Grünwald (Peter) and B. Guedj (Benjamin)
December 2019
-
Efficient information-theoretic Secure Multiparty Computation over Z/pkZ via Galois rings In Proceedings
M.A. Abspoel (Mark), R.J.F. Cramer (Ronald), I.B. Damgård (Ivan), D. Escudero (Daniel) and C. Yuan (Chen)
December 2019
-
The impact of a network split on cascading failure processes Article
Stochastic Systems, 9(4), 392-416.December 2019
-
December 2019