Reasoning on requirement specifications: a deductive approach. - Kacem Zeroual (COMPSAC, 1989)

KBRAS: A Knowledge-Based Requirements Acquisition System. - Kacem Zeroual (KBSE, 1991)

KBMS: A Knowledge-Based System for Modeling Software System Specifications. - Kacem Zeroual; Pierre N. Robillard (IEEE Trans. Knowl. Data Eng., 1992)

A protocol synthesis algorithm: a relational approach. - Kacem Zeroual; M. El Yassini (ICNP, 1995)

Active Information Systems, From Object-Oriented Design to Ada 95. - M. Bari; P. Gabrini; Colette Rolland; Kacem Zeroual (TRI-Ada, 1996)

SVM Fuzzy Hierarchical Classification Method for Multi-class Problems. - Taoufik Guernine; Kacem Zeroual (AINA Workshops, 2009)

SVM Fuzzy Hierarchical Document Categorization and Retrieval Method. - Taoufik Guernine; Kacem Zeroual (DMIN, 2009)

A New Fuzzy Hierarchical Classification Based on SVM for Text Categorization. - Taoufik Guernine; Kacem Zeroual (ICIAR, 2009)