Frank Cornelissen

According to our database, Frank Cornelissen authored at least 8 papers between 1997 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

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

2003

Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.

Frank Cornelissen, Catholijn M. Jonker, Jan Treur

Knowl. Inf. Syst., 2003

2002

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

2001

Towards second and third generation web-based multimedia.

Jacco van Ossenbruggen, Joost Geurts, Frank Cornelissen, Lynda Hardman, Lloyd Rutledge

Proceedings of the Tenth International World Wide Web Conference, 2001

2000

Compositional Specification and Reuse of a Generic Cooperative Agent Model.

Frances M. T. Brazier, Frank Cornelissen, Catholijn M. Jonker, Jan Treur

Int. J. Cooperative Inf. Syst., 2000

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

Proceedings of the Third International Conference on Multiagent Systems, 1998

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

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning.

Frank Cornelissen, Catholijn M. Jonker, Jan Treur

Proceedings of the Knowledge Acquisition, Modeling and Management, 10th European Workshop, 1997