Kaninda Musumbu

According to our database1, Kaninda Musumbu authored at least 24 papers between 1990 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Algorithms Visualization Tool for Students and Lectures in Computer Science.
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
The Semantics of Kalah Game
CoRR, 2009

Abstraction and Refinement in Static Model-Checking
CoRR, 2009

A New Operational Semantics for Prolog.
Proceedings of the 4th Indian International Conference on Artificial Intelligence, 2009

2008
Methodological Aspects of Semantics Enrichment in Model Driven Architecture.
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

Merging Model Driven Architecture and Semantic Web for Business Rules Generation.
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
Simulating Security Systems Based on Logigrams.
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
Type Inference in Prolog: A New Approach.
Theor. Comput. Sci., 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

Failure Analysis Based on Abstract Interpretation.
Proceedings of the Declarative Programming, 1991

A Generic Abstract Interpretation Algorithm and its Complexity Analysis.
Proceedings of the Logic Programming, 1991

1990
Interprétation abstraite des programmes Prolog
PhD thesis, 1990


  Loading...