Modeling and enacting software processes: an analysis. - Jacques Lonchamp; Khalid Benali; Claude Godart; Jean-Claude Derniame (COMPSAC, 1990)

Roles cooperation through software process instantiaton. - Jean-Claude Derniame; Khalid Benali; N. Boudjlida; Claude Godart; Jacques Lonchamp (ISPW, 1990)

Software Modelling: What, Who and When. - Khalid Benali; Jean-Claude Derniame (EWSPT, 1992)

A Negotiation Model for CSCW. - Manuel Munier; Karim Baïna; Khalid Benali (CoopIS, 2000)

A Process Service Model for Dynamic Enterprise Process Interconnection. - Karim Baïna; Khalid Benali; Claude Godart (CoopIS, 2001)

Un système coopératif basé sur les transactions. - Manuel Munier; Khalid Benali; Claude Godart (INFORSID, 2001)

Les services procédés, une solution pour l'interconnexion des procédés d'entreprises. - Karim Baïna; Khalid Benali; Claude Godart (Ingénierie des Systèmes d Inf., 2001)

A Model for Process Service Interaction. - Karim Baïna; Samir Tata; Khalid Benali (OTM, 2002)

Dynamic Interconnection of Heterogeneous Workflow Processes through Services. - Karim Baïna; Khalid Benali; Claude Godart (OTM, 2003)

Dynamic interconnection of enterprise workflow processes. - Karim Baïna; Khalid Benali; Claude Godart (CE, 2003)

A Pattern for Interconnecting Distributed Components. - Walid Gaaloul; Karim Baïna; Khalid Benali; Claude Godart (ICEIS (4), 2004)

A Product Oriented Modelling Concept - Holons for Systems Synchronisation and Interoperability. - Salah Baïna; Hervé Panetto; Khalid Benali (ICEIS (3), 2006)

Product Oriented Modelling and Interoperability Issues. - Salah Baïna; Hervé Panetto; Khalid Benali (ICEIS (Selected Papers), 2006)

DISCOBOLE: A service architecture for interconnecting workflow processes. - Karim Baïna; Khalid Benali; Claude Godart (Comput. Ind., 2006)

Apport de l'approche MDA pour une interopérabilité sémantique. Interopérabilité des systèmes d'information d'entreprise. - Salah Baïna; Hervé Panetto; Khalid Benali (Ingénierie des Systèmes d Inf., 2006)

Éditorial. - Khalid Benali; Vincent Chapurlat (Ingénierie des Systèmes d Inf., 2006)

Workflow Engines Comparison Model. - Karim Baïna; Fatima Zahra Azayite; Nabil Belakbir; Hicham Srir; Khalid Benali (RCIS, 2007)

An Efficient Algorithm for Workflow Graph Structural Verification. - Fodé Touré; Karim Baïna; Khalid Benali (OTM Conferences (1), 2008)

Éditorial. - Khalid Benali; Dominique Rieu; Chantal Soulé-Dupuy (Document Numérique, 2009)

éDitorial. - Khalid Benali (Ingénierie des Systèmes d Inf., 2010)

Éditorial. - Selmin Nurcan; Khalid Benali; Hervé Pingaud (Ingénierie des Systèmes d Inf., 2010)

Introduction. - Lotfi Bouzguenda; Khalid Benali; Faïez Gargouri (Ingénierie des Systèmes d Inf., 2013)

Model and Application Architecture Indicators of Evaluation the Enterprise Architecture. - Jihane Lakhrouit; Karim Baïna; Khalid Benali (WorldCIST (2), 2014)

Business Process Instances Scheduling with Human Resources Based on Event Priority Determination. - Abir Ismaili-Alaoui; Khalid Benali; Karim Baïna; Jamal Baïna (BDCA, 2018)

Towards Smart Incident Management Under Human Resource Constraints for an IoT-BPM Hybrid Architecture. - Abir Ismaili-Alaoui; Karim Baïna; Khalid Benali; Jamal Baïna (ICWS, 2018)

Priority-Based Event Management using Fuzzy Logic for an IoT-BPM Architecture. - Abir Ismaili-Alaoui; Ouafae Kasmi; Amine Baïna; Karim Baïna; Khalid Benali; Mostafa Bellafkih (SOCA, 2019)

Unified enterprise modelling language-based interoperability for collaborative access control framework in critical infrastructures. - Amine Baïna; Khalid Benali; Mostafa Bellafkih; Nawal Ait Aali (Int. J. Netw. Virtual Organisations, 2020)

Traitement des événements complexes pour une gestion proactive des instances d'un processus métier. - Abir Ismaili-Alaoui; Khalid Benali; Karim Baïna (INFORSID, 2022)