Ali Salem

Orcid: 0000-0001-6176-8345

According to our database1, Ali Salem authored at least 8 papers between 2008 and 2024.

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

2024
Machine Learning Models for Early Prediction of COVID-19 Infections Based on Clinical Signs.
SN Comput. Sci., January, 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...