|
Search the dblp DataBase
Frank Cornelissen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Frank Cornelissen, Catholijn M. Jonker, Jan Treur
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP] EKAW, 1997, pp:65-80 [Conf]
- Frank Cornelissen, Catholijn M. Jonker, Jan Treur
Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP] EUROVAV, 1997, pp:129-142 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICDCS, 1998, pp:622-629 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICMAS, 1998, pp:49-56 [Conf]
- Jacco van Ossenbruggen, Joost Geurts, Frank Cornelissen, Lynda Hardman, Lloyd Rutledge
Towards second and third generation web-based multimedia. [Citation Graph (0, 0)][DBLP] WWW, 2001, pp:479-488 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Appl. Intell., 2004, v:20, n:2, pp:95-117 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Electronic Commerce Research and Applications, 2002, v:1, n:2, pp:208-224 [Journal]
- Frances M. T. Brazier, Frank Cornelissen, Catholijn M. Jonker, Jan Treur
Compositional Specification and Reuse of a Generic Cooperative Agent Model. [Citation Graph (0, 0)][DBLP] Int. J. Cooperative Inf. Syst., 2000, v:9, n:3, pp:171-208 [Journal]
- Frank Cornelissen, Catholijn M. Jonker, Jan Treur
Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods. [Citation Graph (0, 0)][DBLP] Knowl. Inf. Syst., 2003, v:5, n:3, pp:337-367 [Journal]
Search in 0.002secs, Finished in 0.003secs
|