Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept. - Ali Salem; Faiza Ghozzi; Hanêne Ben-Abdallah (ICEIS (1), 2008)

Validation formelle de schéma multidimensionnel vis à vis de sa source. - Ali Salem; Faiza Ghozzi Jedidi; Hanêne Ben-Abdallah (EDA, 2010)

Formal validation of the security properties of AMT's three-way handshake. - Ali Salem; J. William Atwood (LCN, 2011)

Verification of Security Coherence in Data Warehouse Designs. - Ali Salem; Salah Triki; Hanêne Ben-Abdallah; Nouria Harbi; Omar Boussaid (TrustBus, 2012)

The design of valid multidimensional star schemas assisted by repair solutions. - Ali Salem; Hanêne Ben-Abdallah (Vietnam. J. Comput. Sci., 2015)

Data warehousing design: Automatic verification of conformity and summarizability constraints. - Ali Salem; Hanêne Ben-Abdallah (AICCSA, 2016)

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)

AUTOVI: Empowering Effective Tracing and Visualizations with AI. - Farida AbouWard; Ali Salem; Nada Sharaf (IV, 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., 2024)

Trade-off between cost and performance of earth observation data in olive trees health assessment: Digital crop mapping approach using machine learning algorithms. - Yassine Bouslihim; Abdelkrim Bouasria; Aicha Rochdi; El Bachir El Haissen; Dénes Lóczy; Zoltan Orban; Ali Salem (Int. J. Appl. Earth Obs. Geoinformation, 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., 2025)

Photograph-based machine learning approach for automated detection and differentiation of aerial blight disease in soybean crops. - Mukta Nainwal; Anurag Satpathi; Saqib Shamsi; Ali Salem; Ajeet Singh Nain; Dinesh Kumar Vishwakarma; Ahmed Elbeltagi; Salah El-Hendawy; Mohamed A. Mattar (J. Big Data, 2025)