The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frank Cornelissen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002