Ali Salem

According to our database, Ali Salem authored at least 10 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Deep learning and computer vision in plant disease detection: a comprehensive review of techniques, models, and trends in precision agriculture.

Abhishek Upadhyay, Narendra Singh Chandel, Krishna Pratap Singh, Subir Kumar Chakraborty, Balaji Murhari Nandede, Mohit Kumar, A. Subeesh, Konga Upendar, Ali Salem, Ahmed Elbeltagi

Artif. Intell. Rev., March, 2025

2024

Machine Learning Models for Early Prediction of COVID-19 Infections Based on Clinical Signs.

Boulbaba Ben Ammar, Ali Salem, Mouna Ben Said, Mohamed Ben Aouicha

SN Comput. Sci., January, 2024

AUTOVI: Empowering Effective Tracing and Visualizations with AI.

Farida AbouWard, Ali Salem, Nada Sharaf

Proceedings of the 28th International Conference Information Visualisation, 2024

2022

Spatial-Temporal Water Balance Components Estimation Using Integrated GIS-Based Wetspass-M Model in Moulouya Basin, Morocco.

Mustapha Amiri, Ali Salem, Mohamed Ghzal

ISPRS Int. J. Geo Inf., 2022

2016

Data warehousing design: Automatic verification of conformity and summarizability constraints.

Ali Salem, Hanêne Ben-Abdallah

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015

The design of valid multidimensional star schemas assisted by repair solutions.

Ali Salem, Hanêne Ben-Abdallah

Vietnam. J. Comput. Sci., 2015

2012

Verification of Security Coherence in Data Warehouse Designs.

Ali Salem, Salah Triki, Hanêne Ben-Abdallah, Nouria Harbi, Omar Boussaid

Proceedings of the Trust, Privacy and Security in Digital Business, 2012

2011

Formal validation of the security properties of AMT's three-way handshake.

Ali Salem, J. William Atwood

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

2010

Validation formelle de schéma multidimensionnel vis à vis de sa source.

Ali Salem, Faiza Ghozzi Jedidi, Hanêne Ben-Abdallah

Proceedings of the Actes des 6èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, 2010

2008

Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept.

Ali Salem, Faiza Ghozzi, Hanêne Ben-Abdallah

Proceedings of the ICEIS 2008, 2008