Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kaninda Musumbu
@inproceedings{DBLP:conf/asse/LengeMWS22,
author = {Jonathan Lenge and
Kaninda Musumbu and
Geisla Wanuku and
Pascal Sungu},
title = {Blockchain Technology as {A} Guarantee of Transparency in The Supply
Chain of Commercial Enterprises},
booktitle = {{ASSE} 2022: 3rd Asia Service Sciences and Software Engineering Conference,
Macao, February 24 - 26, 2022},
pages = {1--7},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3523181.3523182},
doi = {10.1145/3523181.3523182},
timestamp = {Wed, 20 Apr 2022 19:32:12 +0200},
biburl = {https://dblp.org/rec/conf/asse/LengeMWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Musumbu14,
author = {Kaninda Musumbu},
title = {Algorithms Visualization Tool for Students and Lectures in Computer
Science},
journal = {CoRR},
volume = {abs/1403.4423},
year = {2014},
url = {http://arxiv.org/abs/1403.4423},
eprinttype = {arXiv},
eprint = {1403.4423},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Musumbu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/Musumbu11,
author = {Kaninda Musumbu},
editor = {Bhanu Prasad and
Pawan Lingras and
Ramakant Nevatia},
title = {Optimization Strategy apply to an Attribute Algorithm for the Abstract
Interpretation},
booktitle = {Proceedings of the 5th Indian International Conference on Artificial
Intelligence, {IICAI} 2011, Tumkur, Karnataka State, India, December
14-16, 2011},
pages = {618--631},
publisher = {{IICAI}},
year = {2011},
timestamp = {Fri, 15 Dec 2023 18:26:01 +0100},
biburl = {https://dblp.org/rec/conf/iicai/Musumbu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/Musumbu09,
author = {Kaninda Musumbu},
editor = {Bhanu Prasad and
Pawan Lingras and
Ashwin Ram},
title = {A New Operational Semantics for Prolog},
booktitle = {Proceedings of the 4th Indian International Conference on Artificial
Intelligence, {IICAI} 2009, Tumkur, Karnataka, India, December 16-18,
2009},
pages = {251--260},
publisher = {{IICAI}},
year = {2009},
timestamp = {Fri, 15 Dec 2023 18:26:01 +0100},
biburl = {https://dblp.org/rec/conf/iicai/Musumbu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1871,
author = {Kaninda Musumbu},
title = {Abstraction and Refinement in Static Model-Checking},
journal = {CoRR},
volume = {abs/0902.1871},
year = {2009},
url = {http://arxiv.org/abs/0902.1871},
eprinttype = {arXiv},
eprint = {0902.1871},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-1871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2871,
author = {Kaninda Musumbu},
title = {The Semantics of Kalah Game},
journal = {CoRR},
volume = {abs/0902.2871},
year = {2009},
url = {http://arxiv.org/abs/0902.2871},
eprinttype = {arXiv},
eprint = {0902.2871},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/DioufMM08,
author = {Mouhamed Diouf and
Kaninda Musumbu and
Sofian Maabout},
editor = {Abdelhamid Mellouk and
Jun Bi and
Guadalupe Ortiz and
Dickson K. W. Chiu and
Manuela Popescu},
title = {Methodological Aspects of Semantics Enrichment in Model Driven Architecture},
booktitle = {Third International Conference on Internet and Web Applications and
Services, {ICIW} 2008, 8-13 June 2008, Athens, Greece},
pages = {205--210},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICIW.2008.34},
doi = {10.1109/ICIW.2008.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciw/DioufMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaEEE/DioufMM07,
author = {Mouhamed Diouf and
Kaninda Musumbu and
Sofian Maabout},
editor = {Hamid R. Arabnia and
Azita Bahrami},
title = {Semantics Enrichment in Model Driven Architecture: automatic business
rules generation {EEE} '07},
booktitle = {Proceedings of the 2007 International Conference on E-Learning, E-Business,
Enterprise Information Systems, and E-Government, {EEE} 2007, June
25-28, 2007, Las Vegas, Nevada, {USA}},
pages = {107--113},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Tue, 10 Feb 2009 09:58:47 +0100},
biburl = {https://dblp.org/rec/conf/csreaEEE/DioufMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/DioufMM07,
author = {Mouhamed Diouf and
Sofian Maabout and
Kaninda Musumbu},
title = {G{\'{e}}n{\'{e}}ration automatique de r{\`{e}}gles m{\'{e}}tier
par enrichissement s{\'{e}}mantique de mod{\`{e}}les},
booktitle = {Actes du XXV{\`{e}}me Congr{\`{e}}s INFORSID, Perros-Guirec, France,
22 au 25 mai 2007},
pages = {453--468},
year = {2007},
timestamp = {Tue, 10 Feb 2009 14:34:18 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/DioufMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DioufMM07,
author = {Mouhamed Diouf and
Sofian Maabout and
Kaninda Musumbu},
editor = {Massimo Marchiori and
Jeff Z. Pan and
Christian de Sainte Marie},
title = {Merging Model Driven Architecture and Semantic Web for Business Rules
Generation},
booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR}
2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4524},
pages = {118--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72982-2\_9},
doi = {10.1007/978-3-540-72982-2\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/DioufMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swws/DioufMM07,
author = {Mouhamed Diouf and
Kaninda Musumbu and
Sofian Musumbu},
editor = {Hamid R. Arabnia},
title = {Merging and Aligning Business Rules Sets Using Semantic Web Technics},
booktitle = {Proceedings of the 2007 International Conference on Semantic Web {\&}
Web Services, {SWWS} 2007, June 25-28, 2007, Las Vegas, Nevada, {USA}},
pages = {28--36},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Wed, 11 Feb 2009 13:14:55 +0100},
biburl = {https://dblp.org/rec/conf/swws/DioufMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/DioufMM06,
author = {Mouhamed Diouf and
Kaninda Musumbu and
Sofian Maabout},
editor = {Hamid R. Arabnia},
title = {Standard Business Rules Language: Why and How?},
booktitle = {Proceedings of the 2006 International Conference on Artificial Intelligence,
{ICAI} 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2},
pages = {414--419},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Fri, 06 Feb 2009 14:11:00 +0100},
biburl = {https://dblp.org/rec/conf/icai/DioufMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasse/Musumbu05,
author = {Kaninda Musumbu},
editor = {Richard T. Hurley and
Wenying Feng},
title = {Automatic Cheching of the Security Systems' Topologies},
booktitle = {Proceedings of the {ISCA} 14th International Conference on Intelligent
and Adaptive Systems and Software Engineering, July 20-22, 2005, Novotel
Toronto Centre, Toronto, Canada},
pages = {157--162},
publisher = {{ISCA}},
year = {2005},
timestamp = {Mon, 28 Nov 2022 08:32:15 +0100},
biburl = {https://dblp.org/rec/conf/iasse/Musumbu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msv/Musumbu04,
author = {Kaninda Musumbu},
editor = {Hamid R. Arabnia and
Rose Joshua and
Iyad A. Ajwa and
George A. Gravvanis},
title = {Simulator Design for Security Systems},
booktitle = {Proceedings of the International Conference on Modeling, Simulation
{\&} Visualization Methods, {MSV} '04 {\&} Proceedings of
the International Conference on Algorithmic Mathematics {\&} Computer
Science, {AMCS} '04, June 21-24, 2004, Las Vegas, Nevada, {USA}},
pages = {104--110},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Wed, 24 Nov 2004 15:25:45 +0100},
biburl = {https://dblp.org/rec/conf/msv/Musumbu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Musumbu03,
author = {Kaninda Musumbu},
editor = {Catuscia Palamidessi},
title = {Simulating Security Systems Based on Logigrams},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {498--499},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_41},
doi = {10.1007/978-3-540-24599-5\_41},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Musumbu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cata/Musumbu00,
author = {Kaninda Musumbu},
editor = {Sung Y. Shin},
title = {Failure diagnosis of declarative programs based on abstract interpretation
(extended abstract)},
booktitle = {Proceedings of the {ISCA} 15th International Conference Computers
and Their Applications, March 29-31, 2000, New Orleans, Louisiana,
{USA}},
pages = {431--434},
publisher = {{ISCA}},
year = {2000},
timestamp = {Mon, 09 Aug 2021 16:27:20 +0200},
biburl = {https://dblp.org/rec/conf/cata/Musumbu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CorsiniM93,
author = {Marc{-}Michel Corsini and
Kaninda Musumbu},
title = {Type Inference in Prolog: {A} New Approach},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {23--38},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90338-T},
doi = {10.1016/0304-3975(93)90338-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CorsiniM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Musumbu93,
author = {Kaninda Musumbu},
editor = {Philippe {\'{E}}z{\'{e}}quel},
title = {Mod{\`{e}}les d'interpr{\'{e}}tation abstraite de Prolog: quelles
structures math{\'{e}}matiques?},
booktitle = {2{\`{e}}mes Journ{\'{e}}es Francophones de Programmation Logique
{(JFPL} 93), Nimes, France},
pages = {231--241},
publisher = {{TEKNEA}},
year = {1993},
timestamp = {Mon, 07 Jun 2004 11:07:19 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Musumbu93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CorsiniMRC93,
author = {Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy and
Baudouin Le Charlier},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {Efficient Bottom-up Abstract Interpretation of Prolog by Means of
Constraint Solving over Symbolic Finite Domains},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {75--91},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_72},
doi = {10.1007/3-540-57186-8\_72},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CorsiniMRC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CorsiniMR92,
author = {Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {51--59},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/CorsiniMR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1992,
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CharlierMH91,
author = {Baudouin Le Charlier and
Kaninda Musumbu and
Pascal Van Hentenryck},
editor = {Koichi Furukawa},
title = {A Generic Abstract Interpretation Algorithm and its Complexity Analysis},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {64--78},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CharlierMH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/phoenix/CorsiniM91,
author = {Marc{-}Michel Corsini and
Kaninda Musumbu},
editor = {John Darlington and
Roland Dietrich},
title = {Failure Analysis Based on Abstract Interpretation},
booktitle = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
Workshop on Declarative Programming, Sasbachwalden, Black Forest,
Germany, 18-22 November 1991},
series = {Workshops in Computing},
pages = {295--309},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3794-8\_19},
doi = {10.1007/978-1-4471-3794-8\_19},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/phoenix/CorsiniM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Musumbu91,
author = {Kaninda Musumbu},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Interpr{\'{e}}tation abstraite au moyen de grammaires attribu{\'{e}}es},
booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
pages = {144--150},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/sas/Musumbu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1991,
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Thu, 12 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/be/Musumbu90,
author = {Kaninda Musumbu},
title = {Interpr{\'{e}}tation abstraite des programmes Prolog},
school = {University of Namur, Belgium},
year = {1990},
url = {https://researchportal.unamur.be/en/studentTheses/83ae72d9-9c38-4eef-a8c5-a49c7002a700},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/be/Musumbu90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
