Theorem Proving by Chain Resolution. - Patrick Dehornoy; Abderrahim Marzouk (Theor. Comput. Sci., 1998)

Towards a MDE Approach for the Establishment of a Contract Service Level Monitoring by Third Party in the Cloud Computing. - Adil Maarouf; Abderrahim Marzouk; Abdelkrim Haqiq; Mahmoud El Hamlaoui (SITIS, 2014)

A novel penalty model for managing and applying penalties in Cloud Computing. - Adil Maarouf; Bouchra El Qacimy; Abderrahim Marzouk; Abdelkrim Haqiq (AICCSA, 2015)

Practical modeling of the SLA life cycle in Cloud Computing. - Adil Maarouf; Abderrahim Marzouk; Abdelkrim Haqiq (ISDA, 2015)

A review of SLA specification languages in the cloud computing. - Adil Maarouf; Abderrahim Marzouk; Abdelkrim Haqiq (SITA, 2015)

MDE Approach for the Establishment of a Service Level Agreements Monitoring by Trusted Third Party in the Cloud Computing. - Adil Maarouf; Mahmoud El Hamlaoui; Abderrahim Marzouk; Abdelkrim Haqiq (Int. J. Grid High Perform. Comput., 2015)

Towards Classification of Web ontologies using the Horizontal and Vertical Segmentation. - Noreddine Gherabi; Redouane Nejjahi; Abderrahim Marzouk (CoRR, 2017)

An enhanced method to compute the similarity between concepts of ontology. - Noreddine Gherabi; Abdelhadi Daoui; Abderrahim Marzouk (CoRR, 2017)

Defining and Evaluating A Novel Penalty Model for Managing Violations in the Cloud Computing. - Adil Maarouf; Bouchra El Qacimy; Abderrahim Marzouk; Abdelkrim Haqiq (Int. J. Grid High Perform. Comput., 2017)

Towards semantic matching between ontology concepts. - Abdelhadi Daoui; Noreddine Gherabi; Abderrahim Marzouk (ICECOCS, 2018)

An Autonomic SLA Monitoring Framework Managed by Trusted Third Party in the Cloud Computing. - Adil Maarouf; Youssef Mifrah; Abderrahim Marzouk; Abdelkrim Haqiq (Int. J. Cloud Appl. Comput., 2018)