Ali Salem

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 3

Top Topics

Spatial Temporal

Learning Models

Decision Support

Top Venues

SN Comput. Sci.

ISPRS Int. J. Geo Inf.

Vietnam. J. Comput. Sci.

Publications

Boulbaba Ben Ammar, Ali Salem, Mouna Ben Said, Mohamed Ben Aouicha
Machine Learning Models for Early Prediction of COVID-19 Infections Based on Clinical Signs. SN Comput. Sci. 5 (1) (2024)
Mustapha Amiri, Ali Salem, Mohamed Ghzal
Spatial-Temporal Water Balance Components Estimation Using Integrated GIS-Based Wetspass-M Model in Moulouya Basin, Morocco. ISPRS Int. J. Geo Inf. 11 (2) (2022)
Ali Salem, Hanêne Ben-Abdallah
Data warehousing design: Automatic verification of conformity and summarizability constraints. AICCSA (2016)
Ali Salem, Hanêne Ben-Abdallah
The design of valid multidimensional star schemas assisted by repair solutions. Vietnam. J. Comput. Sci. 2 (3) (2015)
Ali Salem, Salah Triki, Hanêne Ben-Abdallah, Nouria Harbi, Omar Boussaid
Verification of Security Coherence in Data Warehouse Designs. TrustBus (2012)
Ali Salem, J. William Atwood
Formal validation of the security properties of AMT's three-way handshake. LCN (2011)
Ali Salem, Faiza Ghozzi Jedidi, Hanêne Ben-Abdallah
Validation formelle de schéma multidimensionnel vis à vis de sa source. EDA (2010)
Ali Salem, Faiza Ghozzi, Hanêne Ben-Abdallah
Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept. ICEIS (1) (2008)