Ali Salem

Orcid: 0000-0001-6176-8345

According to our database1, Ali Salem authored at least 12 papers between 2008 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Photograph-based machine learning approach for automated detection and differentiation of aerial blight disease in soybean crops.
J. Big Data, December, 2025

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

Trade-off between cost and performance of earth observation data in olive trees health assessment: Digital crop mapping approach using machine learning algorithms.
Int. J. Appl. Earth Obs. Geoinformation, 2025

2024
Machine Learning Models for Early Prediction of COVID-19 Infections Based on Clinical Signs.
SN Comput. Sci., January, 2024

AUTOVI: Empowering Effective Tracing and Visualizations with AI.
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.
ISPRS Int. J. Geo Inf., 2022

2016
Data warehousing design: Automatic verification of conformity and summarizability constraints.
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.
Vietnam. J. Comput. Sci., 2015

2012
Verification of Security Coherence in Data Warehouse Designs.
Proceedings of the Trust, Privacy and Security in Digital Business, 2012

2011
Formal validation of the security properties of AMT's three-way handshake.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

2010
Validation formelle de schéma multidimensionnel vis à vis de sa source.
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.
Proceedings of the ICEIS 2008, 2008


  Loading...