Wieke de Vries

According to our database, Wieke de Vries authored at least 7 papers between 1998 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

A coordination language for agents interacting in distributed plan-execute cycles.

Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek

Int. J. Reason. based Intell. Syst., 2009

2005

Process algebra and constraint programming for modeling interactions in MAS.

Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek

Appl. Algebra Eng. Commun. Comput., 2005

2001

A Truly Concurrent Model for Interacting Agents.

Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents: Specification, 2001

A Programming Language for Coordinating Group Actions.

Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

External attribution of intentional notions to explain and predict agent behaviour.

Catholijn M. Jonker, Jan Treur, Wieke de Vries

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments.

Catholijn M. Jonker, Jan Treur, Wieke de Vries

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

1998

Compositional Verification of Agents in Dynamic Environments: a Case Study.

Catholijn M. Jonker, Jan Treur, Wieke de Vries

Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998