Centrum Wiskunde & Informatica

Controlling Object Allocation Using Creation Guards In Proceedings

C. Pierik, D.G. Clarke (David) and F.S. de Boer (Frank)

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.

F. Alkemade (Floortje) and C. Castaldi

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.

S.M. Bohte (Sander) and J.N. Kok (Joost)

January 2005

Publication

Controlling Object Allocation Using Creation Guards In Proceedings

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article

Observability, connectivity, and replay in a sequential calculus of classes In Proceedings

The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

Strategies for the diffusion of innovations on social networks Article

On social learning and robust evolutionary algorithm design in economic games In Proceedings

Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Article

Applications of spiking neural networks Article

Address

CWI researchers

Questions or comments?

Publication

Controlling Object Allocation Using Creation Guards In Proceedings

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article

Observability, connectivity, and replay in a sequential calculus of classes In Proceedings

The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

Strategies for the diffusion of innovations on social networks Article

On social learning and robust evolutionary algorithm design in economic games In Proceedings

Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Article

Applications of spiking neural networks Article

Workflow

Workflow

Add Content