CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Prototyping a tool environment for run-time assertion checking in JML with Communication Histories In Proceedings
C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.J. Vinju (Jurgen)
January 2010 -
Feather-like structures in positive streamers. In Proceedings
G. Wormeester (Gideon), S. Nijdam (Sander) and U. Ebert (Ute)
January 2010
-
Propagation mechanisms of positive streamers in air and other N2:O2 mixtures: photo-ionization versus background ionization. In Proceedings
G. Wormeester (Gideon), S. Nijdam (Sander), S. Pancheshnyi, A. Luque (Alejandro), E.M. van Veldhuizen and U. Ebert (Ute)
January 2010
-
On lightning and its kind. Article
Europhysics News, 41(5), 19-22.January 2010
-
January 2010
-
Preventing Under-Reporting in Social Task Allocation In Proceedings
January 2010 -
January 2010
-
Dealing with Uncertainty in Operational Transport Planning Book Chapter
J. Zutt, M.M. de Weerdt (Mathijs), A.J.C. van Gemund and C. Witteveen (Cees)
January 2010