 | 2011 |
| 18 |  | Zineb Habbas,
Kamal Amroun,
Daniel Singer:
Solving Non Binary Constraint Satisfaction Problems with Dual Backtracking on Hypertree Decomposition.
ICAART (1) 2011: 146-156 |
| 17 |  | Hedi Ayed,
Zineb Habbas,
Djamel Khadraoui:
A parallel time-dependent multimodal shortest path algorithm based on geographical partitioning.
NaBIC 2011: 213-218 |
| 16 |  | Hedi Ayed,
Carlos J. Gálvez-Fernández,
Zineb Habbas,
Djamel Khadraoui:
Solving time-dependent multimodal transport problems using a transfer graph model.
Computers & Industrial Engineering 61(2): 391-401 (2011) |
| 2009 |
| 15 |  | Abdelmalek Ait-Amokhtar,
Kamal Amroun,
Zineb Habbas:
Hypertree Decomposition for Solving Constraint Satisfaction Problems.
ICAART 2009: 85-92 |
| 14 |  | Carlos J. Gálvez-Fernández,
Djamel Khadraoui,
Hedi Ayed,
Zineb Habbas,
Enrique Alba:
Distributed Approach for Solving Time-Dependent Problems in Multimodal Transport Networks.
Adv. Operations Research 2009: (2009) |
| 2008 |
| 13 |  | Hedi Ayed,
Djamel Khadraoui,
Zineb Habbas,
Pascal Bouvry,
Jean François Merche:
Transfer Graph Approach for Multimodal Transport Problems.
MCO 2008: 538-547 |
| 12 |  | Mihaela Butaru,
Zineb Habbas:
The Phase Transition Behaviour of Non-binary Forward Checking Algorithms.
Stud. Inform. Univ. 6(3): 236-260 (2008) |
| 2005 |
| 11 |  | Mihaela Butaru,
Zineb Habbas:
The Car-Sequencing Problem as n-Ary CSP - Sequential and Parallel Solving.
Australian Conference on Artificial Intelligence 2005: 875-878 |
| 10 |  | Mihaela Butaru,
Zineb Habbas:
Solving the Car-Sequencing Problem as a Non-binary CSP.
CP 2005: 840 |
| 2001 |
| 9 |  | Zineb Habbas,
Michaël Krajecki,
Daniel Singer:
The Langford's Problem: A Challenge for Parallel Resolution of CSP.
PPAM 2001: 789-796 |
| 8 |  | Zineb Habbas,
Francine Herrmann,
Michaël Krajecki:
A Fast Parallel Tree Contraction for the Ray-object Calculus Using Open-MP.
Computers and Artificial Intelligence 20(1): (2001) |
| 7 |  | Zineb Habbas,
Michaël Krajecki,
Daniel Singer:
Shared Memory Implementation of Constraint Satisfaction Problem Resolution.
Parallel Processing Letters 11(4): 487-501 (2001) |
| 1999 |
| 6 |  | Zineb Habbas,
Francine Herrmann,
Daniel Singer,
Michaël Krajecki:
A Methodological Approach to Implement CSP on FPGA.
IEEE International Workshop on Rapid System Prototyping 1999: 66- |
| 1997 |
| 5 |  | Zineb Habbas,
Francine Herrmann,
Pierre-Paul Mérel,
Daniel Singer:
Load Balancing strategies for Parallel Forward Search Algorithm with Conflict Based Backjumping.
ICPADS 1997: 376-381 |
| 1996 |
| 4 |  | Pierre-Paul Mérel,
Zineb Habbas,
Francine Herrmann,
Daniel Singer:
N-Ary Consistencies and Constraint-Based Backtracking.
CP 1996: 551-552 |
| 1993 |
| 3 |  | Zineb Habbas:
A Compete Modal Proof for HAL: the Herbrand Agent Language.
Theor. Comput. Sci. 119(1): 127-143 (1993) |
| 1992 |
| 2 |  | Mounira Belmesk,
Zineb Habbas:
Une algèbre de processus pour la programmation logique parallèle.
JFPL 1992: 162- |
| 1990 |
| 1 |  | Mounira Belmesk,
Zineb Habbas,
Philippe Jorrand:
A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 163-181 |