Compositional Verification of Agents in Dynamic Environments: a Case Study. - Catholijn M. Jonker; Jan Treur; Wieke de Vries (EUROVAV, 1998)

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. - Catholijn M. Jonker; Jan Treur; Wieke de Vries (AOSE, 2000)

External attribution of intentional notions to explain and predict agent behaviour. - Catholijn M. Jonker; Jan Treur; Wieke de Vries (Agents, 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 (CEEMAS, 2001)

A Truly Concurrent Model for Interacting Agents. - Wieke de Vries; Frank S. de Boer; Wiebe van der Hoek; John-Jules Ch. Meyer (PRIMA, 2001)

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)

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)