Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning. - Frank Cornelissen; Catholijn M. Jonker; Jan Treur (EKAW, 1997)

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 (ICDCS, 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 (ICMAS, 1998)

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)

Towards second and third generation web-based multimedia. - Jacco van Ossenbruggen; Joost Geurts; Frank Cornelissen; Lynda Hardman; Lloyd Rutledge (WWW, 2001)

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)

Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods. - Frank Cornelissen; Catholijn M. Jonker; Jan Treur (Knowl. Inf. Syst., 2003)

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)

What Factors Contribute to Effective Online Higher Education? A Meta-Review. - Chevy van Dorresteijn; Dina Fajardo-Tovar; Natalie Pareja Roblin; Frank Cornelissen; Monique Meij; Joke Voogt; Monique Volman (Technol. Knowl. Learn., 2025)