Frank Cornelissen

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

Publications

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) (2004)
Frank Cornelissen, Catholijn M. Jonker, Jan Treur
Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods. Knowl. Inf. Syst. 5 (3) (2003)
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. Electron. Commer. Res. Appl. 1 (2) (2002)
Jacco van Ossenbruggen, Joost Geurts, Frank Cornelissen, Lynda Hardman, Lloyd Rutledge
Towards second and third generation web-based multimedia. WWW (2001)
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) (2000)
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)
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. PAAM (1998)
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)
Frank Cornelissen, Catholijn M. Jonker, Jan Treur
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning. EKAW (1997)
Frank Cornelissen, Catholijn M. Jonker, Jan Treur
Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. EUROVAV (1997)