Bilal Kanso
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Hybridised ant colony optimisation for the multi-depot multi-compartment capacitated arc routing problem International Journal of Operational Research | 2025-12-16 | Paper |
| Open capacitated ARC routing problem by hybridized ant colony algorithm RAIRO - Operations Research | 2021-07-22 | Paper |
| A logic for complex computing systems: properties preservation along integration and abstraction Scientific Annals of Computer Science | 2019-02-08 | Paper |
| A compositional automata-based semantics and preserving transformation rules for testing property patterns Formal Aspects of Computing | 2015-09-03 | Paper |
| A formal abstract framework for modelling and testing complex software systems Theoretical Computer Science | 2012-10-11 | Paper |
| Testing of abstract components Lecture Notes in Computer Science | 2010-08-31 | Paper |
Research outcomes over time
This page was built for person: Bilal Kanso
