Ali Salem

According to our database, Ali Salem authored at least 9 papers between 2008 and 2024.

Collaborative distances:

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

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