Kaninda Musumbu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1991–2008
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ICIW | Methodological Aspects of Semantics Enrichment in Model Driven Architecture. | Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout |
| 2003 | ICLP | Simulating Security Systems Based on Logigrams. | Kaninda Musumbu |
| 2000 | CATA | Failure diagnosis of declarative programs based on abstract interpretation (extended abstract). | Kaninda Musumbu |
| 1992 | SAS | The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. | Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy |
| 1991 | ICLP | A Generic Abstract Interpretation Algorithm and its Complexity Analysis. | Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck |
| 1991 | SAS | Interprtation abstraite au moyen de grammaires attribues. | Kaninda Musumbu |