| 2008 |
|---|
| 12 | EE | Hedi Ayed,
Djamel Khadraoui,
Zineb Habbas,
Pascal Bouvry,
Jean François Merche:
Transfer Graph Approach for Multimodal Transport Problems.
MCO 2008: 538-547 |
| 2005 |
|---|
| 11 | EE | 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 | EE | Mihaela Butaru,
Zineb Habbas:
Solving the Car-Sequencing Problem as a Non-binary CSP.
CP 2005: 840 |
| 2001 |
|---|
| 9 | EE | 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 | EE | 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 | EE | 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 |
