CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Functional central limit theorems for Markov-modulated infinite-server systems Tech Report
J.G. Blom (Joke), K. de Turck (Koen) and M.R.H. Mandjes (Michel)
January 2016
-
Supervisory controller synthesis for product lines using CIF 3 In Proceedings
M.H. ter Beek (Maurice), M.A. Reniers (Michel) and E.P. de Vink (Erik)
January 2016 -
Quantum homomorphic encryption for polynomial-sized circuits In Proceedings
Y.M. Dulek (Yfke), C. Schaffner (Christian) and F. Speelman (Florian)
January 2016 -
Run-time checking multi-threaded java programs In Proceedings
January 2016 -
Composing constraint automata, state-by-state In Proceedings
S.-S.T.Q. Jongmans (Sung), T.W.J. Kappé (Tobias) and F. Arbab (Farhad)
January 2016 -
Domain decomposition in shallow lake modelling for operational forecasting of flooding In Proceedings
M. Genseberger (Menno), E.J. Spee (Edwin) and L. Voort (Lykle)
January 2016
-
Multi-period mean–variance portfolio optimization based on Monte-Carlo simulation Article
Journal of Economic Dynamics and Control, 23-38.January 2016
-
January 2016