Probing photo-ionization: Experiments on positive streamers in pure gases and mixtures. Article

S. Nijdam (Sander), F.M.J.H. van de Wetering, R. Blanc, E.M. van Veldhuizen and U. Ebert (Ute)

Strategic Executions of Choreographed Timed Normative Multi-Agent Systems In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

Emerging database systems in support of scientific data Book Chapter

P. Svensson, P.A. Boncz (Peter), M.G. Ivanova (Milena), M.L. Kersten (Martin), N.J. Nes (Niels) and D. Rotem

Towards Model Checking Executable UML Specifications in mCRL2 Article

H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi and J.C. van de Pol (Jaco)

Mind your body : [poster] Poster

Computational properties of three-term recurrence relations for Kummer functions Article

N.M. Temme (Nico), A. Deaño and J. Segura (Javier)

Cache Conscious Data Layouting for In-Memory Databases Master Thesis

H. Pirk (Holger)

A new formulation of Kapila’s five-equation model for compressible two-fluid flow, and its numerical treatment Article

J.J. Kreeft (Jasper) and B. Koren (Barry)