Introduction
Strategy/False-name Proof Protocols for Combinatorial Multi-Attribute Procurement Auction
Evaluating a Computational Model of Emotion
Non-Monotonic-Offers Bargaining Protocol
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1
On the Communication Complexity of Multilateral Trading