Kaninda Musumbu
According to our database1,
Kaninda Musumbu
authored at least 24 papers
between 1990 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Blockchain Technology as A Guarantee of Transparency in The Supply Chain of Commercial Enterprises.
Proceedings of the ASSE 2022: 3rd Asia Service Sciences and Software Engineering Conference, Macao, February 24, 2022
2014
CoRR, 2014
2011
Optimization Strategy apply to an Attribute Algorithm for the Abstract Interpretation.
Proceedings of the 5th Indian International Conference on Artificial Intelligence, 2011
2009
A New Operational Semantics for Prolog.
Proceedings of the 4th Indian International Conference on Artificial Intelligence, 2009
2008
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008
2007
Merging and Aligning Business Rules Sets Using Semantic Web Technics.
Proceedings of the 2007 International Conference on Semantic Web & Web Services, 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Génération automatique de règles métier par enrichissement sémantique de modèles.
Proceedings of the Actes du XXVème Congrès INFORSID, 2007
Semantics Enrichment in Model Driven Architecture: automatic business rules generation EEE '07.
Proceedings of the 2007 International Conference on E-Learning, 2007
2006
Standard Business Rules Language: Why and How?
Proceedings of the 2006 International Conference on Artificial Intelligence, 2006
2005
Automatic Cheching of the Security Systems' Topologies.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005
2004
Simulator Design for Security Systems.
Proceedings of the International Conference on Modeling, 2004
2003
Proceedings of the Logic Programming, 19th International Conference, 2003
2000
Failure diagnosis of declarative programs based on abstract interpretation (extended abstract).
Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000
1993
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
Proceedings of the Programming Language Implementation and Logic Programming, 1993
Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?
Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993
1992
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992
1991
Interprétation abstraite au moyen de grammaires attribuées.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Proceedings of the Declarative Programming, 1991
A Generic Abstract Interpretation Algorithm and its Complexity Analysis.
Proceedings of the Logic Programming, 1991
1990