Interprétation abstraite des programmes Prolog - Kaninda Musumbu (1990)

A Generic Abstract Interpretation Algorithm and its Complexity Analysis. - Baudouin Le Charlier; Kaninda Musumbu; Pascal Van Hentenryck (ICLP, 1991)

Failure Analysis Based on Abstract Interpretation. - Marc-Michel Corsini; Kaninda Musumbu (Declarative Programming, 1991)

Interprétation abstraite au moyen de grammaires attribuées. - Kaninda Musumbu (JTASPEFT/WSA, 1991)

The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. - Marc-Michel Corsini; Kaninda Musumbu; Antoine Rauzy (WSA, 1992)

Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques? - Kaninda Musumbu (JFPL, 1993)

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. - Marc-Michel Corsini; Kaninda Musumbu; Antoine Rauzy; Baudouin Le Charlier (PLILP, 1993)

Type Inference in Prolog: A New Approach. - Marc-Michel Corsini; Kaninda Musumbu (Theor. Comput. Sci., 1993)

Failure diagnosis of declarative programs based on abstract interpretation (extended abstract). - Kaninda Musumbu (CATA, 2000)

Simulating Security Systems Based on Logigrams. - Kaninda Musumbu (ICLP, 2003)

Simulator Design for Security Systems. - Kaninda Musumbu (MSV/AMCS, 2004)

Automatic Cheching of the Security Systems' Topologies. - Kaninda Musumbu (IASSE, 2005)

Standard Business Rules Language: Why and How? - Mouhamed Diouf; Kaninda Musumbu; Sofian Maabout (IC-AI, 2006)

Semantics Enrichment in Model Driven Architecture: automatic business rules generation EEE '07. - Mouhamed Diouf; Kaninda Musumbu; Sofian Maabout (CSREA EEE, 2007)

Génération automatique de règles métier par enrichissement sémantique de modèles. - Mouhamed Diouf; Sofian Maabout; Kaninda Musumbu (INFORSID, 2007)

Merging Model Driven Architecture and Semantic Web for Business Rules Generation. - Mouhamed Diouf; Sofian Maabout; Kaninda Musumbu (RR, 2007)

Merging and Aligning Business Rules Sets Using Semantic Web Technics. - Mouhamed Diouf; Kaninda Musumbu; Sofian Musumbu (SWWS, 2007)

Methodological Aspects of Semantics Enrichment in Model Driven Architecture. - Mouhamed Diouf; Kaninda Musumbu; Sofian Maabout (ICIW, 2008)

A New Operational Semantics for Prolog. - Kaninda Musumbu (IICAI, 2009)

Abstraction and Refinement in Static Model-Checking - Kaninda Musumbu (CoRR, 2009)

The Semantics of Kalah Game - Kaninda Musumbu (CoRR, 2009)

Optimization Strategy apply to an Attribute Algorithm for the Abstract Interpretation. - Kaninda Musumbu (IICAI, 2011)

Algorithms Visualization Tool for Students and Lectures in Computer Science. - Kaninda Musumbu (CoRR, 2014)

Blockchain Technology as A Guarantee of Transparency in The Supply Chain of Commercial Enterprises. - Jonathan Lenge; Kaninda Musumbu; Geisla Wanuku; Pascal Sungu (ASSE, 2022)