Department
Informatics Department
Research Interests
Contact Info
University of M'Sila, Algeria
On the Web:
Recent Publications
A Simulation-Based Behavioral Clustering Method for Crowd Dynamics Evacuation Analysis
Citation
M. BOURAHLA Mustapha, (2025-08-31), "A Simulation-Based Behavioral Clustering Method for Crowd Dynamics Evacuation Analysis", [national] HAUT , Open Access
A Simulation-Based Behavioral Clustering Method for Crowd Dynamics Evacuation Analysis
Citation
M. BOURAHLA Mustapha, (2025-08-30), "A Simulation-Based Behavioral Clustering Method for Crowd Dynamics Evacuation Analysis", [national] Haut , Haut
Ontology and Machine Learning Based SQL Query Rewriting and Optimization.
Citation
M. BOURAHLA Mustapha, (2025-06-30), "Ontology and Machine Learning Based SQL Query Rewriting and Optimization.", [national] Journal of Information Systems Engineering and Management , IADT
A Simulation-Based Behavioral Clustering Method for Crowd Evacuation Analysis
Citation
M. BOURAHLA Mustapha, (2025-01-01), "A Simulation-Based Behavioral Clustering Method for Crowd Evacuation Analysis", [national] YMER , University of Stockholm
Quantum Convolution for Convolutional Neural Networks
Citation
M. BOURAHLA Mustapha, (2024-06-01), "Quantum Convolution for Convolutional Neural Networks", [national] ISEM, Springer Nature , Springer
Agent-Based Simulation of Crowd Evacuation Through Complex Spaces
Citation
M. BOURAHLA Mustapha, (2024-02-01), "Agent-Based Simulation of Crowd Evacuation Through Complex Spaces", [national] Ingénierie des Systèmes d’Information , International Information and Engineering Technology Association (IIETA)
Quantum convolution for convolutional neural network
Citation
M. BOURAHLA Mustapha, (2023-09-24), "Quantum convolution for convolutional neural network", [international] International Symposium on Quantum Sciences: Applications and Challenges QSAC'2023 , Alger
Sewer Systems Control using Internet of Things and eXplainable Artificial Intelligence
Citation
M. BOURAHLA Mustapha, (2023-07-15), "Sewer Systems Control using Internet of Things and eXplainable Artificial Intelligence", [international] Communications in Computer and Information Science , Springer , Alger
Approach for the development of mobile applications based on migrant objects
Citation
M. BOURAHLA Mustapha, (2022), "Approach for the development of mobile applications based on migrant objects", [national] Comput. Sci. J. Moldova , Comput. Sci. J. Moldova
Formalization of Ontology Conceptualizations Using Model Transformation
Citation
M. BOURAHLA Mustapha, (2022), "Formalization of Ontology Conceptualizations Using Model Transformation", [national] Int. J. Inf. Syst. Model. Des. , IGI Global
Monitor city-wide sewage systems using the Internet of Things and eXplainable Artificial Intelligence
Citation
M. BOURAHLA Mustapha, (2022), "Monitor city-wide sewage systems using the Internet of Things and eXplainable Artificial Intelligence", [international] WIIS , Moldova
Using Rough Set Theory for Reasoning on Vague Ontologies
Citation
M. BOURAHLA Mustapha, (2022), "Using Rough Set Theory for Reasoning on Vague Ontologies", [national] IJISA , IJISA
Stability-based Dynamic Bayesian Network method for dynamic data mining
Citation
M. BOURAHLA Mustapha, (2019), "Stability-based Dynamic Bayesian Network method for dynamic data mining", [national] Eng. Appl. of AI , Elsevier
Stability-based model for evacuation system using agent-based social simulation and Monte Carlo method
Citation
M. BOURAHLA Mustapha, (2019), "Stability-based model for evacuation system using agent-based social simulation and Monte Carlo method", [national] IJSPM , Inderscience
Classifying Non-elementary Movements in Vietnamese Mõ Dances
Citation
M. BOURAHLA Mustapha, (2019), "Classifying Non-elementary Movements in Vietnamese Mõ Dances", [international] HCI , Florida USA
Description and reasoning for vague ontologies using logic programming
Citation
M. BOURAHLA Mustapha, (2018), "Description and reasoning for vague ontologies using logic programming", [national] IET Software , IET
LTL Transformation Modulo Positive Transitions
Citation
M. BOURAHLA Mustapha, (2017), "LTL Transformation Modulo Positive Transitions", [national] IET Computers & Digital Techniques , IET
Repairing errors in probabilistic databases models using probabilistic abduction reasoning
Citation
M. BOURAHLA Mustapha, (2017), "Repairing errors in probabilistic databases models using probabilistic abduction reasoning", [national] International Journal of Intelligent Information and Database Systems , Inderscience
A model transformation approach for specifying real-time systems and its verification using RT-maude
Citation
M. BOURAHLA Mustapha, (2017), "A model transformation approach for specifying real-time systems and its verification using RT-maude", [national] International Journal of Information Technology and Web Engineering , IGI Global
Reasoning with Vague Concepts in Description Logics
Citation
M. BOURAHLA Mustapha, (2017), "Reasoning with Vague Concepts in Description Logics", [national] International Journal of Fuzzy System Applications , IGI Global
Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair
Citation
M. BOURAHLA Mustapha, (2017), "Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair", [national] KI - Künstliche Intelligenz, German Journal on Artificial Intelligence , Springer
Fuzzy Reasoning in Description Logic
Citation
M. BOURAHLA Mustapha, (2017), "Fuzzy Reasoning in Description Logic", [national] International Journal of Computer Science and Network Security , International Journal of Computer Science and Network Security
Verification of Pipelined Microprocessors using Maude LTL Model Checker
Citation
M. BOURAHLA Mustapha, (2016), "Verification of Pipelined Microprocessors using Maude LTL Model Checker", [national] International Journal of Computer Science and Information Security , International Journal of Computer Science and Information Security
Debugging of probabilistic systems using structural equation modelling
Citation
M. BOURAHLA Mustapha, (2016), "Debugging of probabilistic systems using structural equation modelling", [national] Int. J. Critical Computer-Based Systems , Inderscience
The Reasoning in the Description Logic with Vague Concepts
Citation
M. BOURAHLA Mustapha, (2016), "The Reasoning in the Description Logic with Vague Concepts", [national] International Journal of Computer Science and Information Security , International Journal of Computer Science and Information Security
Reasoning over decomposing fuzzy description logic
Citation
M. BOURAHLA Mustapha, (2016), "Reasoning over decomposing fuzzy description logic", [national] Journal of Innovation in Digital Ecosystems , Elsevier
Towards an Ontology for UML State Machines
Citation
M. BOURAHLA Mustapha, (2014), "Towards an Ontology for UML State Machines", [national] Lecture Notes on Software Engineering , LNSE
Generating Diagnoses for Probabilistic Model Checking Using Causality
Citation
M. BOURAHLA Mustapha, (2013), "Generating Diagnoses for Probabilistic Model Checking Using Causality", [national] CIT , CIT
Decision Support Technique for Supply Chain Management
Citation
M. BOURAHLA Mustapha, (2013), "Decision Support Technique for Supply Chain Management", [national] CIT , CIT
Medical treatment analysis using probabilistic model checking
Citation
M. BOURAHLA Mustapha, (2013), "Medical treatment analysis using probabilistic model checking", [national] International Journal of Biomedical Engineering and Technology , Inderscience
Automatic Generation of OWL Ontologies from UML Class Diagrams Based on MetaModelling and Graph Grammars
Citation
M. BOURAHLA Mustapha, (2012), "Automatic Generation of OWL Ontologies from UML Class Diagrams Based on MetaModelling and Graph Grammars", [national] Engineering and Technology International Journal of Computer , World Academy of Science
Verification of Complex Real-Time Systems using Rewriting Logic
Citation
M. BOURAHLA Mustapha, (2009), "Verification of Complex Real-Time Systems using Rewriting Logic", [national] JCIT , CIT
Generating Exact Approximations to Model Check Concurrent System
Citation
M. BOURAHLA Mustapha, (2008), "Generating Exact Approximations to Model Check Concurrent System", [national] IAJIT , IAJIT