CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Comment on 'Mechanism of Branching in Negative Ionization Fronts' Article
Physical Review Letters, 1-1.January 2008 -
A Framework for Video Interaction with Web Browsers Article
ERCIM News, 25-26.P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)
January 2008 -
A new method for approximating the variance of the sojourn times in star-shaped queueing networks Article
Stochastic Models, 1-15.R.D. van der Mei (Rob), A.R. de Wilde (Arald) and S. Bhulai (Sandjai)
January 2008
-
Testing Concurrent Objects with Application-Specific Schedulers In Proceedings
F.S. de Boer (Frank), R. Schlatte (Rudolf), B.K. Aichernig and E. Broch Johnsen
January 2008 -
Domination in Geometric Intersection Graphs In Proceedings
January 2008 -
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings
F.S. de Boer (Frank), F. Arbab (Farhad), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008 -
A Verification Framework for Normative Multi-Agent Systems In Proceedings
F.S. de Boer (Frank), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008 -
A Deductive Proof System for Multithreaded Java with Exceptions Article
Fundamenta Informaticae, 82(4)F.S. de Boer (Frank), E. Abraham (Erika), W.P. de Roever and M. Steffen
January 2008