The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kaninda Musumbu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kaninda Musumbu
    Failure diagnosis of declarative programs based on abstract interpretation (extended abstract). [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2000, pp:431-434 [Conf]
  2. Kaninda Musumbu
    Automatic Cheching of the Security Systems' Topologies. [Citation Graph (0, 0)][DBLP]
    IASSE, 2005, pp:157-162 [Conf]
  3. Mouhamed Diouf, Kaninda Musumbu, Sofian Maabout
    Standard Business Rules Language: Why and How? [Citation Graph (0, 0)][DBLP]
    IC-AI, 2006, pp:414-419 [Conf]
  4. Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck
    A Generic Abstract Interpretation Algorithm and its Complexity Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:64-78 [Conf]
  5. Kaninda Musumbu
    Simulating Security Systems Based on Logigrams. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:498-499 [Conf]
  6. Kaninda Musumbu
    Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques? [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:231-241 [Conf]
  7. Kaninda Musumbu
    Simulator Design for Security Systems. [Citation Graph (0, 0)][DBLP]
    MSV/AMCS, 2004, pp:104-110 [Conf]
  8. Marc-Michel Corsini, Kaninda Musumbu
    Failure Analysis Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:295-309 [Conf]
  9. Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
    Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:75-91 [Conf]
  10. Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
    The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:51-59 [Conf]
  11. Kaninda Musumbu
    Interprétation abstraite au moyen de grammaires attribuées. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:144-150 [Conf]
  12. Marc-Michel Corsini, Kaninda Musumbu
    Type Inference in Prolog: A New Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:23-38 [Journal]
  13. Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
    Génération automatique de règles métier par enrichissement sémantique de modèles. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2007, pp:453-468 [Conf]
  14. Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu
    Merging Model Driven Architecture and Semantic Web for Business Rules Generation. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:118-132 [Conf]

  15. Semantics Enrichment in Model Driven Architecture: automatic business rules generation EEE '07. [Citation Graph (, )][DBLP]


  16. A New Operational Semantics for Prolog. [Citation Graph (, )][DBLP]


  17. Merging and Aligning Business Rules Sets Using Semantic Web Technics. [Citation Graph (, )][DBLP]


  18. Methodological Aspects of Semantics Enrichment in Model Driven Architecture. [Citation Graph (, )][DBLP]


  19. Abstraction and Refinement in Static Model-Checking [Citation Graph (, )][DBLP]


  20. The Semantics of Kalah Game [Citation Graph (, )][DBLP]


Search in 0.530secs, Finished in 0.531secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002