Kaninda Musumbu

A Generic Abstract Interpretation Algorithm and its Complexity Analysis.

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck · International Conference on Lightning Protection · 1991 · 48 citations

Computing, Computer Science, Algorithms +12

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy et al. · International Symposium on Programming Language Implementation and Logic Programming · 1993 · 31 citations

Computing, Computer Science, Logic +15

A Generic Abstract Interpretation Algorithm and its Complexity Analysis (extended abstract)

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck · 1990 · 16 citations

Computing, Computer Science, Algorithms +10

Blockchain Technology as A Guarantee of Transparency in The Supply Chain of Commercial Enterprises

Jonathan Lenge, Kaninda Musumbu, Geisla Wanuku et al. · 2022 · 10 citations

Management, Supply Chain Management, Consumer Protection +16