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
-
Improved non-intrusive uncertainty propagation in complex fluid flow problems In Proceedings
L.M.M. van den Bos (Laurent), B. Koren (Barry) and R.P. Dwight (Richard)
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
-
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 -
Run-time checking multi-threaded java programs In Proceedings
January 2016 -
Quantum homomorphic encryption for polynomial-sized circuits In Proceedings
Y.M. Dulek (Yfke), C. Schaffner (Christian) and F. Speelman (Florian)
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 -
Formal specification and analysis of robust adaptive distributed cyber-physical systems Book Chapter
C. Talcott (Carolyn), V. Nigam (Vivek), F. Arbab (Farhad) and T.W.J. Kappé (Tobias)
January 2016