CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Controlling Object Allocation Using Creation Guards In Proceedings
January 2005 -
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article
Journal of Universal Computer Science, 11(6), 1054-1082.M. Sirjani (Marjan), A. Movaghar (Ali), A. Shali and F.S. de Boer (Frank)
January 2005 -
Observability, connectivity, and replay in a sequential calculus of classes In Proceedings
M. Steffen, S. Gruner, E. Abraham (Erika), M.M. Bonsangue (Marcello) and F.S. de Boer (Frank)
January 2005 -
The Role of Agent Interaction in Models of Computing: Panelist Reviews Article
Electronic Notes in Theoretical Computer Science, 141(5), 181-198.P. Wegner, F. Arbab (Farhad), D. Goldin, P. McBurney, M. Luck and D.S. Robertson (Dave)
January 2005 -
Strategies for the diffusion of innovations on social networks Article
Computational Economics, 25(1), 3-23.January 2005 -
On social learning and robust evolutionary algorithm design in economic games In Proceedings
F. Alkemade (Floortje), J.A. La Poutré (Han) and H.M. Amman (Hans)
January 2005 -
Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Article
Information Sciences, 101-119.F. Alkemade (Floortje), D.D.B. van Bragt and J.A. La Poutré (Han)
January 2005 -
Applications of spiking neural networks Article
Information Processing Letters, 519-520.January 2005