CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Faster ambiguity detection by grammar filtering In Proceedings
January 2010
-
January 2010
-
January 2010
-
Executable Interface Specifications for Testing Asynchronous Creol Components In Proceedings
I. Grabe (Immo), M. Kyas (Marcel), M. Steffen and A.B. Torjusen
January 2010
-
The Credo Methodology (Extended Version) In Proceedings
I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), J. Klein (Joachim), S. Klüppelholz, A. Stam, C. Baier, T. Blechmann, B.K. Aichernig, F.S. de Boer (Frank), A. Griesmeyer, et al. E.B. Johnsen (Einar Broch), M. Kyas (Marcel), W. Leister, R. Schlatte (Rudolf), M. Steffen, S. Tschirner, L. Xuedong and W. Yi
January 2010
-
Probing photo-ionization: Simulations of positive streamers in varying N2:O2-mixtures Article
Journal of Physics D: Applied Physics, 1-13.G. Wormeester (Gideon), S. Pancheshnyi, A. Luque (Alejandro), S. Nijdam (Sander) and U. Ebert (Ute)
January 2010
-
Composing Models In Proceedings
D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and Y. Wang (Yanjing)
January 2010
-
Comment on "NOx production in laboratory discharges simulating blue jets and red sprites" by H. Peterson et al. Article
Journal of Geophysical Research, 1-4.January 2010