According to our database1, Frank Cornelissen authored at least 9 papers between 1997 and 2004.
Legend:Book In proceedings Article PhD thesis Other
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.
Appl. Intell., 2004
Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.
Knowl. Inf. Syst., 2003
A multi-agent system performing one-to-many negotiation for load balancing of electricity use.
Electronic Commerce Research and Applications, 2002
Towards second and third generation web-based multimedia.
Proceedings of the Tenth International World Wide Web Conference, 2001
Compositional Specification and Reuse of a Generic Cooperative Agent Model.
Int. J. Cooperative Inf. Syst., 2000
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation.
Proceedings of the Third International Conference on Multiagent Systems, 1998
Agents Negotiating for Load Balancing of Electricity Use.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning.
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning.
Proceedings of the Knowledge Acquisition, Modeling and Management, 10th European Workshop, 1997