| 2004 |
|---|
| 9 | EE | Frances M. T. Brazier,
Frank Cornelissen,
Rune Gustavsson,
Catholijn M. Jonker,
Olle Lindeberg,
Bianca Polak,
Jan Treur:
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.
Appl. Intell. 20(2): 95-117 (2004) |
| 2003 |
|---|
| 8 | EE | Frank Cornelissen,
Catholijn M. Jonker,
Jan Treur:
Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.
Knowl. Inf. Syst. 5(3): 337-367 (2003) |
| 2002 |
|---|
| 7 | EE | Frances M. T. Brazier,
Frank Cornelissen,
Rune Gustavsson,
Catholijn M. Jonker,
Olle Lindeberg,
Bianca Polak,
Jan Treur:
A multi-agent system performing one-to-many negotiation for load balancing of electricity use.
Electronic Commerce Research and Applications 1(2): 208-224 (2002) |
| 2001 |
|---|
| 6 | EE | Jacco van Ossenbruggen,
Joost Geurts,
Frank Cornelissen,
Lynda Hardman,
Lloyd Rutledge:
Towards second and third generation web-based multimedia.
WWW 2001: 479-488 |
| 2000 |
|---|
| 5 | EE | Frances M. T. Brazier,
Frank Cornelissen,
Catholijn M. Jonker,
Jan Treur:
Compositional Specification and Reuse of a Generic Cooperative Agent Model.
Int. J. Cooperative Inf. Syst. 9(3): 171-208 (2000) |
| 1998 |
|---|
| 4 | EE | Frances M. T. Brazier,
Frank Cornelissen,
Rune Gustavsson,
Catholijn M. Jonker,
Olle Lindeberg,
Bianca Polak,
Jan Treur:
Agents Negotiating for Load Balancing of Electricity Use.
ICDCS 1998: 622-629 |
| 3 | | Frances M. T. Brazier,
Frank Cornelissen,
Rune Gustavsson,
Catholijn M. Jonker,
Olle Lindeberg,
Bianca Polak,
Jan Treur:
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation.
ICMAS 1998: 49-56 |
| 1997 |
|---|
| 2 | | Frank Cornelissen,
Catholijn M. Jonker,
Jan Treur:
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning.
EKAW 1997: 65-80 |
| 1 | | Frank Cornelissen,
Catholijn M. Jonker,
Jan Treur:
Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning.
EUROVAV 1997: 129-142 |
