Agents Negotiating for Load Balancing of Electricity Use. - Frances M. T. Brazier; Frank Cornelissen; Rune Gustavsson; Catholijn M. Jonker; Olle Lindeberg; Bianca Polak; Jan Treur (ICDCS, 1998)

Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. - Frances M. T. Brazier; Frank Cornelissen; Rune Gustavsson; Catholijn M. Jonker; Olle Lindeberg; Bianca Polak; Jan Treur (ICMAS, 1998)

A multi-agent system performing one-to-many negotiation for load balancing of electricity use. - Frances M. T. Brazier; Frank Cornelissen; Rune Gustavsson; Catholijn M. Jonker; Olle Lindeberg; Bianca Polak; Jan Treur (Electron. Commer. Res. Appl., 2002)

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. - Frances M. T. Brazier; Frank Cornelissen; Rune Gustavsson; Catholijn M. Jonker; Olle Lindeberg; Bianca Polak; Jan Treur (Appl. Intell., 2004)