A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP. - Aida Boudhaouia; Belhassen Mazigh; Ezzine Missaoui (AICCSA, 2017)

Analyse, classification et prédiction de consommation d'eau et d'électricité par des techniques de machine learning. (Analysis, classification and prediction of water and electricity consumption by machine learning techniques). - Aida Boudhaouia (2022)