CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Runge–Kutta methods and viscous wave equations Article
Numerische Mathematik, 112(3), 485-507.May 2009
-
Properties of classical and quantum Jensen-Shannon divergence Article
Physical Review A: Atomic, Molecular and Optical Physics, 79(5)May 2009
-
May 2009
-
Modular Verification of Recursive Programs Book Chapter
K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)
May 2009
-
Optimal strategies in sequential bidding In Proceedings
May 2009
-
Coalgebraic Modelling: Applications in Automata Theory and Modal Logic Dissertation
Computer SecurityMay 2009
-
Front interactions in a three-component system Dissertation
Modelling, Analysis and ComputationMay 2009
-
ROX: Run-time optimization of XQueries In Proceedings
R. Abdel Kader, P.A. Boncz (Peter), S. Manegold (Stefan) and M. van Keulen
June 2009