A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. - Mounira Belmesk; Zineb Habbas; Philippe Jorrand (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

Une algèbre de processus pour la programmation logique parallèle. - Mounira Belmesk; Zineb Habbas (JFPL, 1992)

Une algèbre de processus : pour un calcul basé sur la déduction. (A process algebra for a deduction based computation). - Zineb Habbas (1992)

A Compete Modal Proof for HAL: the Herbrand Agent Language. - Zineb Habbas (Theor. Comput. Sci., 1993)

N-Ary Consistencies and Constraint-Based Backtracking. - Pierre-Paul Mérel; Zineb Habbas; Francine Herrmann; Daniel Singer (CP, 1996)

Load Balancing strategies for Parallel Forward Search Algorithm with Conflict Based Backjumping. - Zineb Habbas; Francine Herrmann; Pierre-Paul Mérel; Daniel Singer (ICPADS, 1997)

A Methodological Approach to Implement CSP on FPGA. - Zineb Habbas; Francine Herrmann; Daniel Singer; Michaël Krajecki (IEEE International Workshop on Rapid System Prototyping, 1999)

The Langford's Problem: A Challenge for Parallel Resolution of CSP. - Zineb Habbas; Michaël Krajecki; Daniel Singer (PPAM, 2001)

A Fast Parallel Tree Contraction for the Ray-object Calculus Using Open-MP. - Zineb Habbas; Francine Herrmann; Michaël Krajecki (Comput. Artif. Intell., 2001)

Shared Memory Implementation of Constraint Satisfaction Problem Resolution. - Zineb Habbas; Michaël Krajecki; Daniel Singer (Parallel Process. Lett., 2001)

The Car-Sequencing Problem as n-Ary CSP - Sequential and Parallel Solving. - Mihaela Butaru; Zineb Habbas (Australian Conference on Artificial Intelligence, 2005)

Solving the Car-Sequencing Problem as a Non-binary CSP. - Mihaela Butaru; Zineb Habbas (CP, 2005)

Decomposition techniques for parallel resolution of constraint satisfaction problems in shared memory: a comparative study. - Zineb Habbas; Michaël Krajecki; Daniel Singer (Int. J. Comput. Sci. Eng., 2005)

Transfer Graph Approach for Multimodal Transport Problems. - Hedi Ayed; Djamel Khadraoui; Zineb Habbas; Pascal Bouvry; Jean François Merche (MCO, 2008)

The Phase Transition Behaviour of Non-binary Forward Checking Algorithms. - Mihaela Butaru; Zineb Habbas (Stud. Inform. Univ., 2008)

Solving Hypertree Structured CSP: Sequential and Parallel Approaches. - Mohammed Lalou; Zineb Habbas; Kamal Amroun (RCRA@AI*IA, 2009)

Hypertree Decomposition for Solving Constraint Satisfaction Problems. - Abdelmalek Ait-Amokhtar; Kamal Amroun; Zineb Habbas (ICAART, 2009)

Distributed Approach for Solving Time-Dependent Problems in Multimodal Transport Networks. - Carlos J. Gálvez-Fernández; Djamel Khadraoui; Hedi Ayed; Zineb Habbas; Enrique Alba 001 (Adv. Oper. Res., 2009)

Solving Non Binary Constraint Satisfaction Problems with Dual Backtracking on Hypertree Decomposition. - Zineb Habbas; Kamal Amroun; Daniel Singer (ICAART (1), 2011)

A parallel algorithm for solving time dependent multimodal transport problem. - Hedi Ayed; Zineb Habbas; Djamel Khadraoui; Carlos J. Gálvez-Fernández (ITSC, 2011)

A self-organizing content centric network model for hybrid vehicular ad-hoc networks. - Gérald Arnould; Djamel Khadraoui; Zineb Habbas (DIVANet@MSWiM, 2011)

A parallel time-dependent multimodal shortest path algorithm based on geographical partitioning. - Hedi Ayed; Zineb Habbas; Djamel Khadraoui (NaBIC, 2011)

Solving time-dependent multimodal transport problems using a transfer graph model. - Hedi Ayed; Carlos J. Gálvez-Fernández; Zineb Habbas; Djamel Khadraoui (Comput. Ind. Eng., 2011)

Bees Swarm Optimization for Web Association Rule Mining. - Youcef Djenouri; Habiba Drias; Zineb Habbas; Hadia Mosteghanemi (Web Intelligence/IAT Workshops, 2012)

Distributed backtracking algorithm based on tree decomposition over wireless sensor networks. - Hacène Fouchal; Zineb Habbas (Concurr. Comput. Pract. Exp., 2013)

An Improved Evolutionary Approach for Association Rules Mining. - Youcef Djenouri; Ahcène Bendjoudi; Nadia Nouali-Taboudjemat; Zineb Habbas (BIC-TA, 2014)

Decomposition Tehniques for Solving Frequency Assigment Problems (FAP) - A Top-Down Approach. - Lamia Sadeg-Belkacem; Zineb Habbas; Fatima Benbouzid-Si Tayeb; Daniel Singer (ICAART (1), 2014)

Parallel association rules mining using GPUS and bees behaviors. - Youcef Djenouri; Ahcène Bendjoudi; Malika Mehdi; Nadia Nouali-Taboudjemat; Zineb Habbas (SoCPaR, 2014)

Hybrid Intelligent Method for Association Rules Mining Using Multiple Strategies. - Youcef Djenouri; Habiba Drias; Zineb Habbas (Int. J. Appl. Metaheuristic Comput., 2014)

Bees swarm optimisation using multiple strategies for association rule mining. - Youcef Djenouri; Habiba Drias; Zineb Habbas (Int. J. Bio Inspired Comput., 2014)

Data Reordering for Minimizing Threads Divergence in GPU-Based Evaluating Association Rules. - Youcef Djenouri; Ahcène Bendjoudi; Malika Mehdi; Zineb Habbas; Nadia Nouali-Taboudjemat (DCAI, 2015)

AGAGD - An Adaptive Genetic Algorithm Guided by Decomposition for Solving PCSPs. - Lamia Sadeg-Belkacem; Zineb Habbas; Wassila Aggoune-Mtalaa (ICAART (2), 2015)

Solving PCSPs Using Genetic Algorithms Guided by Structural Knowledge. - Lamia Sadeg; Zineb Habbas; Wassila Aggoune-Mtalaa (ICAART (Revised Selected Papers), 2015)

A new FPGA-based DPLL algorithm to improve SAT solvers. - Khadija Bousmar; Fabrice Monteiro; Zineb Habbas; Sofiène Dellagi; Abbas Dandache (ICM, 2015)

First specifications of urban traffic-congestion forecasting models. - Abdellah Daissaoui; Azedine Boulmakoul; Zineb Habbas (ICM, 2015)

BSO-FS: Bee Swarm Optimization for Feature Selection in Classification. - Souhila Sadeg; Leila Hamdad; Karima Benatchba; Zineb Habbas (IWANN (1), 2015)

Parallel BSO Algorithm for Association Rules Mining Using Master/Worker Paradigm. - Youcef Djenouri; Ahcène Bendjoudi; Djamel Djenouri; Zineb Habbas (PPAM (1), 2015)

A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems. - Zineb Habbas; Kamal Amroun; Daniel Singer (J. Exp. Theor. Artif. Intell., 2015)

GPU-based bees swarm optimization for association rules mining. - Youcef Djenouri; Ahcène Bendjoudi; Malika Mehdi; Nadia Nouali-Taboudjemat; Zineb Habbas (J. Supercomput., 2015)

Bees Swarm Optimization Metaheuristic Guided by Decomposition for Solving MAX-SAT. - Youcef Djenouri; Zineb Habbas; Wassila Aggoune-Mtalaa (ICAART (2), 2016)

A compressed Generalized Hypertree Decomposition-based solving technique for non-binary Constraint Satisfaction Problems. - Kamal Amroun; Zineb Habbas; Wassila Aggoune-Mtalaa (AI Commun., 2016)

Adaptive genetic algorithms guided by decomposition for PCSPs: application to frequency assignment problems. - Lamia Sadeg-Belkacem; Zineb Habbas; Wassila Aggoune-Mtalaa (Frontiers Comput. Sci., 2016)

Combining graph decomposition techniques and metaheuristics for solving PCSPs. Application to MI-FAP. - Lamia Sadeg-Belkacem; Zineb Habbas; Wassila Aggoune-Mtalaa; Fatima Benbouzid-Si Tayeb (Int. J. Reason. based Intell. Syst., 2016)

Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints. - Zineb Habbas; Kamal Amroun; Daniel Singer (RAIRO Oper. Res., 2016)

Chemical Reaction Optimization Metaheuristic for Solving Association Rule Mining Problem. - Abir Derouiche; Abdesslem Layeb; Zineb Habbas (AICCSA, 2017)

Modelling industrial manufacturing problem using ILP solver : Case of production analysis. - Khadija Bousmar; Fabrice Monteiro; Sofiène Dellagi; Zineb Habbas; Abbas Dandache (ICM, 2017)

A pure hardware k-SAT solver architecture for FPGA based on generic tree-search. - Khadija Bousmar; Fabrice Monteiro; Zineb Habbas; Sofiène Dellagi; Abbas Dandache (ICM, 2017)

Diversification Heuristics in Bees Swarm Optimization for Association Rules Mining. - Youcef Djenouri; Zineb Habbas; Djamel Djenouri; Marco Comuzzi (PAKDD (Workshops), 2017)

Reducing thread divergence in GPU-based bees swarm optimization applied to association rule mining. - Youcef Djenouri; Ahcène Bendjoudi; Zineb Habbas; Malika Mehdi; Djamel Djenouri (Concurr. Comput. Pract. Exp., 2017)

Data Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approach. - Youcef Djenouri; Zineb Habbas; Djamel Djenouri (IEEE Intell. Syst., 2017)

Discrete cuckoo search applied to capacitated arc routing problem. - Badis Bensedira; Abdesslem Layeb; Zineb Habbas (Int. J. Metaheuristics, 2017)

Frequent Itemsets Mining with Chemical Reaction Optimization Metaheuristic. - Abir Derouiche; Abdesslem Layeb; Zineb Habbas (PAIS, 2018)

Intelligent mapping between GPU and cluster computing for discovering big association rules. - Youcef Djenouri; Djamel Djenouri; Zineb Habbas (Appl. Soft Comput., 2018)

How to exploit high performance computing in population-based metaheuristics for solving association rule mining problem. - Youcef Djenouri; Djamel Djenouri; Zineb Habbas; Asma Belhadi (Distributed Parallel Databases, 2018)

Unsupervised Learning Bee Swarm Optimization Metaheuristic. - Souhila Sadeg; Leila Hamdad; Mouloud Haouas; Kouider Abderrahmane; Karima Benatchba; Zineb Habbas (IWANN (2), 2019)

QBSO-FS: A Reinforcement Learning Based Bee Swarm Optimization Metaheuristic for Feature Selection. - Souhila Sadeg; Leila Hamdad; Amine Riad Remache; Mehdi Nedjmeddine Karech; Karima Benatchba; Zineb Habbas (IWANN (2), 2019)

Bee swarm optimization for solving the MAXSAT problem using prior knowledge. - Youcef Djenouri; Zineb Habbas; Djamel Djenouri; Philippe Fournier-Viger (Soft Comput., 2019)

Mining Interesting Association Rules with a Modified Genetic Algorithm. - Abir Derouiche; Abdesslem Layeb; Zineb Habbas (MedPRAI, 2020)

Meta-learning to Select the Best Metaheuristic for the MaxSAT Problem. - Souhila Sadeg; Leila Hamdad; Omar Kada; Karima Benatchba; Zineb Habbas (MISC, 2020)

When the Decomposition Meets the Constraint Satisfaction Problem. - Youcef Djenouri; Djamel Djenouri; Zineb Habbas; Jerry Chun-Wei Lin; Tomasz P. Michalak; Alberto Cano 001 (IEEE Access, 2020)

Metaheuristics Guided by the Apriori Principle for Association Rule Mining: Case Study - CRO Metaheuristic. - Abir Derouiche; Abdesslem Layeb; Zineb Habbas (Int. J. Organ. Collect. Intell., 2020)

Feature selection based bee swarm meta-heuristic approach for combinatorial optimisation problems: a case-study on MaxSAT. - Souhila Sadeg; Leila Hamdad; Hadjer Chettab; Karima Benatchba; Zineb Habbas; M. Tahar Kechadi (Memetic Comput., 2020)