Volume 11, Numbers 1-2, March & June 2002
Regular Papers
Catholijn M. Jonker,
Jan Treur:
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.
51-91
COOPIS 1999
Volume 11, Number 3 & 4, September/December 2002
Information Agents and Mobile Computing
Applications and Systems
Issues of Trading Information Agents
Onn Shehory:
Optimal Bidding in Multiple Concurrent Auctions.
315-328
Issues of Collaboration Among Information Agents