Do-Care: A dynamic ontology reasoning based healthcare monitoring system HB Elhadj, F Sallabi, A Henaien, L Chaari, K Shuaib, M Al Thawadi Future Generation Computer Systems 118, 417-431, 2021 | 29 | 2021 |
Performing implicit induction reasoning with certifying proof environments A Henaien, S Stratulat arXiv preprint arXiv:1307.8214, 2013 | 7 | 2013 |
Combined machine learning and semantic modelling for situation awareness and healthcare decision support A Henaien, H Ben Elhadj, L Chaari Fourati The Impact of Digital Technologies on Public Health in Developed and …, 2020 | 6 | 2020 |
An ontology based authentication framework for healthcare monitoring A Henaien, H BelHadj Digital Health in Focus of Predictive, Preventive and Personalised Medicine …, 2020 | 2 | 2020 |
A sustainable smart IoT-based solid waste management system A Henaien, HB Elhadj, LC Fourati Future Generation Computer Systems, 2024 | | 2024 |
Certification des raisonnements formels portant sur des systèmes d'information critiques A Henaien Université de Lorraine, 2015 | | 2015 |
Certification des raisonnements formels portant sur des systèmes d'information critiques.(Certifying formal reasoning about critical information systems). A Henaien University of Lorraine, Nancy, France, 2015 | | 2015 |
Project-Team PAREO NG Est | | |