Frank Cornelissen

According to our database1, Frank Cornelissen authored at least 9 papers between 1997 and 2004.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2004
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.
Appl. Intell., 2004

2003
Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.
Knowl. Inf. Syst., 2003

2002
A multi-agent system performing one-to-many negotiation for load balancing of electricity use.
Electronic Commerce Research and Applications, 2002

2001
Towards second and third generation web-based multimedia.
Proceedings of the Tenth International World Wide Web Conference, 2001

2000
Compositional Specification and Reuse of a Generic Cooperative Agent Model.
Int. J. Cooperative Inf. Syst., 2000

1998
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

1997
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


  Loading...