3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.CY2014★ 3 cited
Algorithms Visualization Tool for Students and Lectures in Computer Science
Kaninda Musumbu
The best way to understand complex data structures or algorithm is to see them in action. The present work presents a new tool, especially useful for students and lecturers in comp…
cs.AI2009
The Semantics of Kalah Game
Kaninda Musumbu
The present work consisted in developing a plateau game. There are the traditional ones (monopoly, cluedo, ect.) but those which interest us leave less place at the chance (luck) t…
cs.DS2009
Abstraction and Refinement in Static Model-Checking
Kaninda Musumbu
interpretation is a general methodology for building static analyses of programs. It was introduced by P. and R. Cousot in \cite{cc}. We present, in this paper, an application of a…