BENLHACHMI Khalid
Email : khalid.benlhachmi@uit.ac.ma
Établissement : Faculté des sciences
Laboratoire : Recherche en Informatique
← Retour au laboratoire
📚 Publications Scopus — Total : 17
| Titre | Année | 🔗 Voir |
|---|---|---|
| The New Era of Blockchain Consensus: From Byzantine to Redbelly and Beyond | 2026 | 🔗 Voir |
| Intelligent Tutoring Systems: A Bibliometric Analysis | 2026 | 🔗 Voir |
| Infinitely many solutions for an elliptic equation in divergent form with critical Hardy–Sobolev exponent | 2025 | 🔗 Voir |
| Human-Computer Interaction: A Bibliometric Analysis | 2025 | 🔗 Voir |
| Unveiling Blockchain Technology: A Comprehensive Exploration of Types and Variants | 2025 | 🔗 Voir |
| The Uneven Journey of AI in Software Testing: A Maturity Model for Industry Adoption | 2025 | 🔗 Voir |
| Multiplicity of Positive Solutions for a Fractional Elliptic System With Strongly Coupled Critical Terms | 2024 | 🔗 Voir |
| Gesture Recognition and Computer Vision:A Bibliometric Analysis | 2023 | 🔗 Voir |
| ADJACENCY MATRIX, GRAPH THEORY AND EQUIVALENCE PARTITIONING FOR MODELLING CONFORMITY TESTING OF OBJECT ORIENTED PROGRAMS | 2022 | 🔗 Voir |
| AN OPTIMAL APPROACH of CONFORMITY ASSESSMENT and ROBUSTNESS TESTING for OBJECT ORIENTED CONSTRAINTS | 2021 | 🔗 Voir |
| An optimal model of conformity constraints of inheritance for an object oriented specification | 2017 | 🔗 Voir |
| Conformity testing by optimal constraints for object oriented programs | 2016 | 🔗 Voir |
| Invalid input data and conformity testing for an object-oriented specification | 2016 | 🔗 Voir |
| A formal model of robustness testing for an object-oriented specification | 2016 | 🔗 Voir |
| A formal model of conformity testing of inheritance for object oriented constraint programming | 2013 | 🔗 Voir |
| A formal model of similarity testing for inheritance in object-oriented software | 2012 | 🔗 Voir |
| Similarity testing by proof and analysis of partition for object oriented specifications | 2012 | 🔗 Voir |