Bilal Kanso
Bilal Kanso publishes mostly in Industrial and Manufacturing Engineering, Software and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Vehicle Routing Optimization Methods.
- World rank
- #4,960,107 of 7,710,434 ranked researchers
- Rank in France
- #209,014 of 324,115
- Works
- 29
- Citations
- 148
- Citations per work
- 5.1
What does Bilal Kanso research?
Bilal Kanso's work is mostly in Computer Science (58%), Engineering (32%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences2689.3%
- Computer Science1757.6%
- Engineering931.7%
- Everything else310.7%
- 1Industrial and Manufacturing Engineering28% of their works
- 2Software25% of their works
- 3Computational Theory and Mathematics18% of their works
- 4Artificial Intelligence13% of their works
- 5Control and Systems Engineering4% of their works
- 6Computer Networks and Communications2% of their works
Research topics
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Vehicle Routing Optimization Methods
- Model-Driven Software Engineering Techniques
- Advanced Manufacturing and Logistics Optimization
- Optimization and Packing Problems
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
Which keywords describe Bilal Kanso's research?
The keywords of their largest research topics: Model Checking, Heuristic Algorithms, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Tabu Search and Vehicle Routing Problem.
- Static Analysis
- Formal Verification
- Warehouse Design
- Order Picking
- Model-Driven Engineering
- Vehicle Routing Problem
- Software Fault Localization
- Symbolic Model Checker
- Heuristic Algorithms
- Model Checking
- Satisfiability Modulo Theories
- Automated Testing
- Tabu Search
- Domain-Specific Languages
- Cutting
- Packing
- Autonomic Computing
- Self-Adaptive Systems
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking172 topics
- Heuristic Algorithms152 topics
- Satisfiability Modulo Theories131 topic
- Symbolic Model Checker131 topic
- Automated Testing121 topic
- Software Fault Localization121 topic
- Tabu Search91 topic
- Vehicle Routing Problem91 topic
- Domain-Specific Languages71 topic
- Model-Driven Engineering71 topic
- Cutting61 topic
- Order Picking61 topic
- Packing61 topic
- Warehouse Design61 topic
- Autonomic Computing41 topic
- Formal Verification41 topic
- Self-Adaptive Systems41 topic
- Static Analysis41 topic
Where does Bilal Kanso work?
Bilal Kanso's main affiliation in the publication record is Supélec, France.
How many publications and citations does Bilal Kanso have?
OpenAlex counts 29 works and 148 citations for Bilal Kanso, an h-index of 7, ranking #4,960,107 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Bilal Kanso. Posts are plain text and can be reported.