CWI's Institutional Repository
Selected Open Access and other scholarly publications from CWI and related researchers.For submitting your work see bottom of the page.
Use the feedback button (bottom right) to inform us about your questions.
Once you are logged in, it is possible to see all your data stored in the system.
-
AG Connect- 15 november 2019 - Nederlandse IT pioniers gelauwerd met Dijkstra Fellowship Magazine Article
November 2020
-
Verifying OpenJDK's LinkedList using KeY Article
Lecture Notes in Computer ScienceH.A. Hiep (Hans-Dieter), O. Maathuis (Olaf), J. Bian (Jinting), F.S. de Boer (Frank), M. van Eekelen (Marko) and C.P.T. de Gouw (Stijn)
April 2020
-
Stochastic turbulence modeling in RANS simulations via multilevel Monte Carlo Article
Computers & FluidsP. Kumar (Prashant), Schmelzer, M. (Martin) and R.P. Dwight (Richard)
April 2020 -
Reducing data-driven dynamical subgrid scale models by physical constraints Article
Computers & FluidsApril 2020 -
March 2020 -
Perturbation analysis of two queues with random time-limited polling In Proceedings
M. Saxena (Mayank), S. Kapodistria (Stella) and R. Núñez Queija (Rudesindo)
March 2020 -
Heavy-traffic limits for Discriminatory Processor Sharing models with joint batch arrivals Article
Operations Research Letters, 48(2), 136-141.P. Vis (Petra), R. Bekker (Rene), R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)
March 2020 -
Improved bounds on Fourier entropy and min-entropy In Proceedings
S. Arunachalam (Srinivasan), S. Chakraborty (Sourav), M. Koucky (Michal), N. Saurabh (Nitin) and R.M. de Wolf (Ronald)
March 2020